Software tool for logical validation of cryptographic key generation protocols based on BAN-logic

Бесплатный доступ

The idea of analyzing cryptographic key generation protocols through BAN-logic methods is considered. An example of Kerberos protocol analysis is given. The software tool that automates the analysis of key generation protocols is built. Its validation is investigated.

Formal protocol analysis, cryptographic protocols, key generation protocols, computer-aided protocol analysis tools, kerberos protocol

Короткий адрес: https://sciup.org/14249774

IDR: 14249774

Статья научная