Dynamics Security Policies and Process Opacity for Timed Process Algebras

DOI10.1007/978-3-319-41579-6_12zbMath1461.68134OpenAlexW2492078535MaRDI QIDQ3179174

Damas Gruska

Publication date: 21 December 2016

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-41579-6_12

zbMATH Keywords

process algebrasinformation flowdynamic security policyprocess opacity

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computer security (68M25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• CCS expressions, finite state processes, and three problems of equivalence
• A simple framework for real-time cryptographic protocol analysis with compositional proof rules
• Process Algebra Contexts and Security Properties
• Process Opacity for Timed Process Algebra

This page was built for publication: Dynamics Security Policies and Process Opacity for Timed Process Algebras