{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,12]],"date-time":"2024-06-12T05:57:00Z","timestamp":1718171820227},"reference-count":16,"publisher":"Open Publishing Association","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Electron. Proc. Theor. Comput. Sci.","EPTCS"],"DOI":"10.4204\/eptcs.268.1","type":"journal-article","created":{"date-parts":[[2018,3,30]],"date-time":"2018-03-30T07:42:15Z","timestamp":1522395735000},"page":"1-40","source":"Crossref","is-referenced-by-count":5,"title":["A Formal TLS Handshake Model in LNT"],"prefix":"10.4204","volume":"268","author":[{"given":"Josip","family":"Bozic","sequence":"first","affiliation":[{"name":"Graz University of Technology - Institute of Software Technology, Graz, Austria"}]},{"given":"Lina","family":"Marsso","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, 38000 Grenoble, France"}]},{"given":"Radu","family":"Mateescu","sequence":"additional","affiliation":[{"name":"Univ. Grenoble Alpes, Inria, CNRS, Grenoble INP, LIG, 38000 Grenoble, France"}]},{"given":"Franz","family":"Wotawa","sequence":"additional","affiliation":[{"name":"Graz University of Technology - Institute of Software Technology, Graz, Austria"}]}],"member":"2720","published-online":{"date-parts":[[2018,3,23]]},"reference":[{"key":"affeldt13","doi-asserted-by":"publisher","DOI":"10.1145\/2428116.2428124","article-title":"Towards Formal Verification of TLS Network Packet Processing Written in C","volume-title":"PLPV","author":"Affeldt","year":"2013"},{"key":"aviramandall","first-page":"689","article-title":"DROWN: Breaking TLS Using SSLv2","volume-title":"25th USENIX Security Symposium, USENIX Security 16, Austin, TX, USA, August 10-12, 2016.","author":"Aviram","year":"2016"},{"key":"BroyJonsson05","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/b137241","volume-title":"Model-Based Testing of Reactive Systems, Advanced Lectures [The volume is the outcome of a research seminar that was held in Schloss Dagstuhl in January 2004]","volume":"3472","year":"2005"},{"key":"Brubakerandall","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1109\/SP.2014.15","article-title":"Using Frankencerts for Automated Adversarial Testing of Certificate Validation in SSL\/TLS Implementations","volume-title":"2014 IEEE Symposium on Security and Privacy, SP 2014, Berkeley, CA, USA, May 18-21, 2014","author":"Brubaker","year":"2014"},{"key":"champelovier2017reference","article-title":"Reference Manual of the LNT to LOTOS Translator","author":"Champelovier","year":"2017"},{"key":"diaz04","doi-asserted-by":"publisher","DOI":"10.1145\/967900.968063","article-title":"Automatic Verification of the TLS HandShake Protocol","volume-title":"Proceedings of the 19th ACM Symposium on Applied Computing (SAC'04)","author":"Diaz","year":"2004"},{"key":"dierksrescorla","doi-asserted-by":"publisher","first-page":"1","DOI":"10.17487\/RFC4346","article-title":"The Transport Layer Security (TLS) Protocol Version 1.1","volume":"4346","author":"Dierks","year":"2006","journal-title":"RFC"},{"key":"durmericetall","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1145\/2663716.2663755","article-title":"The Matter of Heartbleed","volume-title":"Proceedings of the 2014 Internet Measurement Conference, IMC 2014, Vancouver, BC, Canada, November 5-7, 2014","author":"Durumeric","year":"2014"},{"issue":"2","key":"garavellangmateescuserwe","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1007\/s10009-012-0244-z","article-title":"CADP 2011: a toolbox for the construction and analysis of distributed processes","volume":"15","author":"Garavel","year":"2013","journal-title":"STTT"},{"key":"garavellangserwe17","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-68270-9_1","article-title":"From LOTOS to LNT","volume-title":"ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday","author":"Garavel","year":"2017"},{"key":"km16","article-title":"Not-quite-so-broken TLS 1.3 mechanised conformance checking","volume-title":"TLSv1.3 - Ready or Not? (TRON) Workshop","author":"Kaloper-Mersinjak","year":"2016"},{"key":"poll15","doi-asserted-by":"publisher","DOI":"10.1109\/SPW.2015.32","article-title":"Protocol state machines and session languages: specification, implementation, and security flaws","volume-title":"Security and Privacy Workshops (SPW)","author":"Poll","year":"2015"},{"key":"ruiterpoll","first-page":"193","article-title":"Protocol State Fuzzing of TLS Implementations","volume-title":"24th USENIX Security Symposium, USENIX Security 15, Washington, D.C., USA, August 12-14, 2015.","author":"de Ruiter","year":"2015"},{"key":"ictss17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67549-7_10","article-title":"Testing TLS Using Combinatorial Methods and Execution Framework","volume-title":"Proceedings of the IFIP International Conference on Testing Software and Systems (ICTSS'17)","author":"Simos","year":"2017"},{"issue":"1","key":"tretmans","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/S0169-7552(96)00017-7","article-title":"Conformance Testing with Labelled Transition Systems: Implementation Relations and Test Generation","volume":"29","author":"Tretmans","year":"1996","journal-title":"Computer Networks and ISDN Systems"},{"issue":"4","key":"weaver","doi-asserted-by":"publisher","first-page":"88","DOI":"10.1109\/MC.2006.138","article-title":"Secure Sockets Layer","volume":"39","author":"Weaver","year":"2006","journal-title":"IEEE Computer"}],"container-title":["Electronic Proceedings in Theoretical Computer Science"],"original-title":[],"language":"en","deposited":{"date-parts":[[2018,3,30]],"date-time":"2018-03-30T07:42:17Z","timestamp":1522395737000},"score":1,"resource":{"primary":{"URL":"http:\/\/arxiv.org\/abs\/1803.10319v1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,3,23]]},"references-count":16,"URL":"https:\/\/doi.org\/10.4204\/eptcs.268.1","relation":{},"ISSN":["2075-2180"],"issn-type":[{"value":"2075-2180","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,3,23]]}}}