DBLP Record 'conf/ccs/BlanchetJST08'

BibTeX

@inproceedings{DBLP:conf/ccs/BlanchetJST08,
  author    = {Bruno Blanchet and
               Aaron D. Jaggard and
               Andre Scedrov and
               Joe-Kai Tsay},
  title     = {Computationally sound mechanized proofs for basic and public-key
               Kerberos},
  booktitle = {ASIACCS},
  year      = {2008},
  pages     = {87-99},
  ee        = {http://doi.acm.org/10.1145/1368310.1368326},
  crossref  = {DBLP:conf/ccs/2008asia},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/ccs/2008asia,
  editor    = {Masayuki Abe and
               Virgil D. Gligor},
  title     = {Proceedings of the 2008 ACM Symposium on Information, Computer
               and Communications Security, ASIACCS 2008, Tokyo, Japan,
               March 18-20, 2008},
  booktitle = {ASIACCS},
  publisher = {ACM},
  year      = {2008},
  isbn      = {978-1-59593-979-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}