A Scenario-Based Protocol Checker for Public-Key Authentication Scheme.
Takamichi SaitoPublished in: IPDPS (2007)
Keyphrases
- authentication scheme
- public key
- authentication protocol
- security analysis
- security model
- provably secure
- diffie hellman
- secret key
- image encryption
- blind signature
- elliptic curve cryptography
- image authentication
- user authentication
- digital signature
- public key cryptography
- key distribution
- signature scheme
- blind signature scheme
- private key
- secure communication
- smart card
- encryption scheme
- lightweight
- rfid tags
- cryptographic protocols
- high security
- security protocols
- trusted third party
- security properties
- hash functions
- bilinear pairings