Open AccessVerification of security properties of the TLS protocol version 1.3
Author(s) -
Alexei Viacheslavovich Nikeshin,
Victor Zinovievich Shnitman
Publication year - 2020
Publication title -
naučnyj servis v seti internet
Language(s) - English
Resource type - Conference proceedings
ISSN - 2618-9542
DOI - 10.20948/abrau-2020-22
Subject(s) - computer science , cryptographic protocol , protocol (science) , formal verification , embedded system , computer security , cryptography , programming language , medicine , alternative medicine , pathology