Cited By
View all- Abadi MGordon AGraveman RJanson PNeumann CGong L(1997)A calculus for cryptographic protocolsProceedings of the 4th ACM conference on Computer and communications security10.1145/266420.266432(36-47)Online publication date: 1-Apr-1997