Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets

This work deals with the language-based opacity verification and enforcement problems in discrete event systems modeled with labeled Petri nets. Opacity is a security property that relates to privacy protection by hiding secret information of a system from an external observer called an “intruder”....

Descripción completa

Detalles Bibliográficos
Autores principales: Habbachi, Salwa, Li, Zhiwu, Wu, Naiqi, Khalgui, Mohamed
Formato: Online Artículo Texto
Lenguaje:English
Publicado: SAGE Publications 2022
Materias:
Original Manuscript
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10450281/
https://www.ncbi.nlm.nih.gov/pubmed/35196198
http://dx.doi.org/10.1177/00368504221075466

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC10450281/
https://www.ncbi.nlm.nih.gov/pubmed/35196198
http://dx.doi.org/10.1177/00368504221075466

Ejemplares similares