Crossmark

Using TLA+/TLC for Modeling and Verification of Cryptographic Protocols

Published Online: 2026-02-19

Published Print: 2025-12

Authors

Neyzov, M. V. https://orcid.org/0009-0000-6893-6137
Kuzmin, E. V. https://orcid.org/0000-0003-0500-306X
License Information

Text and Data Mining valid from 2025-12-01

Version of Record valid from 2025-12-01
More Information

Article History

Received: 6 November 2024

Revised: 25 November 2024

Accepted: 30 November 2024

First Online: 19 February 2026

CONFLICT OF INTEREST

: The authors of this work declare that they have no conflicts of interest.

Document is current