VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS
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.
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Don State Technical University
2011-11-01
|
| Series: | Advanced Engineering Research |
| Subjects: | |
| Online Access: | https://www.vestnik-donstu.ru/jour/article/view/887 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849698479483387904 |
|---|---|
| author | Nadezhda S. Mogilevskaya Sergey S. Kolchanov |
| author_facet | Nadezhda S. Mogilevskaya Sergey S. Kolchanov |
| author_sort | Nadezhda S. Mogilevskaya |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-9b78ec40a7da4d9184f79978e14e904a |
| institution | DOAJ |
| issn | 2687-1653 |
| language | Russian |
| publishDate | 2011-11-01 |
| publisher | Don State Technical University |
| record_format | Article |
| series | Advanced Engineering Research |
| spelling | doaj-art-9b78ec40a7da4d9184f79978e14e904a2025-08-20T03:18:53ZrusDon State Technical UniversityAdvanced Engineering Research2687-16532011-11-0111915351543875VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETSNadezhda S. Mogilevskaya0Sergey S. Kolchanov1Don State Technical UniversityDon State Technical UniversityThe 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.https://www.vestnik-donstu.ru/jour/article/view/887protocol verificationformal analysiskey managementneedham—schroeder protocolcolored petri netscpn tools. |
| spellingShingle | Nadezhda S. Mogilevskaya Sergey S. Kolchanov VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS Advanced Engineering Research protocol verification formal analysis key management needham—schroeder protocol colored petri nets cpn tools. |
| title | VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS |
| title_full | VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS |
| title_fullStr | VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS |
| title_full_unstemmed | VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS |
| title_short | VERIFICATION OF KEY MANAGEMENT CRYPTOGRAPHIC PROTOCOLS WITH COLORED PETRI NETS |
| title_sort | verification of key management cryptographic protocols with colored petri nets |
| topic | protocol verification formal analysis key management needham—schroeder protocol colored petri nets cpn tools. |
| url | https://www.vestnik-donstu.ru/jour/article/view/887 |
| work_keys_str_mv | AT nadezhdasmogilevskaya verificationofkeymanagementcryptographicprotocolswithcoloredpetrinets AT sergeyskolchanov verificationofkeymanagementcryptographicprotocolswithcoloredpetrinets |