Formal Models and Techniques for Analyzing Security Protocols: A Tutorial.
Véronique CortierSteve KremerPublished in: Found. Trends Program. Lang. (2014)
Keyphrases
- formal models
- security protocols
- formal model
- automated design
- security properties
- rule based systems
- process model
- security services
- neural network
- artificial immune algorithm
- software engineering
- cost effective
- security requirements
- anomaly detection
- rough sets
- information systems
- artificial intelligence
- genetic algorithm
- data mining