Using State Space Exploration and a Natural Deduction Style Message Derivation Engine to Verify Security Protocols
- 1 January 1998
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Accountability in electronic commerce protocolsIEEE Transactions on Software Engineering, 1996
- A model for secure protocols and their compositionsIEEE Transactions on Software Engineering, 1996
- A Model of Computation for the NRL Protocol AnalyzerPublished by Defense Technical Information Center (DTIC) ,1994
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983