Verifying The Correctness Of Cryptographic Protocols Using "Convince"

@inproceedings{Lichota1996VerifyingTC,
  title={Verifying The Correctness Of Cryptographic Protocols Using "Convince"},
  author={Randall W. Lichota and Grace L. Hammonds and Stephen H. Brackin},
  booktitle={ACSAC},
  year={1996}
}
This paper describes Convince, a tool being developed to facilitate the modeling and analysis of cryptographic protocols, particularly those supporting authentication. Convince uses a belief logic to facilitate the analysis and proof of desired properties of these protocols. Convince incorporates in its front-end a commercial computeraided sojiware engineering tool, StP/OMT, so that an analyst can model a protocol using a combination of familiar graphical and textual notations. Convince uses a… CONTINUE READING
BETA

From This Paper

Figures, tables, and topics from this paper.

References

Publications referenced by this paper.
SHOWING 1-8 OF 8 REFERENCES

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

  • C. Meadows
  • Proceedings of the Symposium on Security and…
  • 1991

Schubert and S . Mocas , “ A Mechanized Logic for Secure Key Escrow Protocol Verification . ” 1995 International Workshop on Higher Order Logic and its Applications

  • J. I. Schiller
  • , “ Kerberos : An Authentication Service for Open…
  • 1984

Similar Papers

Loading similar papers…