@inproceedings{e0eb5eac727e42b885ee927b474d8daa,
title = "An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System",
keywords = "Formal Security Analysis, Single Sign-on, Web Model, Web Security",
author = "Daniel Fett and Ralf K{\"u}sters and Guido Schmitz",
note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 35th IEEE Symposium on Security and Privacy, SP 2014 ; Conference date: 18-05-2014 Through 21-05-2014",
year = "2014",
month = nov,
day = "13",
doi = "10.1109/SP.2014.49",
language = "English",
series = "Proceedings - IEEE Symposium on Security and Privacy",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "673--688",
booktitle = "Proceedings - IEEE Symposium on Security and Privacy",
address = "United States",
}