TY  - RPRT
TI  - An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System
AU  - Daniel Fett
AU  - Ralf Kuesters
AU  - Guido Schmitz
PY  - 2014
UR  - https://arxiv.org/abs/1403.1866
ID  - 1403.1866
ER  -