Conformance testing of Extensible Authentication Protocol implementations

Συγγραφείς: V.Z. Shnitman, A.V. Nikeshin

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

Θεματικοί όροι: контроль доступа, QA75.5-76.95, формальные методы, безопасность, аутентификация, eap, unitesk, мутационное тестирование, верификация, тестирование с использованием моделей, методы eap, Electronic computers. Computer science, тестирование, формальные спецификации

Σύνδεσμος πρόσβασης: http://ispras.ru/proceedings/docs/2018/30/6/isp_30_2018_6_89.pdf
https://doaj.org/article/dde420256aef449588c8dfb1aba2d36e

TLS clients testing

Συγγραφείς: A. V. Nikeshin, N. V. Pakulin, V. Z. Shnitman

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

Θεματικοί όροι: тестирование, верификация, формальные методы, формальные спецификации, тестирование с использованием моделей, tls, ssl, unitesk, мутационное тестирование, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/47de7b411ab6441cb592c3c7de531dee

Test Suite development for verification of TLS security protocol

Συγγραφείς: A. V. Nikeshin, N. V. Pakulin,, V. Z. Shnitman.

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

Θεματικοί όροι: тестирование, верификация, формальные методы, формальные спецификации, mbt, тестирование с использованием моделей, модели программ, tls, ssl, javatesk, unitesk, Electronic computers. Computer science, QA75.5-76.95

Περιγραφή αρχείου: electronic resource

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

Σύνδεσμος πρόσβασης: https://doaj.org/article/9aeffe2e89a1422ebf933e4e71c58a30

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

Συγγραφείς: НИКЕШИН А.В., ПАКУЛИН Н.В., ШНИТМАН В.З.

Θεματικοί όροι: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МУТАЦИОННОЕ ТЕСТИРОВАНИЕ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/testirovanie-realizatsiy-klienta-protokola-tls
http://cyberleninka.ru/article_covers/15899096.png

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

Συγγραφείς: Никешин, А., Пакулин, Н., Шнитман, В.

Θεματικοί όροι: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МОДЕЛИ ПРОГРАММ

Περιγραφή αρχείου: text/html

Διαθεσιμότητα: http://cyberleninka.ru/article/n/razrabotka-testovogo-nabora-dlya-verifikatsii-realizatsiy-protokola-bezopasnosti-tls
http://cyberleninka.ru/article_covers/14037840.png

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

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

Θεματικοί όροι: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МУТАЦИОННОЕ ТЕСТИРОВАНИЕ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article_covers/15899096.png
http://cyberleninka.ru/article/n/testirovanie-realizatsiy-klienta-protokola-tls

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

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

Θεματικοί όροι: ТЕСТИРОВАНИЕ, ВЕРИФИКАЦИЯ, ФОРМАЛЬНЫЕ МЕТОДЫ, ФОРМАЛЬНЫЕ СПЕЦИФИКАЦИИ, ТЕСТИРОВАНИЕ С ИСПОЛЬЗОВАНИЕМ МОДЕЛЕЙ, МОДЕЛИ ПРОГРАММ

Περιγραφή αρχείου: text/html

Σύνδεσμος πρόσβασης: http://cyberleninka.ru/article/n/razrabotka-testovogo-nabora-dlya-verifikatsii-realizatsiy-protokola-bezopasnosti-tls
http://cyberleninka.ru/article_covers/14037840.png