An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System

Daniel Fett, Ralf Küsters, Guido Schmitz

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings - IEEE Symposium on Security and Privacy
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages673-688
Number of pages16
ISBN (Electronic)9781479946860
DOIs
Publication statusPublished - 13 Nov 2014
Externally publishedYes
Event35th IEEE Symposium on Security and Privacy, SP 2014 - San Jose, United States
Duration: 18 May 201421 May 2014

Publication series

NameProceedings - IEEE Symposium on Security and Privacy
ISSN (Print)1081-6011

Conference

Conference35th IEEE Symposium on Security and Privacy, SP 2014
Country/TerritoryUnited States
CitySan Jose
Period18/05/1421/05/14

Keywords

  • Formal Security Analysis
  • Single Sign-on
  • Web Model
  • Web Security

Cite this