Probabilistic Polynomial-Time Semantics for a Protocol Security Logic.

Anupam Datta Ante Derek John C. Mitchell Vitaly Shmatikov Mathieu Turuani Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. 16-29 2005 conf/icalp/2005 ICALP http://dx.doi.org/10.1007/11523468_2 db/conf/icalp/icalp2005.html#DattaDMST05