@inproceedings{fmse08,
 author = "Alessandro Armando and Roberto Carbone and Luca Compagna and Jorge Cuellar and Llanos Tobarra Abad",
 title = "{Formal Analysis of SAML 2.0 Web
        Browser Single Sign-On: Breaking the SAML-based Single Sign-On
        for Google Apps}",
 booktitle = "the 6th ACM
        Workshop on Formal Methods in Security Engineering (FMSE
        2008)",
 year = "2008",
 publisher = "ACM Press",
 address = "Hilton Alexandria Mark Center,
        Virginia, USA",
 pages = ""
 }