A Composition Algebra for Decentralized Enforcement of Access Control Policies with an Application to Vehicular Networks

Peter Amthor, René Gorges

2024

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.

Paper Citation

in Harvard Style

Amthor P. and Gorges R. (2024). A Composition Algebra for Decentralized Enforcement of Access Control Policies with an Application to Vehicular Networks. In Proceedings of the 21st International Conference on Security and Cryptography - Volume 1: SECRYPT; ISBN 978-989-758-709-2, SciTePress, pages 78-90. DOI: 10.5220/0012758900003767

in Bibtex Style

@conference{secrypt24,
author={Peter Amthor and René Gorges},
title={A Composition Algebra for Decentralized Enforcement of Access Control Policies with an Application to Vehicular Networks},
booktitle={Proceedings of the 21st International Conference on Security and Cryptography - Volume 1: SECRYPT},
year={2024},
pages={78-90},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012758900003767},
isbn={978-989-758-709-2},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 21st International Conference on Security and Cryptography - Volume 1: SECRYPT
TI - A Composition Algebra for Decentralized Enforcement of Access Control Policies with an Application to Vehicular Networks
SN - 978-989-758-709-2
AU - Amthor P.
AU - Gorges R.
PY - 2024
SP - 78
EP - 90
DO - 10.5220/0012758900003767
PB - SciTePress