Language-based Security and Time-inserting Supervisor
Fuente:
arXiv
Guardado en:
| Autor principal: | |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866909619859750912 |
|---|---|
| author | Gruska, Damas P. |
| author_facet | Gruska, Damas P. |
| contents | Algebraic methods are employed in order to define language-based security properties of processes. A supervisor is introduced that can disable unwanted behavior of an insecure process by controlling some of its actions or by inserting timed actions to make an insecure process secure. We assume a situation where neither the supervisor nor the attacker has complete information about the ongoing systems behavior. We study the conditions under which such a supervisor exists, as well as its properties and limitations. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_16503 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Language-based Security and Time-inserting Supervisor Gruska, Damas P. Cryptography and Security Logic in Computer Science Algebraic methods are employed in order to define language-based security properties of processes. A supervisor is introduced that can disable unwanted behavior of an insecure process by controlling some of its actions or by inserting timed actions to make an insecure process secure. We assume a situation where neither the supervisor nor the attacker has complete information about the ongoing systems behavior. We study the conditions under which such a supervisor exists, as well as its properties and limitations. |
| title | Language-based Security and Time-inserting Supervisor |
| topic | Cryptography and Security Logic in Computer Science |
| url | https://arxiv.org/abs/2505.16503 |