A System for the Specification and Verification of Key Management Protocols.

Journal of telecommunications and information technology,2002, 引用: 29

the florida ai research society,2000, 引用: 5

international conference on information security,2001, 引用: 1

practical aspects of declarative languages,2002, 引用: 0

Journal of Computer Security,1992, 引用: 149

Journal of Cryptology,1994, 引用: 9

Electronic Notes in Theoretical Computer Science,2000, 引用: 3

International Journal of Information Security,2003, 引用: 1

Journal of Cryptology,1994, 引用: 229

ieee symposium on security and privacy,1999, 引用: 147