Architecture Design and Security Evaluation of Secure Optical Transport Network Using Formal Verification.
Shion MaedaMisato NakabayashiTetsuya OkudaPublished in: COMPSAC (2022)
Keyphrases
- formal verification
- transport network
- cryptographic protocols
- security requirements
- security issues
- model checking
- security mechanisms
- bounded model checking
- security level
- security analysis
- security measures
- automated verification
- security protocols
- model checker
- key management
- data encryption
- symbolic model checking
- security properties
- key agreement protocol
- access control
- intrusion detection
- public transport
- information security
- user authentication
- authentication protocol
- sensitive data
- temporal logic
- key distribution
- diffie hellman
- security policies
- smart card