Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security.
Andreas FuchsSigrid GürgensCarsten RudolphPublished in: Inf. Media Technol. (2011)
Keyphrases
- information security
- access control
- security properties
- trust management
- security services
- formal model
- trust relationships
- policy enforcement
- information leakage
- data confidentiality
- trusted computing
- security issues
- usage control
- data security
- trust negotiation
- security policies
- privacy concerns
- computer security
- dynamic aspects
- security mechanisms
- security requirements
- trust evaluation
- public key infrastructure
- intrusion detection
- formal methods
- trust model
- network security
- spatial reasoning
- data quality
- model theoretic
- security protocols
- statistical databases
- security management
- formal theory
- data integrity
- security analysis