Login / Signup
Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores.
Duong Dinh Tran
Thet Wai Mon
Kazuhiro Ogata
Published in:
PeerJ Comput. Sci. (2023)
Keyphrases
</>
formal verification
transport layer
network layer
application layer
physical layer
end to end
model checker
model checking
access control
security policies
security issues
intrusion detection
network architecture
cross layer