Authors:
Peter Amthor
1
and
René Gorges
2
Affiliations:
1
Technische Universität Ilmenau, Ilmenau, Germany
;
2
Friedrich Schiller University Jena, Jena, Germany
Keyword(s):
Security Policy, Composition, Access Control, ABAC, Boolean Algebra, Vehicular Network, Smart Vehicles.
Abstract:
Highly volatile and open distributed systems typically incorporate a significant amount of secure interactions between autonomous agents. This is especially true for vehicular networks, where smart or autonomous vehicles rely on information shared with each other or traffic infrastructure. However, controlling such decentralized interaction with respect to security restrictions requires a common definition of a temporary composite policy. As a first step towards this goal, this paper presents ACCA, a lightweight extension of Boolean algebra which allows to precisely specify how access control policies should be composed. It enables to build vehicular network systems that retain independence and autonomy of their participants while reducing the amount of communication about policy knowledge. An implementation of a simulation prototype of ACCA serves as a first, promising step towards tailoring the compositional semantics to specific use cases.