An Isabelle formalization of protocol-independent secrecy with an application to e-commerce
Frédéric BlanquiPublished in: CoRR (2006)
Keyphrases
- security analysis
- key distribution
- security properties
- electronic commerce
- secure electronic
- mutual authentication
- formal analysis
- security requirements
- theorem prover
- formal model
- lightweight
- key management
- authentication protocol
- communication protocol
- smart card
- knowledge representation
- multi party
- elliptic curve
- operational semantics
- mobile commerce
- cryptographic protocols
- artificial intelligence