Formal Notions of Trust and Confidentiality- Enabling Reasoning about System Security.
Andreas FuchsSigrid GürgensCarsten RudolphPublished in: J. Inf. Process. (2011)
Keyphrases
- access control
- information security
- security properties
- formal model
- trust management
- security services
- information leakage
- trust relationships
- formal methods
- policy enforcement
- public key infrastructure
- trusted computing
- security policies
- trust negotiation
- security issues
- trust model
- data confidentiality
- network security
- computer security
- security protocols
- formal theory
- usage control
- intrusion detection
- data security
- security mechanisms
- spatial reasoning
- trust evaluation
- privacy concerns
- dynamic aspects
- access control systems
- digital signature
- sensitive data
- electronic transactions
- automated trust negotiation