A Logic for the Analysis of Cryptographic Protocols
暂无分享,去创建一个
[1] Joseph Y. Halpern,et al. The complexity of reasoning about knowledge and time , 1986, STOC '86.
[2] Richard A. Kemmerer. Using Formal Verification Techniques to Analyze Encryption Protocols , 1987, 1987 IEEE Symposium on Security and Privacy.
[3] Brian F. Chellas. Modal Logic: Normal systems of modal logic , 1980 .
[4] Louise E. Moser,et al. A logic of knowledge and belief for reasoning about computer security , 1989, Proceedings of the Computer Security Foundations Workshop II,.
[5] Hector J. Levesque,et al. A Logic of Implicit and Explicit Belief , 1984, AAAI.
[6] Paul F. Syverson. Formal semantics for logics of cryptographic protocols , 1990, [1990] Proceedings. The Computer Security Foundations Workshop III.
[7] Silvio Micali,et al. The knowledge complexity of interactive proof-systems , 1985, STOC '85.