Formal approach to security metrics.: what does "more secure" mean for you?
Leanid KrautsevichFabio MartinelliArtsiom YautsiukhinPublished in: ECSA Companion Volume (2010)
Keyphrases
- security requirements
- security issues
- security measures
- security mechanisms
- security level
- security management
- security protocols
- security properties
- formal model
- key management
- security analysis
- data security
- security patterns
- security services
- information security
- sensitive data
- key exchange
- digital signature scheme
- stream cipher
- cryptographic protocols
- key agreement protocol
- user authentication
- diffie hellman
- security model
- data encryption
- encryption scheme
- high security
- security architecture
- electronic voting
- key agreement
- security policies
- key exchange protocol
- authentication mechanism
- identity management
- integrity verification
- access control
- public key cryptosystem
- public key encryption
- authentication protocol
- authentication scheme
- previously mentioned
- key establishment
- secure communication
- mobile agent system
- unauthorized access
- key distribution
- smart card
- countermeasures
- cloud computing
- trusted computing
- intrusion detection
- network security
- private key
- digital rights management
- single point of failure
- key management scheme
- secure multiparty computation
- factor authentication
- information leakage
- resource constrained
- public key
- data integrity
- electronic payment
- mutual authentication
- secure routing