Conformance testing of Extensible Authentication Protocol implementations

Authors: V.Z. Shnitman, A.V. Nikeshin

Source: Труды Института системного программирования РАН, Vol 30, Iss 6, Pp 89-104 (2019)

Subject Terms: контроль доступа, QA75.5-76.95, формальные методы, безопасность, аутентификация, eap, unitesk, мутационное тестирование, верификация, тестирование с использованием моделей, методы eap, Electronic computers. Computer science, тестирование, формальные спецификации

Access URL: http://ispras.ru/proceedings/docs/2018/30/6/isp_30_2018_6_89.pdf
https://doaj.org/article/dde420256aef449588c8dfb1aba2d36e

TLS clients testing

Authors: A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman

Source: Труды Института системного программирования РАН, Vol 27, Iss 2, Pp 145-160 (2018)

Subject Terms: тестирование, верификация, формальные методы, формальные спецификации, тестирование с использованием моделей, tls, ssl, unitesk, мутационное тестирование, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/1095; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/47de7b411ab6441cb592c3c7de531dee

Test Suite development for verification of TLS security protocol

Authors: A. V. Nikeshin, N. V. Pakulin,, V. Z. Shnitman.

Source: Труды Института системного программирования РАН, Vol 23, Iss 0 (2018)

Subject Terms: тестирование, верификация, формальные методы, формальные спецификации, mbt, тестирование с использованием моделей, модели программ, tls, ssl, javatesk, unitesk, Electronic computers. Computer science, QA75.5-76.95

File Description: electronic resource

Relation: https://ispranproceedings.elpub.ru/jour/article/view/991; https://doaj.org/toc/2079-8156; https://doaj.org/toc/2220-6426

Access URL: https://doaj.org/article/9aeffe2e89a1422ebf933e4e71c58a30

ТЕСТИРОВАНИЕ РЕАЛИЗАЦИЙ КЛИЕНТА ПРОТОКОЛА TLS

Authors: НИКЕШИН А.В., ПАКУЛИН Н.В., ШНИТМАН В.З.

Subject Terms: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МУТАЦИОННОЕ ТЕСТИРОВАНИЕ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/testirovanie-realizatsiy-klienta-protokola-tls
http://cyberleninka.ru/article_covers/15899096.png

РАЗРАБОТКА ТЕСТОВОГО НАБОРА ДЛЯ ВЕРИФИКАЦИИ РЕАЛИЗАЦИЙ ПРОТОКОЛА БЕЗОПАСНОСТИ TLS

Authors: Никешин, А., Пакулин, Н., Шнитман, В.

Subject Terms: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МОДЕЛИ ПРОГРАММ

File Description: text/html

Availability: http://cyberleninka.ru/article/n/razrabotka-testovogo-nabora-dlya-verifikatsii-realizatsiy-protokola-bezopasnosti-tls
http://cyberleninka.ru/article_covers/14037840.png

Тестирование реализаций клиента протокола TLS

Source: Труды Института системного программирования РАН.

Subject Terms: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МУТАЦИОННОЕ ТЕСТИРОВАНИЕ

File Description: text/html

Access URL: http://cyberleninka.ru/article_covers/15899096.png
http://cyberleninka.ru/article/n/testirovanie-realizatsiy-klienta-protokola-tls

Разработка тестового набора для верификации реализаций протокола безопасности TLS

Source: Труды Института системного программирования РАН.

Subject Terms: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МОДЕЛИ ПРОГРАММ

File Description: text/html

Access URL: http://cyberleninka.ru/article/n/razrabotka-testovogo-nabora-dlya-verifikatsii-realizatsiy-protokola-bezopasnosti-tls
http://cyberleninka.ru/article_covers/14037840.png