Abstract
Тестирование реализаций клиента протокола TLS
Highlights
Authors of specifications for those protocols take responsible approach to specification development and undertake significant efforts to study potential attacks and minimize the risk of effective exploits. It is vitally important for an implementation to conform to the corresponding protocol specification, especially in the context of error prcessing in inbound meesages or sequence of messages since such kinds of errors are the major facility for implementation of attacks against protocol implementations
This paper continues the series of other publications of the authors dedicated to specification-based conformance testing for Internet security protocols
The test suite is based on UniTESK technology of test construction and JavaTESK toolkit that implements the technology
Summary
Технология UniTESK поддерживает нотацию формальных спецификаций, автоматическую динамическую генерацию тестовых воздействий и автоматический анализ результатов. Наш подход к применению технологии UniTESK для тестирования соответствия, в частности, вопросы построения формальной модели из текстовой спецификации и построения тестовых сценариев подробно изложены в [2,3]. Определяемых спецификацией, для более качественной проверки реализаций необходимо проводить тестирование на входных данных, противоречащих спецификации или не определяемых ею. Поэтому мы расширили наш тестовый набор средствами мутационного тестирования. Найденные, например, в различных webсервисах [5,6] (особенно использующих сценарии Java/Java scripts), демонстрирующие, что неадекватное поведение клиентских приложений может приводить к проблемам безопасности со стороны клиента. По объективным причинам тестированию клиентских приложений уделяется меньше внимания: многие серверные приложения являются коммерческими продуктами, в то время как, соответствующие клиентские решения часто предлагаются бесплатно. Нами был разработан новый тестовый набор для TLS-клиентов, дополненный операторами мутации. Ниже дано краткое описание разработанного тестового набора и приведены результаты его апробации
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: Proceedings of the Institute for System Programming of the RAS
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
