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

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

Show other versions (1)

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

Bibliographic Details
Main Author: Nadezhda S. Mogilevskaya
Format: Article
Language:Russian
Published: Don State Technical University 2018-07-01
Series:Вестник Донского государственного технического университета
Subjects:
ormal protocol analysis
cryptographic protocols
key generation protocols
computer - aided protocol analysis tools
kerberos protocol.
Online Access:https://vestnik.donstu.ru/jour/article/view/491

Internet

https://vestnik.donstu.ru/jour/article/view/491

Similar Items