A framework for current-state opacity under dynamic information release mechanism
Junyao Hou, Xiang Yin, Shaoyuan Li
Topics & Concepts
OpacityPrefixProperty (philosophy)Theoretical computer scienceComputer scienceInformation flowAlgorithmObserver (physics)Equivalence (formal languages)MathematicsDiscrete mathematicsPhilosophyLinguisticsQuantum mechanicsPhysicsOpticsEpistemologyPetri Nets in System ModelingSecurity and Verification in ComputingDistributed systems and fault tolerance