Distributed Partial Order Reduction for Security Protocols.
Muhammad Torabi DashtiAnton WijsBert LisserPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- security protocols
- partial order reduction
- model checking
- automated design
- petri net
- distributed systems
- security services
- artificial immune algorithm
- distributed environment
- cryptographic algorithms
- lightweight
- peer to peer
- key management
- computer networks
- computing environments
- security mechanisms
- security properties
- secure communication
- distributed computing
- information systems
- operating system
- digital libraries