Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks.
Stéphanie DelauneFlorent JacquemardPublished in: J. Autom. Reason. (2006)
Keyphrases
- decision procedures
- cryptographic protocols
- security protocols
- security properties
- cryptographic algorithms
- key management
- modal logic
- automated reasoning
- key exchange
- stream cipher
- theorem proving
- authentication protocol
- security mechanisms
- advanced encryption standard
- encryption algorithms
- probabilistic reasoning
- security requirements
- conjunctive queries
- probabilistic model
- standard model
- encryption scheme
- bayesian networks
- security analysis
- mutual authentication
- wireless sensor networks
- secret key
- diffie hellman
- key distribution
- np complete
- encryption algorithm
- ad hoc networks
- knowledge representation
- constraint satisfaction
- probabilistic inference
- databases
- database