A formal TLS handshake model in LNT

Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandBegutachtung

Fingerprint

Untersuchen Sie die Forschungsthemen von „A formal TLS handshake model in LNT“. Zusammen bilden sie einen einzigartigen Fingerprint.

Computer Science