Cargando…
Current-state opacity verification in discrete event systems using an observer net
Due to the proliferation of contemporary computer-integrated systems and communication networks, there is more concern than ever regarding privacy, given the potential for sensitive data exploitation. A recent cyber-security research trend is to focus on security principles and develop the foundatio...
Autores principales: | Labed, Abdeldjalil, Saadaoui, Ikram, Wu, Naiqi, Yu, Jiaxin, Li, Zhiwu |
---|---|
Formato: | Online Artículo Texto |
Lenguaje: | English |
Publicado: |
Nature Publishing Group UK
2022
|
Materias: | |
Acceso en línea: | https://www.ncbi.nlm.nih.gov/pmc/articles/PMC9751143/ https://www.ncbi.nlm.nih.gov/pubmed/36517648 http://dx.doi.org/10.1038/s41598-022-25697-y |
Ejemplares similares
-
Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets
por: Habbachi, Salwa, et al.
Publicado: (2022) -
Control of Discrete-Event Systems: Automata and Petri Net Perspectives
por: Seatzu, Carla, et al.
Publicado: (2013) -
Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems
por: Cheng, Lihong, et al.
Publicado: (2021) -
Selection of a stealthy and harmful attack function in discrete event systems
por: Zhang, Qi, et al.
Publicado: (2022) -
The OPACS expert system
por: Lagache, J C
Publicado: (1990)