相关参考文献
注意:仅列出部分参考文献,下载原文获取全部文献信息。A general language-based framework for specifying and verifying notions of opacity
Andrew Wintenberg et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2022)
On Verification of Weak and Strong k-Step Opacity for Discrete-Event Systems
Jiri Balun et al.
IFAC PAPERSONLINE (2022)
Verification and enforcement of strong infinite- and k-step opacity using state recognizers
Ziyue Ma et al.
AUTOMATICA (2021)
Comparing the notions of opacity for discrete-event systems
Jiri Balun et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2021)
Comments on A new approach for the verification of infinite-step and K -step opacity using two-way observers[Automatica 80 (2017) 162-171]
Hao Lan et al.
AUTOMATICA (2020)
A new approach for the verification of infinite-step and K-step opacity using two-way observers
Xiang Yin et al.
AUTOMATICA (2017)
Overview of discrete event systems opacity: Models, validation, and quantification
Romain Jacob et al.
ANNUAL REVIEWS IN CONTROL (2016)
Enforcement and validation (at runtime) of various notions of opacity
Ylies Falcone et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2015)
Verification of Infinite-Step Opacity and Complexity Considerations
Anooshiravan Saboori et al.
IEEE TRANSACTIONS ON AUTOMATIC CONTROL (2012)
On a structural property in the state complexity of projected regular languages
Galina Jiraskova et al.
THEORETICAL COMPUTER SCIENCE (2012)
Opacity of discrete event systems and its applications
Feng Lin
AUTOMATICA (2011)
Verification of K-Step Opacity and Analysis of Its Complexity
Anooshiravan Saboori et al.
IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING (2011)
Opacity generalised to transition systems
Jeremy W. Bryans et al.
INTERNATIONAL JOURNAL OF INFORMATION SECURITY (2008)
Concurrent secrets
E. Badouel et al.
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS (2007)
Modelling Opacity Using Petri Nets
Jeremy W. Bryans et al.
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE (2005)