Verifying weak and strong k-step opacity in discrete-event systems
Jiří Balun, Tomáš Masopust
Topics & Concepts
OpacityAlgorithmObserver (physics)Property (philosophy)State (computer science)ObservableMathematicsComputer sciencePhysicsOpticsQuantum mechanicsEpistemologyPhilosophyDistributed systems and fault tolerancePetri Nets in System ModelingSecurity and Verification in Computing