Formalization and Verification of the Powerlink Protocol Using CSP.
Haiping PangJu LiYijia RuanYanhong HuangJianqi ShiShengchao QinPublished in: APSEC (2016)
Keyphrases
- formal analysis
- cryptographic protocols
- protocol specification
- constraint satisfaction problems
- model checker
- formal proof
- model checking
- lightweight
- decomposition methods
- formal methods
- constraint satisfaction
- network protocols
- security protocols
- authentication protocol
- formal verification
- constraint propagation
- high security
- tcp ip
- formal model
- application layer
- constraint programming
- smart card
- communication protocols
- signature verification
- security analysis
- hypertree decomposition
- arc consistency
- computational complexity