Verification of key management cryptographic protocols with colored Petri nets

Автор: Mogilevskaya Nadezhda S., Kolchanov Sergey S.

Журнал: Advanced Engineering Research (Rostov-on-Don) @vestnik-donstu

Рубрика: Физико-математические науки

Статья в выпуске: 9 (60) т.11, 2011 года.

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

The possibility of using colored Petri nets for the analysis of key distribution cryptographic protocols as an example of symmetric Needham-Schroeder protocol is reviewed and evaluated.

Protocol verification, formal analysis, needham-schroeder protocol, colored petri nets, cpn tools, key management

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

IDR: 14249709   |   УДК: 004.414.023