Related work

  • A Modular Correctness Proof of TLS and IEEE 802.11i
    • C. He, M. Sundararajan, A. Datta and A. Derek and J. Mitchell
  • Compositional Analysis of Contract-Signing Protocols
    • M. Backes, A. Datta and A. Derek, J. Mitchell and M. Turuani
  • Honesty Inferences for Proving Correctness of Security Protocols
    • K. Hasebe and M. Okada
  • Non-monotonic Properties for Proving Correctness in a Framework of Compositional Logic
    • K. Hasebe and M. Okada
  • Inferences on Honesty in Compositional Logic for Security Analysis
    • K. Hasebe and M. Okada