
Verification of security properties of the TLS 1.3 extensions
Author(s) -
Alexei Viacheslavovich Nikeshin,
Victor Zinovievich Shnitman
Publication year - 2021
Publication title -
naučnyj servis v seti internet
Language(s) - English
Resource type - Conference proceedings
ISSN - 2618-9542
DOI - 10.20948/abrau-2021-14
Subject(s) - computer science , implementation , protocol (science) , cryptographic protocol , conformance testing , test suite , cryptography , finite state machine , embedded system , test case , computer security , operating system , software engineering , programming language , standardization , medicine , alternative medicine , regression analysis , pathology , machine learning