DBLP Record 'conf/ccs/ArmandoCCCT08'

BibTeX

@inproceedings{DBLP:conf/ccs/ArmandoCCCT08,
  author    = {Alessandro Armando and
               Roberto Carbone and
               Luca Compagna and
               Jorge Cu{\'e}llar and
               M. Llanos Tobarra},
  title     = {Formal analysis of SAML 2.0 web browser single sign-on:
               breaking the SAML-based single sign-on for google apps},
  booktitle = {FMSE},
  year      = {2008},
  pages     = {1-10},
  ee        = {http://doi.acm.org/10.1145/1456396.1456397},
  crossref  = {DBLP:conf/ccs/2008fmse},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ccs/2008fmse,
  editor    = {Vitaly Shmatikov},
  title     = {Proceedings of the 6th ACM Workshop on Formal Methods in
               Security Engineering, FMSE 2008, Alexandria, VA, USA, October
               27, 2008},
  booktitle = {FMSE},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-60558-288-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}