Modelling Access Propagation in Dynamic Systems.

Thomas Leonard Martin Hall-May Mike Surridge

Published in: ACM Trans. Inf. Syst. Secur. (2013)

Keyphrases

dynamic systems
qualitative models
complex systems
qualitative reasoning
consistency based diagnosis
discrete event
dynamical systems
particle filter
state estimation
state variables
linear time invariant
denoising
access control