SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC

Abstract

The idea of analyzing cryptographic key generation protocols through BAN - logic methods is considered. An e xample of Kerberos protocol analysis is given. The software tool that automates the analysis of key g eneration protocols is built. Its v alidation is investigated

Keywords

• ormal protocol analysis
• cryptographic protocols
• key generation protocols
• computer - aided protocol analysis tools
• kerberos protocol.