Strong current-state and initial-state opacity of discrete-event systems
Xiaoguang Han, Kuize Zhang, Jiahui Zhang, Zhiwu Li, Zengqiang Chen
Topics & Concepts
OpacityUnobservableState (computer science)AutomatonNondeterministic algorithmCurrent (fluid)Nondeterministic finite automatonObservableEvent (particle physics)ObservabilityComputer scienceMathematicsAlgorithmTheoretical computer sciencePhysicsApplied mathematicsAutomata theoryQuantum mechanicsThermodynamicsEconometricsPetri Nets in System ModelingSecurity and Verification in ComputingFormal Methods in Verification