Selfie?s Reflections on Formal Verification for Transport Layer Security 1.3: Largely Opaque.
Nadim KobeissiPublished in: IEEE Secur. Priv. (2019)
Keyphrases
- formal verification
- transport layer
- network layer
- physical layer
- end to end
- model checking
- application layer
- network monitoring
- cross layer
- network security
- information security
- intrusion detection
- security issues
- resource utilization
- security policies
- multipath
- video streaming
- key management
- network architecture
- wireless communication
- computer networks
- routing protocol
- access control