VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
Abstract
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.
About the Authors
Nadezhda S. Mogilevskaya
Don State Technical University
Russian Federation
Russian Federation
Sergey S. Kolchanov
Don State Technical University
Russian Federation
Russian Federation
References
1. Osnovy` kriptografii / A. P. Alfyorov [i dr.]. — Moskva: Gelios ARV, 2005. — 480 s. — In Russian.
2. Denning, D. E. Time stamps in Key Distribution Protocols / D. E. Denning, M. Smid // Com-munications of the ACM. — 1981. — V. 24. — P. 533—536.
3. Kotenko, I. V. Verifikaciya protokolov bezopasnosti na osnove kombinirovannogo is-pol`zovaniya sushhestvuyushhix metodov i sredstv / I. V. Kotenko, S. A. Reznik, A. V. Shorov // Trudy` SPIIRAN. — 2009. — Vy`p. 8. — S. 292—310. — In Russian.
4. Mogilevskaya, N. S. Sravnenie vozmozhnostej setej Petri i BAN-logiki v analize kriptografi-cheskix protokolov proverki podlinnosti i obmena klyuchami / N. S. Mogilevskaya, S. S. Kolchanov // Sistemny`j analiz, upravlenie i obrabotka informacii. — Rostov-na-Donu: Izd. centr DGTU, 2011. S. 98—101. — In Russian.
5. Smart, N. Kriptografiya / N. Smart. — Moskva: Texnosfera, 2006. — 528 s. — In Russian.
6. Lin, H. Algorithms for Cryptographic Protocol Verification in Presence of Algebraic Properties: diss. for the degree of Doctor of Philosophy (Mathematics). — Clarkson University, 2009.
7. Nieh, B. Modeling and analyzing cryptographic protocols using Petri nets / B. Nieh, S. Tavares // Auscrypt'92, 1992.
8. Salah, A. Protocol verification and analysis using colored Petri nets / A. Salah, M. Khaled. — Cairo University, 2003. — P. 3—7.
9. Kotov, V. E. Seti Petri / V. E. Kotov. — Moskva: Nauka, 1984. — 160 s. — In Russian.
10. CPN Tools Homepage. Documentation. Electronic resource. Access mode: http://cpntools.org/documentation/start/ (date of access: 11.04.2011).
Review
For citations:
Mogilevskaya N.S., Kolchanov S.S. VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS. Vestnik of Don State Technical University. 2011;11(9):1535-1543. (In Russ.)
Views:
439
Email this article 