Formal Enforcement of Security Policies on Parallel Systems with Risk Integration

DOI10.1007/978-3-319-18681-8_11zbMATH Open1329.68100OpenAlexW785500667MaRDI QIDQ2947076FDOQ2947076

Authors: Marwa Ziadia, Mohamed Mejri 

Publication date: 21 September 2015

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-18681-8_11

Recommendations

• Formal enforcement of security policies on concurrent systems
• Dealing with multi-policy security in large open distributed systems
• The enforcement of security policies for computation
• Formal specification and validation of security policies

zbMATH Keywords

riskprocess algebraenforcementsecurity policymobile security

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• A brief history of process algebra
• Formal enforcement of security policies on concurrent systems

Cited In (4)

• Software Model Checking for Mobile Security – Collusion Detection in $$\mathbb {K}$$K
• Process expression of security automaton
• Formal enforcement of security policies on concurrent systems
• LoPSiL: A location-based policy-specification language

This page was built for publication: Formal Enforcement of Security Policies on Parallel Systems with Risk Integration

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