Partial Order Reduction for Branching Security Protocols.
Wan J. FokkinkMohammad Torabi DashtiAnton WijsPublished in: ACSD (2010)
Keyphrases
- security protocols
- partial order reduction
- model checking
- petri net
- cryptographic algorithms
- automated design
- security services
- security mechanisms
- security properties
- artificial immune algorithm
- key management
- authentication protocol
- secure communication
- security requirements
- digital libraries
- rfid tags
- security issues
- low cost