Comparing the notions of opacity for discrete-event systems

Overview of discrete event systems opacity: Models, validation, and quantification

(2016) Romain Jacob et al.   ANNUAL REVIEWS IN CONTROL

Comparative analysis of related notions of opacity in centralized and coordinated architectures

(2012) Yi-Chin Wu et al.   DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS

Synthesis of opaque systems with static and dynamic masks

(2012) Franck Cassez et al.   FORMAL METHODS IN SYSTEM DESIGN

On a structural property in the state complexity of projected regular languages

(2012) Galina Jirásková et al.   THEORETICAL COMPUTER SCIENCE

Opacity of discrete event systems and its applications

(2011) Feng Lin   AUTOMATICA

Verification of Infinite-Step Opacity and Complexity Considerations

(2011) Anooshiravan Saboori et al.   IEEE TRANSACTIONS ON AUTOMATIC CONTROL

Verification of $K$-Step Opacity and Analysis of Its Complexity

(2011) Anooshiravan Saboori et al.   IEEE Transactions on Automation Science and Engineering

Descriptional and computational complexity of finite automata—A survey

(2010) Markus Holzer et al.   INFORMATION AND COMPUTATION

Opacity generalised to transition systems

(2008) Jeremy W. Bryans et al.   International Journal of Information Security