Cargando…
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”....
| Autores principales: | , , , |
|---|---|
| Formato: | Online Artículo Texto |
| Lenguaje: | English |
| Publicado: |
SAGE Publications
2022
|
| Materias: | |
| 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 |