Towards a Quantitative Analysis of Security Protocols.
Pedro AdãoPaulo MateusTiago ReisLuca ViganòPublished in: Electron. Notes Theor. Comput. Sci. (2006)
Keyphrases
- quantitative analysis
- security protocols
- automated design
- qualitative analysis
- cryptographic algorithms
- security mechanisms
- security properties
- security services
- secure communication
- key management
- artificial immune algorithm
- qualitative evaluation
- authentication protocol
- qualitative and quantitative analysis
- rfid tags
- cryptographic protocols
- real time
- computer networks