Using TLA+/TLC for modeling and verification of cryptographic protocols

Interacting in open networks carries certain risks. To ensure the information security of network interaction participants, cryptographic protocols (CrP) are used. High levels of security can be achieved through their formal verification. A common formal method for verifying CrP is model checking....

Full description

Bibliographic Details
Published in:Моделирование и анализ информационных систем
Main Authors: Maxim V. Neyzov, Egor V. Kuzmin
Format: Article
Language:English
Published: Yaroslavl State University 2024-12-01
Subjects:
protocol vulnerability
security properties
authentication
needham-schroeder protocol
asymmetric encryption system
formal verification
verification duration
model checking
transition system
protocol model
modeling techniques
generating function
Online Access:https://www.mais-journal.ru/jour/article/view/1898

Internet

https://www.mais-journal.ru/jour/article/view/1898

Similar Items