Fault-Preserving Simplifying Transformations for Security Protocols.
Mei Lin HuiGavin LowePublished in: J. Comput. Secur. (2001)
Keyphrases
- security protocols
- automated design
- security services
- cryptographic algorithms
- fault diagnosis
- artificial immune algorithm
- fault detection
- security mechanisms
- security properties
- key management
- authentication protocol
- secure communication
- databases
- cryptographic protocols
- security issues
- artificial intelligence
- security requirements
- information security