A Definition of Secure Dependencies Using the Logic of Security.
Pierre BieberFrédéric CuppensPublished in: CSFW (1991)
Keyphrases
- security requirements
- security issues
- security measures
- security level
- security mechanisms
- security management
- security properties
- sensitive data
- key management
- data encryption
- security model
- security services
- security protocols
- cryptographic protocols
- multi valued
- security analysis
- information security
- integrity verification
- authentication protocol
- stream cipher
- data security
- security architecture
- user authentication
- diffie hellman
- security patterns
- electronic voting
- key agreement
- encryption scheme
- authentication mechanism
- key agreement protocol
- identity management
- key exchange protocol
- digital signature scheme
- access control
- covert channel
- trusted computing
- previously mentioned
- digital rights management
- set theory
- smart card
- high security
- key exchange
- public key encryption
- private key
- modal logic
- mobile agent system
- provably secure
- key management scheme
- secure routing
- secure multiparty computation
- key establishment
- cloud computing
- public key cryptosystem
- network security
- security policies
- public key
- secret key
- standard model
- privacy preserving
- intrusion detection
- digital signature