DOCSLIB.ORG

Implementation and Evaluation of a Secure and Efficient Web Authentication Scheme Using Mozilla Firefox and WAMP

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Implementation and Evaluation of a Secure and Efficient Web Authentication Scheme Using Mozilla Firefox and WAMP (IJACSA) International Journal of Advanced Computer Science and Applications, Vol. 7, No. 2, 2016 Implementation and Evaluation of a Secure and Efficient Web Authentication Scheme using Mozilla Firefox and WAMP Yassine SADQI, Ahmed ASIMI, Younes ASIMI, Zakaria TBATOU,Azidine GUEZZAZ Departments of Mathematics and Computer Science, Information Systems and Vision Laboratory (LabSIV), Faculty of Sciences, Ibn Zohr University B.P 8106, City Dakhla, Agadir, Morocco Abstract— User authentication and session management are mechanism [21]. This version covers the complete cycle of two of the most critical aspects of computer security and privacy authentication in the context of web applications, consisting of on the web. However, despite their importance, in practice, mutual authentication phases and the subsequent HTTP authentication and session management are implemented requests authentication [21]. through the use of vulnerable techniques. To solve this complex problem, we proposed new authentication architecture, called In this paper, we realize a prototype consisting of two StrongAuth. Later, we presented an improved version of modules: A registration module that implements the StrongAuth that includes a secure session management registration phase of the proposed scheme [21], and another mechanism based on public key cryptography and other authentication module that integrates both the mutual cryptographic primitives. In this paper, we present an authentication and the session management phases. On the one experimental implementation and evaluation of the proposed hand, we integrate the client architecture component as an scheme to demonstrate its feasibility in real-world scenarios. extension of Mozilla Firefox that can easily install it using Specifically, we realize a prototype consisting of two modules: (1) Mozilla Firefox Add-ons Manager and the server component as a registration module that implements the registration, and (2) a service of PHP applications within the WAMP platform, an authentication module integrating both the mutual which allows us to avoid recompiling the source code of authentication and the session management phases of the Mozilla Firefox and have an independent server component of proposed scheme. The experimental results show that in the application code; which facilitates the deployment. On the comparison to traditional authentication and session other hand, we evaluate the performance of registration and management mechanisms, the proposed prototype presents the lowest total runtime. authentication modules to evaluate the theoretical study presented in [21]. Keywords— authentication; session management; web security; The rest of the paper is organized as follows: in section 2 cryptographic primitives; computer security and privacy; security we briefly review the registration, the authentication and implementation; authentication scheme; Mozilla Firefox; WAMP session management phases of the proposed scheme [21]. In I. INTRODUCTION (Heading 1) Section 3 we are particularly interested in the implementation of our prototype to show the feasibility of the proposed Despite its widely studied security problems [1]–[13], password authentication through an HTML form is the scheme. Section 4 presents our results and discussions of the dominant mechanism for authenticating users in modern web experimental evaluation of the proposed prototype. Section 5 applications [4], [14], [15]. More specifically, the lack of concluded the paper. authentication standard HTML form and the limited security In the rest of this paper, we denoted by: background of webmasters have created a set of unique design and implementation choices that contain multiple security Ui ith User. vulnerabilities [3], [12]. While authentication experts proposed IDi Unique identifier of user Ui. a wide range of secure alternatives [16][17]–[20], Bonneau et Pi Password of user Ui. al. [4] showed that the majority of these schemes offer more Salti Cryptographic Salt of user Ui . security than passwords, but they are difficult to use and / or d Web application domain name. expensive to deploy [4]. RWi Random value used at most once within the In [13] we have proposed a new authentication architecture, scope of a given session generated by the called StrongAuth, to enhance security without sacrificing web application for Ui. usability and deployability. Specifically, our proposal does not RBi Random value used at most once within the require any additional equipment except a modern web scope of a given session generated by the browser. Later, we presented an improved version of browser for Ui .. StrongAuth including a secure session management USKi,UPKi Asymmetric key pair for user Ui generated by 594 | P a g e www.ijacsa.thesai.org (IJACSA) International Journal of Advanced Computer Science and Applications, Vol. 7, No. 2, 2016 the browser using a secure asymmetric key User Ui Browser Web Application generation algorithm. IDi Computes SSK Web application Private Key. UIDi=H(IDi ||d) IDi SPK Web application Public Key certificate. If UIDi does not exist (HTTPS) If IDi does not exist Salti Generates Salti PSKi Pre-Session key shared between Ui and the (HTTPS) web application using HTTPS. Pi SKi Session Key. new Generates USKi, IDi, UPKi Xi Renewal of the parameter Xi. UPKi, (HTTPS) PBKDF( ) Password-Based Key Derivation Function. Computes Generates RWi, MK =PBKDF(P , MKi The master key that is output from an i i Computes SRi= RWi execution of PBKDF by the browser. Salti), H(SSK) , ESKi= SE(MKi, SUPK = UPK SSK SE(k,b) Encryption of b by k using a secure i i USKi), RWi symmetric encryption algorithm. EPKi= SE (MKi, UPKi) Stores IDi ,SUPKi, SRi AE(k,b) Encryption of b by k using a secure Stores UIDi, ESKi, asymmetric encryption algorithm. EPKi, Salti SD(k,b) Decryption of b by k using a secure Fig. 1. Registration phase symmetric decryption algorithm. B. Mutual authentication and session management phase AD(k,b) Decryption of b by k using a secure asymmetric decryption algorithm. Primarily, this phase aims to provide: H( ) Cryptographic one way hash function. A strong mutual authentication between the HMAC(K,m) Compute the keyed-Hash Message communicating entities without disclosure of the Authentication Code of message m using the original authentication settings. secret key K. An agreement on a session key SKi. A || B The concatenation of binary strings A and B. XOR operation. An HMAC signature in each HTTP request from the browser to the web application using SKi. == Comparison. Figure 2 describes the protocol steps CCS Client Cryptographic Services. User Browser Web Application UACM User Authentication Credentials Manager. Ui CS Client Storage. IDi Computes IDi UIDi=H(IDi ||d)And (HTTP) Checks if IDi exists SCS Server Cryptographic Services. Checks if UIDi exists SPK RD Registration Database. (HTTP) P Generates PSK url URL of the resource requested by U browser. i i i Computes Ki = AE(SPK,PSKi) Generates RBi II. REVIEW OF THE PROPOSED SCHEME Computes MK =PBKDF(P , Salt ), In this section, we briefly review the registration, the i i i USKi = SD(MKi,ESKi), authentication and session management phases of the UPKi = SD(MKi,EPKi), proposed scheme. For all details see [21]. M2i= RBi PSKi UPKi, MDi = H(IDi||d||UPKi || A. Registration Phase RBi ||PSKi)), K M2 The registration phase is invoked whenever a new user U IAi = AE(USKi ,MDi) i i, i IAi wants to register within the web application. This registration (HTTP) process does not ask from Ui more than choosing an IDi and Computes PSKi = AD(SSK, Ki), Pi. It is know that password-based authentication presents several security problems. For this, the browser transparently RWi =SRi H(SSK), UPKi = SUPKi SSK from Ui integrates other cryptographic parameters that are RWi, used to strengthen users‘ authentication. Also in this phase, RBi = M2i PSKi the proposed scheme relies on HTTPS to protect UPKi. UPKi confidentiality and integrity. This phase proceeds as follows: MDi’ =H(ID’i||d || UPKi || RBi ||PSKi), MDi = AD(UPKi, IAi) Compares MDi’== MDi On success new Generates RWi Computes new M3i = RWi PSKi UPKi, 595 | P a g e www.ijacsa.thesai.org (IJACSA) International Journal of Advanced Computer Science and Applications, Vol. 7, No. 2, 2016 new Computes M3i , M4i M4i = H (RBi || RWi TABLE II. THE TECHNOLOGIES USED IN THE IMPLEMENTATION OF THE new SERVER COMPONENT RWi = M3i PSKi HTTP ||PSKi|| UPKi), UPKi, Entities Technology M4 ’= H (RB || RW new i i i Apache [26]: Apache HTTP Server with the support of ||PSKi|| UPKi) SKi= H(IDi ||d || new Web Server the module Mod_SSL [27] that allows the Compares M4i == M4i’ UPKi||RBi || RWi || implementation of HTTPS. On success PSKi) SKi= H(IDi ||d || UPKi|| Web Application Application based on PHP 5. new RBi|| RWi || PSKi) Hash and OpenSSL : PHP platform provides a set of cryptographic extensions either as a part of the core PHP new Generates RBi functionalities (without the use of a third-party Computes program), or relies on other cryptographic libraries. In new M5i= RBi PSKi our prototype implementation we use two extensions: UPKi , M6i = HMAC(SKi, url|| M5i,M6i Hash [28]: For the calculation of hash and new new new RBi || RWi ) HTTP Computes RBi = message authentication code (HMAC). Hash is a M5i PSKi UPKi , digital hash engine, part of the core of PHP. That M6’i = HMAC(SKi, url|| Server means we can use these functions in the web new new RBi || RWi ) Cryptographic application without installing a third-party library. Compares M6’i == M6i Services (SCS) OpenSSL [29]: As opposed to Hash, the use of this Fig. 2. Mutual authentication and session phases module requires the presence of an equal or higher version 0.9.6 of OpenSSL cryptographic library. The purpose of this extension is to present a set of III. IMPLEMENTATION OF THE PROPOSED PROTOTYPE cryptographic functions that can be used easily in a To show the feasibility and effectiveness of the proposed PHP script(e.g. asymmetric/symmetric encryption, scheme [21], we realize a prototype. Mainly it aims to generation and verification of digital signatures, experience the registration phase, mutual authentication and etc.).
Load more

Recommended publications
  • Comparative Analysis and Framework Evaluating Web Single Sign-On Systems
    Comparative Analysis and Framework Evaluating Web Single Sign-On Systems FURKAN ALACA, School of Computing, Queen’s University, furkan.alaca@queensu.ca PAUL C. VAN OORSCHOT, School of Computer Science, Carleton University, paulv@scs.carleton.ca We perform a comprehensive analysis and comparison of 14 web single sign-on (SSO) systems proposed and/or deployed over the last decade, including federated identity and credential/password management schemes. We identify common design properties and use them to develop a taxonomy for SSO schemes, highlighting the associated trade-offs in benefits (positive attributes) offered. We develop a framework to evaluate the schemes, in which weidentify14 security, usability, deployability, and privacy benefits. We also discuss how differences in priorities between users, service providers (SPs), and identity providers (IdPs) impact the design and deployment of SSO schemes. 1 INTRODUCTION Password-based authentication has numerous documented drawbacks. Despite the many password alternatives, no scheme has thus far offered improved security without trading off deployability or usability [8]. Single Sign-On (SSO) systems have the potential to strengthen web authentication while largely retaining the benefits of conventional password-based authentication. We analyze in depth the state-of-the art ofwebSSO through the lens of usability, deployability, security, and privacy, to construct a taxonomy and evaluation framework based on different SSO architecture design properties and their associated benefits and drawbacks. SSO is an umbrella term for schemes that allow users to rely on a single master credential to access a multitude of online accounts. We categorize SSO schemes across two broad categories: federated identity systems (FIS) and credential managers (CM).
    [Show full text]
  • Analisi Del Progetto Mozilla
    Università degli studi di Padova Facoltà di Scienze Matematiche, Fisiche e Naturali Corso di Laurea in Informatica Relazione per il corso di Tecnologie Open Source Analisi del progetto Mozilla Autore: Marco Teoli A.A 2008/09 Consegnato: 30/06/2009 “ Open source does work, but it is most definitely not a panacea. If there's a cautionary tale here, it is that you can't take a dying project, sprinkle it with the magic pixie dust of "open source", and have everything magically work out. Software is hard. The issues aren't that simple. ” Jamie Zawinski Indice Introduzione................................................................................................................................3 Vision .........................................................................................................................................4 Mozilla Labs...........................................................................................................................5 Storia...........................................................................................................................................6 Mozilla Labs e i progetti di R&D...........................................................................................8 Mercato.......................................................................................................................................9 Tipologia di mercato e di utenti..............................................................................................9 Quote di mercato (Firefox).....................................................................................................9
    [Show full text]
  • Firefox OS Overview Ewa Janczukowicz
    Firefox OS Overview Ewa Janczukowicz To cite this version: Ewa Janczukowicz. Firefox OS Overview. [Research Report] Télécom Bretagne. 2013, pp.28. hal- 00961321 HAL Id: hal-00961321 https://hal.archives-ouvertes.fr/hal-00961321 Submitted on 24 Apr 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Collection des rapports de recherche de Télécom Bretagne RR-2013-04-RSM Firefox OS Overview Ewa JANCZUKOWICZ (Télécom Bretagne) This work is part of the project " Étude des APIs Mozilla Firefox OS" supported by Orange Labs / TC PASS (CRE API MOZILLA FIREFOX OS - CTNG13025) ACKNOWLEGMENTS Above all, I would like to thank Ahmed Bouabdallah and Arnaud Braud for their assistance, support and guidance throughout the contract. I am very grateful to Gaël Fromentoux and Stéphane Tuffin for giving me the possibility of working on the Firefox OS project. I would like to show my gratitude to Jean-Marie Bonnin, to all members of Orange NCA/ARC team and RSM department for their help and guidance. RR-2013-04-RSM 1 RR-2013-04-RSM 2 SUMMARY Firefox OS is an operating system for mobile devices such as smartphones and tablets.
    [Show full text]
  • A Hybrid Approach to Detect Tabnabbing Attacks
    A Hybrid Approach to Detect Tabnabbing Attacks by Hana Sadat Fahim Hashemi A thesis submitted to the School of Computing in conformity with the requirements for the degree of Master of Science Queen's University Kingston, Ontario, Canada August 2014 Copyright c Hana Sadat Fahim Hashemi, 2014 Abstract Phishing is one of the most prevalent types of modern attacks, costing significant financial losses to enterprises and users each day. Despite the emergence of various anti-phishing tools and techniques, not only there has been a dramatic increase in the number of phishing attacks but also more sophisticated forms of these attacks have come into existence. One of the most complicated and deceptive forms of phishing attacks is the tabnabbing attack. This newly discovered threat takes advantage of the user's trust and inattention to the open tabs in the browser and changes the appearance of an already open malicious page to the appearance of a trusted website that demands confidential information from the user. As one might imagine, the tabnabbing attack mechanism makes it quite probable for even an attentive user to be lured into revealing his or her confidential information. Few tabnabbing detection and prevention techniques have been proposed thus far. The majority of these techniques block scripts that are susceptible to perform malicious actions or violate the browser security policy. However, most of these techniques cannot effectively prevent the other variant of the tabnabbing attack that is launched without the use of scripts. In this thesis, we propose a hybrid tabnabbing detection approach with the aim i of overcoming the shortcomings of the existing anti-tabnabbing approaches and tech- niques.
    [Show full text]
  • User Controlled Trust and Security Level of Web Real-Time Communications Kevin CORRE
    User Controlled Trust and Security Level of Web Real-Time Communications THESE DE DOCTORAT DE L’UNIVERSITE DE RENNES 1 COMUE UNIVERSITE BRETAGNE LOIRE Ecole Doctorale N° 601 Mathèmatique et Sciences et Technologies de l’Information et de la Communication Spécialité : Informatique Thèse présentée et soutenue à RENNES, le 31 MAI 2018 par Kevin CORRE Unité de recherche : IRISA (UMR 6074) Institut de Recherche en Informatique et Systemes Aléatoires Thèse N° : Rapporteurs avant soutenance : Maryline LAURENT, Professeur, TELECOM SudParis Yvon KERMARREC, Professeur, IMT Atlantique Composition du jury : Présidente : Maryline LAURENT, Professeur, TELECOM SudParis Examinateurs : Yvon KERMARREC, Professeur, IMT Atlantique Walter RUDAMETKIN, Maître de Conférences, Université de Lille Dominique HAZAEL-MASSIEUX, Ingenieur de Recherche, W3C Vincent FREY, R&D Software Engineer, Orange Labs Dir. de thèse : Olivier BARAIS, Professeur, Université de Rennes 1 Co-dir. de thèse : Gerson SUNYÉ, Maître de Conférences, Université de Nantes “Fide, sed cui vide”. - Locution latine “Du père qui m’a donné la vie : la modestie et la virilité, du moins si je m’en rapporte à la réputation qu’il a laissée et au souvenir personnel qui m’en reste”. - Marcus Catilius Severus i Résumé en Français Contexte Communication, du latin communicatio [13], est défini par le dictionnaire Oxford comme étant “the imparting or exchanging of information” et “the means of sending or receiving information, such as telephone lines or computers” [14]. Face à une incertitude ou à un risque, un tel échange n’est possible que si une relation de confiance peut être établie entre l’émetteur et le récepteur. Cette relation de confiance doit aussi concerner les moyens utilisés pour communiquer.
    [Show full text]
  • Benítez Bravo, Rubén; Liu, Xiao; Martín Mor, Adrià, Dir
    This is the published version of the article: Benítez Bravo, Rubén; Liu, Xiao; Martín Mor, Adrià, dir. Proyecto de local- ización de Waterfox al catalán y al chino. 2019. 38 p. This version is available at https://ddd.uab.cat/record/203606 under the terms of the license Trabajo de TPD LOCALIZACIÓN DE WATERFOX EN>CA/ZH Ilustración 1. Logo de Waterfox Rubén Benítez Bravo y Xiao Liu 1332396 | 1532305 Ruben.benitez@e-campus.uab.cat Xiao.Liu@e-campus.uab.cat Màster de tradumàtica: Tecnologies de la traducció 2018-2019 Índice de contenidos 1. Introducción ........................................................................................ 4 2. Tabla resumen .................................................................................... 5 3. Descripción del proceso de localización ............................................. 6 3.1 ¿Qué es Waterfox? ........................................................................ 6 3.2 ¿Qué uso tiene?............................................................................. 6 3.3 Preparando la traducción ............................................................... 7 4. Análisis de la traducción ................................................................... 11 5. Análisis técnico ................................................................................. 21 6. Fase de testing ................................................................................. 29 7. Conclusiones .................................................................................... 35 8. Bibliografía
    [Show full text]
  • An Expressive Model for the Web Infrastructure: Definition and Application to the Browserid SSO System
    An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System∗ Daniel Fett, Ralf Küsters, Guido Schmitz University of Trier, Germany {fett,kuesters,schmitzg}@uni-trier.de Abstract The web constitutes a complex infrastructure and as demonstrated by numerous attacks, rigorous analysis of standards and web applications is indispensable. Inspired by successful prior work, in particular the work by Akhawe et al. as well as Bansal et al., in this work we propose a formal model for the web infrastructure. While unlike prior works, which aim at automatic analysis, our model so far is not directly amenable to automation, it is much more comprehensive and accurate with respect to the standards and specifications. As such, it can serve as a solid basis for the analysis of a broad range of standards and applications. As a case study and another important contribution of our work, we use our model to carry out the first rigorous analysis of the BrowserID system (a.k.a. Mozilla Persona), a recently developed complex real-world single sign-on system that employs technologies such as AJAX, cross-document messaging, and HTML5 web storage. Our analysis revealed a number of very critical flaws that could not have been captured in prior models. We propose fixes for the flaws, formally state relevant security properties, and prove that the fixed system in a setting with a so-called secondary identity provider satisfies these security properties in our model. The fixes for the most critical flaws have already been adopted by Mozilla and our findings have been rewarded by the Mozilla Security Bug Bounty Program.
    [Show full text]
  • A Usability Study of FIDO2 Roaming Software Tokens As a Password Replacement
    Brigham Young University BYU ScholarsArchive Theses and Dissertations 2021-08-06 A Usability Study of FIDO2 Roaming Software Tokens as a Password Replacement Brian Rasmussen Brigham Young University Follow this and additional works at: https://scholarsarchive.byu.edu/etd Part of the Physical Sciences and Mathematics Commons BYU ScholarsArchive Citation Rasmussen, Brian, "A Usability Study of FIDO2 Roaming Software Tokens as a Password Replacement" (2021). Theses and Dissertations. 9227. https://scholarsarchive.byu.edu/etd/9227 This Thesis is brought to you for free and open access by BYU ScholarsArchive. It has been accepted for inclusion in Theses and Dissertations by an authorized administrator of BYU ScholarsArchive. For more information, please contact ellen_amatangelo@byu.edu. A Usability Study of FIDO2 Roaming Software Tokens as a Password Replacement Brian Rasmussen A thesis submitted to the faculty of Brigham Young University in partial fulfillment of the requirements for the degree of Master of Science Daniel Zapppala, Chair Kent Seamons Mike Jones Department of Computer Science Brigham Young University Copyright © 2021 Brian Rasmussen All Rights Reserved ABSTRACT A Usability Study of FIDO2 Roaming Software Tokens as a Password Replacement Brian Rasmussen Department of Computer Science, BYU Master of Science The use of passwords for user authentication has significant shortcomings. As society becomes more dependent on the internet and web services, we need to find a replacement authentication method that users are willing to use. WebAuthn is one potential technology for password replacement. Recent studies have shown that users enjoy the usability of WebAuthn and hardware tokens as a password replacement but don't want to carry them around.
    [Show full text]
  • State-Of-The-Art of Secure Ict Landscape (Version 2) April 2015
    STATE-OF-THE-ART OF SECURE ICT LANDSCAPE (VERSION 2) APRIL 2015 NIS PLATFORM WORKING GROUP 3 (WG3) Editors: Mari Kert (European Organisation for Security) Javier Lopez (University of Malaga) Evangelos Markatos (FORTH) Bart Preneel (KU Leuven and iMinds) Secure ICT Landscape NIS Platform - Working Group 3 Page 2 Secure ICT Landscape Table of Contents Contributors ................................................................................................................................................... 7 Executive Summary ........................................................................................................................................ 9 1 Introduction .......................................................................................................................................... 11 2 Basic Technologies ................................................................................................................................ 12 2.1 Introduction and objectives .................................................................................................................... 12 2.2 Metrics in cybersecurity ......................................................................................................................... 12 2.2.1 Introduction .................................................................................................................................... 12 2.2.2 Current Status ................................................................................................................................
    [Show full text]
  • Red Hat Enterprise Linux 7 7.8 Release Notes
    Red Hat Enterprise Linux 7 7.8 Release Notes Release Notes for Red Hat Enterprise Linux 7.8 Last Updated: 2020-04-03 Red Hat Enterprise Linux 7 7.8 Release Notes Release Notes for Red Hat Enterprise Linux 7.8 Legal Notice Copyright © 2020 Red Hat, Inc. The text of and illustrations in this document are licensed by Red Hat under a Creative Commons Attribution–Share Alike 3.0 Unported license ("CC-BY-SA"). An explanation of CC-BY-SA is available at http://creativecommons.org/licenses/by-sa/3.0/ . In accordance with CC-BY-SA, if you distribute this document or an adaptation of it, you must provide the URL for the original version. Red Hat, as the licensor of this document, waives the right to enforce, and agrees not to assert, Section 4d of CC-BY-SA to the fullest extent permitted by applicable law. Red Hat, Red Hat Enterprise Linux, the Shadowman logo, the Red Hat logo, JBoss, OpenShift, Fedora, the Infinity logo, and RHCE are trademarks of Red Hat, Inc., registered in the United States and other countries. Linux ® is the registered trademark of Linus Torvalds in the United States and other countries. Java ® is a registered trademark of Oracle and/or its affiliates. XFS ® is a trademark of Silicon Graphics International Corp. or its subsidiaries in the United States and/or other countries. MySQL ® is a registered trademark of MySQL AB in the United States, the European Union and other countries. Node.js ® is an official trademark of Joyent. Red Hat is not formally related to or endorsed by the official Joyent Node.js open source or commercial project.
    [Show full text]
  • An Expressive Model for the Web Infrastructure: Definition And
    An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System Daniel Fett, Ralf Küsters, and Guido Schmitz University of Trier, Germany Email: {fett,kuesters,schmitzg}@uni-trier.de Abstract—The web constitutes a complex infrastructure and, respect to the standards and specifications. As such, our as demonstrated by numerous attacks, rigorous analysis of model constitutes a solid basis for the analysis of a broad standards and web applications is indispensable. range of standards and applications. Inspired by successful prior work, in particular the work by Akhawe et al. as well as Bansal et al., in this work we The standards and specifications that define the web are propose a formal model for the web infrastructure. While spread across many documents, including the HTTP standard unlike prior works, which aim at automatic analysis, our model RFC2616 (with its successor HTTPbis) and the HTML5 so far is not directly amenable to automation, it is much more specification [18], with certain aspects covered in related comprehensive and accurate with respect to the standards and documents, such as RFC6265, RFC6797, RFC6454, the specifications. As such, it can serve as a solid basis for the analysis of a broad range of standards and applications. WHATWG Fetch living standard [32], the W3C Web Storage As a case study and another important contribution of our specification [31], and the W3C Cross-Origin Resource work, we use our model to carry out the first rigorous analysis Sharing specification [12], to name just a few. Specifications of the BrowserID system (a.k.a. Mozilla Persona), a recently de- for the DNS system and communication protocols, such veloped complex real-world single sign-on system that employs as TCP, are relevant as well.
    [Show full text]
  • Programming-Javascri
    www.allitebooks.com www.allitebooks.com Programming JavaScript Applications Eric Elliott www.allitebooks.com Programming JavaScript Applications by Eric Elliott Copyright © 2014 Eric Elliott. All rights reserved. Printed in the United States of America. Published by O’Reilly Media, Inc., 1005 Gravenstein Highway North, Sebastopol, CA 95472. O’Reilly books may be purchased for educational, business, or sales promotional use. Online editions are also available for most titles (http://my.safaribooksonline.com). For more information, contact our corporate/ institutional sales department: 800-998-9938 or corporate@oreilly.com. Editors: Simon St. Laurent and Meghan Blanchette Indexer: Lucie Haskins Production Editor: Kara Ebrahim Cover Designer: Randy Comer Copyeditor: Eliahu Sussman Interior Designer: David Futato Proofreader: Amanda Kersey Illustrator: Rebecca Demarest July 2014: First Edition Revision History for the First Edition: 2014-06-25: First release See http://oreilly.com/catalog/errata.csp?isbn=9781491950296 for release details. Nutshell Handbook, the Nutshell Handbook logo, and the O’Reilly logo are registered trademarks of O’Reilly Media, Inc. Programming JavaScript Applications, the image of an argali, and related trade dress are trade‐ marks of O’Reilly Media, Inc. Many of the designations used by manufacturers and sellers to distinguish their products are claimed as trademarks. Where those designations appear in this book, and O’Reilly Media, Inc. was aware of a trademark claim, the designations have been printed in caps or initial caps. While every precaution has been taken in the preparation of this book, the publisher and author assume no responsibility for errors or omissions, or for damages resulting from the use of the information contained herein.
    [Show full text]