VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS

VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS

Show other versions (1)

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.

Bibliographic Details
Main Authors: Nadezhda S. Mogilevskaya, Sergey S. Kolchanov
Format: Article
Language:Russian
Published: Don State Technical University 2018-07-01
Series:Вестник Донского государственного технического университета
Subjects:
protocol verification
formal analysis
key management
needham—schroeder protocol
colored petri nets
cpn tools.
Online Access:https://vestnik.donstu.ru/jour/article/view/887

Internet

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

Similar Items