RoyDDMS06'

@inproceedings{DBLP:conf/asian/RoyDDMS06,
  author    = {Arnab Roy and
               Anupam Datta and
               Ante Derek and
               John C. Mitchell and
               Jean-Pierre Seifert},
  title     = {Secrecy Analysis in Protocol Composition Logic},
  booktitle = {ASIAN},
  year      = {2006},
  pages     = {197-213},
  ee        = {http://dx.doi.org/10.1007/978-3-540-77505-8_15},
  crossref  = {DBLP:conf/asian/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/asian/2006,
  editor    = {Mitsu Okada and
               Ichiro Satoh},
  title     = {Advances in Computer Science - ASIAN 2006. Secure Software
               and Related Issues, 11th Asian Computing Science Conference,
               Tokyo, Japan, December 6-8, 2006, Revised Selected Papers},
  booktitle = {ASIAN},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4435},
  year      = {2008},
  isbn      = {978-3-540-77504-1},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}