Two Dimensional Labelled Security Model with Partially Trusted Subjects and Its Enforcement Using SELinux DTE Mechanism.

Jaroslav Janácek

Published in: NDT (1) (2010)

Keyphrases

security model
access control
public key
security requirements
security analysis
fine grained
designated verifier
case study
provably secure
real time
low cost
software systems
distributed environment