A Unifying logic encryption security metric.
Dominik SisejkovicRainer LeupersGerd AscheidSimon MetznerPublished in: SAMOS (2018)
Keyphrases
- security properties
- encryption algorithms
- encryption scheme
- key management
- encryption decryption
- data encryption
- high security
- encryption algorithm
- identity authentication
- security analysis
- security requirements
- elliptic curve cryptography
- digital rights management
- key exchange
- public key cryptography
- private key
- information security
- virtual private network
- security issues
- security protocols
- logic programming
- distance measure
- data confidentiality
- integrity verification
- cryptographic protocols
- stream cipher
- image encryption
- access control
- modal logic
- cryptographic algorithms
- diffie hellman
- security mechanisms
- statistical databases
- secret key
- mutual authentication
- public key infrastructure
- security policies
- third party
- distance metric
- intrusion detection
- advanced encryption standard
- security model
- wireless sensor networks
- metric space
- network communication
- secure communication
- authentication scheme
- data privacy
- data protection
- data security
- standard model
- digital signature