Automated Verification of e-Cash Protocols.
Jannik DreierAli KassemPascal LafourcadePublished in: ICETE (Selected Papers) (2015)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- smart card
- temporal logic
- communication protocols
- graph theory
- multi party
- expert systems
- authentication protocol
- communication protocol
- cryptographic protocols
- state space
- knowledge representation
- security protocols
- electronic cash
- evolutionary algorithm