Automated Composition of Security Protocols
Béla GengeIosif IgnatPiroska HallerPublished in: CoRR (2009)
Keyphrases
- security protocols
- automated design
- security properties
- cryptographic algorithms
- evolutionary design
- artificial immune algorithm
- security services
- composition of web services
- engineering design
- secure communication
- security mechanisms
- authentication protocol
- data management
- real time
- key management
- end to end
- software engineering
- database systems