Keyphrases
- security analysis
- smart card
- public key
- security requirements
- high security
- image encryption
- security properties
- encryption scheme
- security model
- theorem prover
- mutual authentication
- authentication protocol
- encryption algorithm
- user authentication
- authentication scheme
- databases
- proxy signature scheme
- information security
- low cost