Verification of security properties of payment protocol using AVISPA.
A. R. Rizwana ShaikhSatish DevanePublished in: ICITST (2009)
Keyphrases
- security properties
- cryptographic protocols
- formal methods
- formal analysis
- security requirements
- security analysis
- formal model
- payment systems
- mobile commerce
- security protocols
- diffie hellman
- model checking
- standard model
- real time
- information security
- knowledge based systems
- peer to peer
- distributed systems
- information systems