Purpose-based policy enforcement in actor-based systems

DOI10.1007/978-3-319-68972-2_13zbMath1498.68192OpenAlexW2760886584MaRDI QIDQ2093155

Ramtin Khosravi, Shahrzad Riahi, Fatemeh Ghassemi

Publication date: 4 November 2022

Full work available at URL: https://doi.org/10.1007/978-3-319-68972-2_13

zbMATH Keywords

formal verificationprivacyRebecaactor-based systemsdata disclosure

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Privacy of data (68P27)

This page was built for publication: Purpose-based policy enforcement in actor-based systems