Typed Multiset Rewriting Specifications of Security Protocols.
Iliano CervesatoPublished in: Electron. Notes Theor. Comput. Sci. (2000)
Keyphrases
- security protocols
- automated design
- cryptographic algorithms
- security mechanisms
- key management
- security services
- security properties
- artificial immune algorithm
- authentication protocol
- secure communication
- security requirements
- security issues
- cryptographic protocols
- rfid tags
- artificial intelligence
- data mining
- formal specification
- evolutionary design
- intrusion detection