Logics for cryptographic protocols-virtues and limitations
The authors discuss the virtues and limitations of several logics for cryptographic protocols focusing primarily on the logics of authentication. They emphasize the scope limita...
Publications
1 shownFrequent Co-Authors
Researcher Info
- h-index
- 1
- Publications
- 1
- Citations
- 34
- Institution
- University of Maryland, College Park
External Links
Impact Metrics
h-index
1
h-index: Number of publications with at least h citations each.