A new formal model for privilege control with supporting POSIX capability mechanism.

Qingguang Ji Sihan Qing Yeping He

Published in: Sci. China Ser. F Inf. Sci. (2005)

Keyphrases

formal model
control system
formal models
control theory
security properties
decision support
control strategy
data acquisition
security policies
real time
optimal control
selection mechanism
predicate calculus