John C. Mitchell Ajith Ramanathan Andre Scedrov Vanessa Teague Probabilistic Polynominal-Time Process Calculus and Security Protocol Analysis. 3-8 2001 LICS db/conf/lics/lics2001.html#MitchellRST01