On the history of diagnosability and opacity in discrete event systems
This paper presents historical remarks on key projects and papers that led to the
development of a theory of event diagnosis for discrete event systems modeled by finite …
development of a theory of event diagnosis for discrete event systems modeled by finite …
A classification of cybersecurity strategies in the context of Discrete Event Systems
In recent years, cybersecurity has received increasing attention due to the demand from a
large class of networked systems for resilience against cyberattacks that may compromise …
large class of networked systems for resilience against cyberattacks that may compromise …
On the verification of intransitive noninterference in mulitlevel security
NB Hadj-Alouane, S Lafrance, F Lin… - … on Systems, Man …, 2005 - ieeexplore.ieee.org
We propose an algorithmic approach to the problem of verification of the property of
intransitive noninterference (INI), using tools and concepts of discrete event systems (DES) …
intransitive noninterference (INI), using tools and concepts of discrete event systems (DES) …
Non-interference control synthesis for security timed automata
In this paper, the problem of synthesizing controllers that ensures non interference for
multilevel security dense timed discrete event systems modeled by an extension of Timed …
multilevel security dense timed discrete event systems modeled by an extension of Timed …
Control and synthesis of non-interferent timed systems
We focus on the control and the synthesis of secure timed systems which are modelled as
timed automata. The security property that the system must satisfy is a non-interference …
timed automata. The security property that the system must satisfy is a non-interference …
Opacity with orwellian observers and intransitive non-interference
Opacity is a general behavioural security scheme flexible enough to account for several
specific properties. Some secret set of behaviors of a system is opaque if a passive attacker …
specific properties. Some secret set of behaviors of a system is opaque if a passive attacker …
A framework for current-state opacity under dynamic information release mechanism
Opacity is an important information-flow security property that characterizes the plausible
deniability of a dynamic system for its “secret” against eavesdropping attacks. As an …
deniability of a dynamic system for its “secret” against eavesdropping attacks. As an …
Non-interference assessment in colored net systems via integer linear programming
W Zhong, J Zhao, H Hu - Information Sciences, 2024 - Elsevier
Event-related information leaks are a potential security hazard in information systems. Non-
interference is a security property to describe event-related information security. Non …
interference is a security property to describe event-related information security. Non …
[PDF][PDF] Estimation and verification of partially-observed discrete-event systems
X Yin - arXiv preprint arXiv:1903.11413, 2019 - arxiv.org
arXiv:1903.11413v1 [cs.SY] 27 Mar 2019 Page 1 Encyclopedia of Electrical and Electronics
Engineering Estimation and Verification of Partially-Observed Discrete-Event Systems Xiang Yin …
Engineering Estimation and Verification of Partially-Observed Discrete-Event Systems Xiang Yin …
Control of fuzzy discrete event systems and its applications to clinical treatment planning
In this paper, we further develop a modeling and control approach to fuzzy discrete event
systems that we initially proposed in Lin, F. and H. Ying,(2001),(2002). We first investigate …
systems that we initially proposed in Lin, F. and H. Ying,(2001),(2002). We first investigate …