Weighted Combinatorial Sequence Testing for the TLS Protocol

Weighted Combinatorial Sequence Testing for the TLS Protocol

In this paper, we apply the notion of weighted t-way sequences to derive sequence test cases for testing implementations of the TLS protocol version 1.2. The used weights have been derived from an analysis of a security bug database of GnuTLS and we tested four implementations of the TLS protocol ag...

Full description

Saved in:
Bibliographic Details
Published in:2019 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) pp. 46 - 51
Main Authors: Garn, Bernhard, Simos, Dimitris E., Duan, Feng, Lei, Yu, Bozic, Josip, Wotawa, Franz
Format: Conference Proceeding
Language:English
Published: IEEE 01-04-2019
Subjects:
combinatorial testing
Computer bugs
Protocols
Security
security testing
sequence testing
Servers
Software
Testing
tls protocol
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we apply the notion of weighted t-way sequences to derive sequence test cases for testing implementations of the TLS protocol version 1.2. The used weights have been derived from an analysis of a security bug database of GnuTLS and we tested four implementations of the TLS protocol against them comparing their behavior. Our results indicate discrepancies in the behavior of different TLS implementations.
DOI:10.1109/ICSTW.2019.00031