Keyphrases
- secret key
- security analysis
- mutual authentication
- encryption scheme
- encryption decryption
- smart card
- public key
- high level
- authentication scheme
- image encryption
- data encryption
- specification language
- formal specification
- authentication mechanism
- key management
- high security
- ciphertext
- pseudorandom
- random number
- written in natural language
- key exchange
- signature scheme
- security properties
- key distribution
- information hiding
- operational semantics
- authentication protocol
- control flow
- trusted third party
- functional requirements
- finite state machines
- hash functions
- neural network