Using Temporal Logic to Specify and Verify Cryptographic Protocols (Progress Report) (1995)

by James W. Gray , III , John Mclean
Venue:In Proceedings of the 8th IEEE Computer Security Foundations Workshop
Citations:29 - 0 self