SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC
Abstract
The idea of analyzing cryptographic key generation protocols through BAN - logic methods is considered. An e xample of Kerberos protocol analysis is given. The software tool that automates the analysis of key g eneration protocols is built. Its v alidation is investigated
References
1. Mogilevskaya, N. S. Verifikaciya kriptograficheskix protokolov raspredeleniya klyuchej s ispol`zovaniem raskrashenny`x setej Petri / N. S. Mogilevskaya, S. S. Kolchanov // Vestnik Donskogo gos. texn. un-ta. — 2011. — T. 11. — № 9. — S. 1535—1543. — In Russian.
2. Cheryomushkin, A. V. Kriptograficheskie protokoly`: osnovny`e svojstva i uyazvimosti / A. V. Cheryomushkin. — Moskva: In-t kriptografii, 2009. — 272 s. — In Russian.
3. Shnajer, B. Prikladnaya kriptografiya. Protokoly`, algoritmy`, isxodny`e teksty` na yazy`ke Si / B. Shnajer. — Moskva: Triumf, 2002. — 816 s. — In Russian.
4. Burrows, M. A logic of authentication / M. Burrows, M. Abadi, R. Needham // ACM Transactions on Computer System. — V. 8. — № 1. — Feb. 1990. — P. 18—36.
5. Mogilevskaya, N. S. Osnovy` BAN-logiki: metod. ukazaniya k prakticheskim zanyatiyam po kursu «Kriptograficheskie protokoly`» [E`lektron. resurs] / N. S. Mogilevskaya. — Rezhim dostupa: http://de.dstu.edu.ru/CDOCourses/3/3/20125c3d5375-aa2f-41fe-ac35-b71dc060ae20/1001/method/in dex.html (data obrashheniya: 15.10.2011). — In Russian.
6. Mogilevskaya, N. S. Sravnenie vozmozhnostej setej Petri i BAN-logiki v analize kriptograficheskix 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.
7. Aly, S. Protocol verification and analysis using colored Petri nets. Technical report / S. Aly. — Cairo: Cairo University, 2003. — 26 p.
Review
For citations:
Mogilevskaya N.S. SOFTWARE TOOL FOR LOGICAL VALIDATION OF CRYPTOGRAPHIC KEY GENERATION PROTOCOLS BASED ON BAN-LOGIC. Vestnik of Don State Technical University. 2012;12(1-2):5-15. (In Russ.)
Views:
433
Email this article 