Automatic verification of cryptographic protocols with SETHEO

This publication has 13 references indexed in Scilit:

• Title: Computer-related risks : Author: Peter G Neumann Publisher: Addison-Wesley Publishing Co. ISBN: 0-201-55805-X
  Computer Fraud & Security Bulletin, 1995
• Formal Verification of Cryptographic Protocols: A Survey
  Published by Defense Technical Information Center (DTIC) ,1995
• Controlled integration of the cut rule into connection tableau calculi
  Journal of Automated Reasoning, 1994
• SETHEO: A high-performance theorem prover
  Journal of Automated Reasoning, 1992
• Experiments in automated deduction with condensed detachment
  Published by Springer Nature ,1992
• A semantics for a logic of authentication (extended abstract)
  Published by Association for Computing Machinery (ACM) ,1991
• A logic of authentication
  ACM Transactions on Computer Systems, 1990
• A logic of authentication
  ACM SIGOPS Operating Systems Review, 1989
• HOL: A Proof Generating System for Higher-Order Logic
  Published by Springer Nature ,1988
• The Interrogator: Protocol Secuity Analysis
  IEEE Transactions on Software Engineering, 1987