Purpose-based policy enforcement in actor-based systems

DOI10.1007/978-3-319-68972-2_13MaRDI QIDQ2093155zbMATH OpenOpenAlexFDO

Authors Shahrzad Riahi, Ramtin Khosravi, 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

actor-based systemsdata disclosureformal verificationprivacyRebeca

Mathematics Subject Classification ID

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

Recommendations

• Building access control policy model for privacy preserving and testing policy conflicting problems
• Constructing independently verifiable privacy-compliant type systems for message passing between black-box components
• A secrecy-preserving language for distributed and object-oriented systems
• scientific article; zbMATH DE number 1500477
• Datacentric semantics for verification of privacy policy compliance by mobile applications

Cited in

(1)

• Building access control policy model for privacy preserving and testing policy conflicting problems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2093155)