Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa. A Formal TLS Handshake Model in LNT.
MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. 268, pp.1 - 40, 2018,
〈10.4204/EPTCS.268.1〉.
〈hal-01779151〉