Formal Verification of Secure Forwarding Protocols.
Tobias KlenzeChristoph SprengerDavid A. BasinPublished in: CSF (2021)
Keyphrases
- formal verification
- cryptographic protocols
- model checking
- security properties
- security protocols
- bounded model checking
- model checker
- key distribution
- key establishment
- key agreement protocol
- key exchange
- automated verification
- authentication protocol
- symbolic model checking
- multi party
- application level
- overlay network
- program slicing
- security services
- group communication
- artificial intelligence
- public key cryptosystems
- secure communication
- key management
- secret key
- formal specification
- wireless networks
- rough sets