Proceedings paper

Title:
Dynamic Security Specification Through Autonomic Component Ensembles
Authors:
Publication:
Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems
Year:
2018
ISBN:
978-3-030-03424-5

Abstract:
One of the key properties of autonomic component systems is their dynamicity and context-dependence of their behavior. In contrast to systems with a static architecture, their components interact and collaborate in an ad-hoc fashion depending on their internal state and location, the state of other components and their locations, timing and history of events/state of external (uncontrolled) environment. This high degree of dynamicity collides with traditional approaches to security, which typically rely on static hierarchies of roles and a static assignment of roles. To address this problem, we formulate security rules which are autonomically composable and context-dependent; in their evolution, they follow the dynamicity and context-dependence of the autonomic components. Based on our previous work with autonomic component ensembles, we show how ensembles can be exploited to define security rules to control interactions in a system of autonomic components.

BibTeX:
@inproceedings{alali_dynamic_2018,
    title = {{Dynamic Security Specification Through Autonomic Component Ensembles}},
    author = {Al-Ali, Rima and Bures, Tomas and Hnetynka, Petr and Krijt, Filip and Plasil, Frantisek and Vinarek, Jiri},
    year = {2018},
    booktitle = {{Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems}},
    editor = {Margaria, Tiziana and Steffen, Bernhard},
    publisher = {Springer International Publishing},
    series = {{Lecture Notes in Computer Science}},
    isbn = {978-3-030-03424-5},
    pages = {172--185},
}