TY  - RPRT
TI  - A Formal TLS Handshake Model in LNT
AU  - Josip Bozic
AU  - Lina Marsso
AU  - Radu Mateescu
AU  - Franz Wotawa
PY  - 2018
DO  - 10.4204/eptcs.268.1
UR  - https://arxiv.org/abs/1803.10319
ID  - 1803.10319
ER  -