Model-based Security Analysis and Applications to Security Economics.
Jan JürjensAmir Shayan AhmadianPublished in: MODELSWARD (2015)
Keyphrases
- security analysis
- security requirements
- high security
- security properties
- smart card
- security model
- internet banking
- public key
- encryption scheme
- user authentication
- encryption algorithm
- mutual authentication
- authentication protocol
- key exchange
- elliptic curve cryptography
- image encryption
- security mechanisms
- private key
- security policies
- authentication scheme
- information security
- secure electronic
- information sharing
- access control policies
- password guessing