НИКЕШИН, А. В.; ШНИТМАН, В. З. Опыт верификации реализаций протокола TLS 1.3. Электронные библиотеки, v. 24, n. 5, p. 902-922, 6 ноя. 2021.