基于SPIN的Andrew Secure RPC协议并行攻击模型检测 (Model Checking of Parallel Attack in Andrew Secure RPC Protocol Based on SPIN).
Meihua XiaoKe ZhuChenglin MaPublished in: 计算机科学 (2015)
Keyphrases
- model checking
- authentication protocol
- key exchange protocol
- model checker
- cryptographic protocols
- formal verification
- temporal logic
- temporal properties
- security protocols
- key distribution
- automated verification
- group communication
- formal specification
- lightweight
- finite state
- finite state machines
- partial order reduction
- computation tree logic
- symbolic model checking
- security analysis
- reactive systems
- diffie hellman
- key agreement protocol
- secret key
- smart card
- transition systems
- reachability analysis
- key agreement
- formal methods
- asynchronous circuits
- concurrent systems
- timed automata
- software architecture
- encryption scheme