Open AccessTest Suite development for verification of TLS security protocol
Author(s) -
Alexei Viacheslavovich Nikeshin,
Nikolay Pakulin,
Victor Zinovievich Shnitman
Publication year - 2012
Publication title -
trudy instituta sistemnogo programmirovaniâ ran/trudy instituta sistemnogo programmirovaniâ
Language(s) - English
Resource type - Journals
eISSN - 2220-6426
pISSN - 2079-8156
DOI - 10.15514/ispras-2012-23-22
Subject(s) - test suite , conformance testing , computer science , implementation , programming language , protocol (science) , formal specification , test case , java , transport layer security , software engineering , operating system , encryption , standardization , medicine , regression analysis , alternative medicine , pathology , machine learning