Software tool for logical validation of cryptographic key generation protocols based on BAN-logic
Автор: Mogilevskaya Nadezhda S.
Журнал: Вестник Донского государственного технического университета @vestnik-donstu
Рубрика: Физико-математические науки
Статья в выпуске: 1-2 (62) т.12, 2012 года.
Бесплатный доступ
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
Статья научная
