Browsing by Subject "Last k observations"
Now showing items 1-1 of 1
-
Conference Object
Notions of security and opacity in discrete event systems
(2007)In this paper, we follow a state-based approach to extend the notion of opacity in computer security to discrete event systems. A system is (S, P)-opaque if the evolution of its true state through a set of secret states S ...