An Expressive Model for the Web Infrastructure: Definition and Application to the Browser ID SSO System.

Daniel Fett, Ralf Ksters, Guido Schmitz

Browse the full SP paper archive.