Relating Symbolic and Cryptographic Secrecy.
Michael BackesBirgit PfitzmannPublished in: IEEE Trans. Dependable Secur. Comput. (2005)
Keyphrases
- key management
- security properties
- smart card
- key distribution
- symbolic representation
- security analysis
- security requirements
- high level
- wireless sensor networks
- connectionist learning
- cellular automata
- digital signature
- security protocols
- connectionist models
- data sets
- neural learning
- symbolic reasoning
- cryptographic algorithms
- data encryption standard
- secret key
- hash functions
- ad hoc networks
- lightweight
- low cost
- genetic algorithm