Security Protocol Design via Authentication Tests (2002)

by Joshua D. Guttman
Venue:In Proceedings of 15th IEEE Computer Security Foundations Workshop. IEEE Computer