• Conference Object  

      Notions of security and opacity in discrete event systems 

      Saboori, A.; Hadjicostis, Christoforos N. (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 ...