Probabilistic polynomial-time semantics for a protocol security logic
by
Anupam Datta
,
Ante Derek
,
John C. Mitchell
,
Vitaly Shmatikov
,
Mathieu Turuani
| Citations: | 28 - 9 self |
Document Versions
| Probabilistic polynomial-time semantics for a protocol security logic –Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani |
