Scott D. Stoller
Computer Science Dept., Indiana University, Bloomington, IN
A Semantic Model for Authentication Protocols
SP '93 Proceedings of the 1993 IEEE Symposium on Security and Privacy
Secrecy by interpretation functions
Knowledge-Based Systems