Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version.
Duong Dinh TranCanh Minh DoSantiago EscobarKazuhiro OgataPublished in: PeerJ Comput. Sci. (2023)
Keyphrases
- formal analysis
- transport layer
- ban logic
- parallel version
- network layer
- physical layer
- end to end
- parallel algorithm
- application layer
- formal methods
- state space search
- parallel processors
- intrusion detection
- agent model
- search problems
- routing protocol
- information security
- iterative deepening
- formal specification
- network congestion
- wireless communication
- network security
- cross layer
- network monitoring
- network architecture
- authentication protocol
- security requirements
- security issues
- security policies
- secret key
- search algorithm