Formal Enforcement of Security Policies on Parallel Systems with Risk Integration

DOI10.1007/978-3-319-18681-8_11MaRDI QIDQ2947076zbMATH OpenOpenAlexFDO

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

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)

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

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)