A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System.
Michael BackesMarkus DürmuthPublished in: CSFW (2005)
Keyphrases
- intrusion detection
- access control
- information security
- information assurance
- security policies
- statistical databases
- human operators
- security problems
- security properties
- security issues
- network security
- security requirements
- data sets
- functional requirements
- theorem proving
- high security
- computer security
- data security
- security level
- theorem prover
- design automation
- electronic payment
- electronic transactions