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...

Descripción completa

Detalles Bibliográficos
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:
Article
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

Internet

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