Никешин, А. В.; Шнитман, В. З. Опыт верификации реализаций клиента протокола TLS 1.3. ЭБ 2023, 26, 104-121.