Language-based Security and Time-inserting Supervisor
Cryptography and Security
2025-05-23 v1 Logic in Computer Science
Abstract
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.
Keywords
Cite
@article{arxiv.2505.16503,
title = {Language-based Security and Time-inserting Supervisor},
author = {Damas P. Gruska},
journal= {arXiv preprint arXiv:2505.16503},
year = {2025}
}