A Composition Algebra for Decentralized Enforcement of Access Control Policies with an Application to Vehicular Networks. - Peter Amthor 001; René Gorges (SECRYPT, 2024)