Formal Security Definition of Metadata-Private Messaging.
Shengtong ZhangArvid LunnemarkSualeh AsifPublished in: IACR Cryptol. ePrint Arch. (2022)
Keyphrases
- metadata
- digital libraries
- information security
- operational semantics
- learning objects
- access control
- security requirements
- security issues
- fault tolerant
- security policies
- databases
- multimedia
- functional requirements
- formal methods
- dublin core
- metadata management
- formal specification
- statistical databases
- privacy preserving
- model theoretic
- e learning
- security level
- user privacy
- private data
- security mechanisms
- biometric systems
- learning resources
- intrusion detection
- information systems