PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols.
Alexander SenierMartin BeckThorsten StrufePublished in: CoRR (2017)
Keyphrases
- security protocols
- automated design
- artificial immune algorithm
- software development
- key management
- security properties
- software systems
- software architecture
- security mechanisms
- security services
- source code
- cryptographic algorithms
- case study
- authentication protocol
- cryptographic protocols
- computer systems
- wireless sensor networks