НИКЕШИН, А. В.; ШНИТМАН, В. З. Опыт верификации реализаций клиента протокола TLS 1.3. Электронные библиотеки, v. 26, n. 1, p. 104-121, 16 мар. 2023.