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

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

Saved in:
Bibliographic Details
Main Authors: Maxim V. Neyzov, Egor V. Kuzmin
Format: Article
Language:English
Published: Yaroslavl State University 2024-12-01
Series:Моделирование и анализ информационных систем
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
Tags: Add Tag
No Tags, Be the first to tag this record!
Login for hold and recall information

Internet

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

Similar Items