Hybrid Post-Quantum TLS formal specification in Maude-NPA - toward its security analysis.
Duong Dinh TranCanh Minh DoSantiago EscobarKazuhiro OgataPublished in: FAVPQC@ICFEM (2022)
Keyphrases
- formal specification
- security analysis
- model checking
- public key
- object oriented design
- smart card
- security requirements
- reverse engineering
- high security
- security properties
- formal methods
- encryption scheme
- process algebra
- concurrent systems
- user authentication
- artificial intelligence
- mutual authentication
- business rules
- cost effective
- information systems