This paper deals with a problem related to the observability of discrete event systems: the initial-state opacity. Given a set of system states (the secret), a system observation is called initial-state opaque if an agent (named intruder), who can partially observe the system, cannot determine whether the set of initial states consistent with an event sequence is included in the secret. Such a character can describe security problems in cyber-infrastructures, such as Internet and mobile communication networks or national defense service systems. This work presents a novel on-line methodology to verify the notion of initial-state opacity of discrete event systems that are modeled by labeled Petri nets. By working on-line, the intruder records an event and exploits integer linear programming problem for checking the initial-state opacity of the system's evolution under the given observation. A set of examples are shown to shed light on the efficiency of the presented methodology.
Download full-text PDF |
Source |
|---|---|
| http://dx.doi.org/10.1016/j.isatra.2019.01.023 | DOI Listing |
Publication Analysis
Top Keywords
Similar Publications
Verification of initial-and-final-state opacity for unambiguous weighted automata.
ISA Trans
May 2024
The Institute of Mathematics, Czech Academy of Sciences, 115 67, Prague, Czech Republic. Electronic address:
Initial-and-final-state opacity (IFO) is a type of opacity that characterizes a system's ability to prevent the disclosure of information about whether its evolution starts at an initial state and ends at a final state. In this paper, we extend the notion of IFO from the logical automata to the framework of unambiguous weighted automata (UWAs) that do not contain any cycle composed solely of unobservable events. For the verification of IFO, we first construct a labeled observer and a trellis-based initial state estimator for a given UWA.
View Article and Find Full Text PDFOn-line verification of initial-state opacity by Petri nets and integer linear programming.
ISA Trans
October 2019
School of Electro-Mechanical Engineering, Xidian University No. 2 South Taibai Road, Xi'an 710071, China; Institute of Systems Engineering, Macau University of Science and Technology, Taipa, Macau. Electronic address:
This paper deals with a problem related to the observability of discrete event systems: the initial-state opacity. Given a set of system states (the secret), a system observation is called initial-state opaque if an agent (named intruder), who can partially observe the system, cannot determine whether the set of initial states consistent with an event sequence is included in the secret. Such a character can describe security problems in cyber-infrastructures, such as Internet and mobile communication networks or national defense service systems.
View Article and Find Full Text PDFMultistate and On-Demand Smart Windows.
Adv Mater
October 2018
Department of Materials Science and Engineering, University of Pennsylvania, 3231 Walnut Street, Philadelphia, PA, 19104, USA.
Composite films consisting of wrinkles on top of the elastomeric poly(dimethylsiloxane) film and a thin layer of silica particles embedded at the bottom is prepared as on-demand mechanoresponsive smart windows. By carefully varying the wrinkle geometry, silica particle size, and stretching strain, different initial optical states and a large degree of optical transmittance change in the visible to near infrared range with a relatively small strain (as small as 10%) is achieved. The 10% pre-strain sample has shallow wrinkles with a low amplitude and shows moderate transmittance (60.
View Article and Find Full Text PDFDeterministic Creation of Macroscopic Cat States.
Sci Rep
September 2015
Centre for Engineered Quantum Systems, Department of Physics and Astronomy, Macquarie University, Sydney, NSW 2109, Australia.
Despite current technological advances, observing quantum mechanical effects outside of the nanoscopic realm is extremely challenging. For this reason, the observation of such effects on larger scale systems is currently one of the most attractive goals in quantum science. Many experimental protocols have been proposed for both the creation and observation of quantum states on macroscopic scales, in particular, in the field of optomechanics.
View Article and Find Full Text PDFOpacity of electromagnetically induced transparency for quantum fluctuations.
Phys Rev Lett
January 2007
Instituto de Ciencias Físicas, Universidad Nacional Autónoma de México, Ap. Postal 48-3, 62251 Cuernavaca, Morelos, Mexico.
We analyze the propagation of a pair of quantized fields inside a medium of three-level atoms in a Lambda configuration. We calculate the stationary quadrature noise spectrum of the field, in the case where the probe field is in a squeezed state and the atoms show electromagnetically induced transparency. We find an oscillatory transfer of the initial quantum properties between the probe and pump fields which is most strongly pronounced when both fields have comparable intensities.
View Article and Find Full Text PDFWant AI Summaries of new PubMed Abstracts delivered to your In-box?
Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!