## Probabilistic Polynomial-Time Process Calculus and Security Protocol Analysis (2006)

### Cached

### Download Links

- [theory.stanford.edu]
- [www.stanford.edu]
- [crypto.stanford.edu]
- DBLP

### Other Repositories/Bibliography

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

Venue: | Theoretical Computer Science |

Citations: | 36 - 3 self |