Formal Verification of Security Protocols: ProVerif and Extensions.
Jiangyuan YaoChunxiang XuDeshun LiShengjun LinXingcan CaoPublished in: ICAIS (2) (2022)
Keyphrases
- formal verification
- security protocols
- model checking
- automated design
- model checker
- automated verification
- security services
- artificial immune algorithm
- bounded model checking
- cryptographic protocols
- symbolic model checking
- cryptographic algorithms
- key management
- security properties
- authentication protocol
- secure communication
- security mechanisms
- rfid tags
- engineering design
- end to end
- wireless networks