A Modular Correctness Proof of TLS and IEEE 802.11i
C. He, M. Sundararajan, A. Datta and A. Derek and J. Mitchell, to
appear in Proceedings of 12th ACM Conference on Computer and
Communications Security (ACM 2005)
Compositional Analysis of Contract-Signing Protocols
M. Backes, A. Datta and A. Derek , J. Mitchell and
M. Turuani, Proceedings of 18th IEEE Computer Security Foundations
Workshop, pp. 94-110 (IEEE 2005)
Honesty Inferences for Proving Correctness of Security Protocols
K. Hasebe and M. Okada, Workshop on New Approaches to Software
Construction, pp. 45-57 (IEEE 2004)
Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
K. Hasebe and M. Okada, Foundations of Computer Security Workshop,
pp. 97-113(IEEE 2004)
Inferences on Honesty in Compositional Logic for Security Analysis
K. Hasebe and M. Okada, International Symposium on Software
Security, Lecture Notes in Computer Science, vol. 3233, pp. 65-86
(Springer 2004)
