Partial Order Reduction for Security Protocols.
David BaeldeStéphanie DelauneLucca HirschiPublished in: CONCUR (2015)
Keyphrases
- security protocols
- partial order reduction
- model checking
- petri net
- automated design
- security services
- cryptographic algorithms
- authentication protocol
- security properties
- artificial immune algorithm
- security mechanisms
- secure communication
- key management
- security requirements
- rfid tags
- cryptographic protocols
- databases