MitchellRST01'

BibTeX

@inproceedings{DBLP:conf/lics/MitchellRST01,
  author    = {John C. Mitchell and
               Ajith Ramanathan and
               Andre Scedrov and
               Vanessa Teague},
  title     = {Probabilistic Polynominal-Time Process Calculus and Security
               Protocol Analysis},
  booktitle = {LICS},
  year      = {2001},
  pages     = {3-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}