## A probabilistic polynomial-time calculus for analysis of cryptographic protocols (2001)

### Cached

### Download Links

by
John C. Mitchell
,
Ajith Ramanathan
,
Andre Scedrov
,
Vanessa Teague

Venue: | Electronic Notes in Theoretical Computer Science |

Citations: | 48 - 8 self |