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