Никешин, А.В. и Шнитман, В.З. 2023. Опыт верификации реализаций клиента протокола TLS 1.3. Электронные библиотеки. 26, 1 (мар. 2023), 104-121. DOI:https://doi.org/10.26907/1562-5419-2023-26-1-104-121.