Probabilistic Polynomial-Time Semantics for a Protocol Security Logic.

Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani

Browse the full ICALP paper archive.