Bridging language-based and process calculi security

DOI10.1007/978-3-540-31982-5_19MaRDI QIDQ5705885zbMATH OpenOpenAlexFDO

Authors Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld

Publication date 10 November 2005

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

Full work available at URL https://doi.org/10.1007/b106850

Mathematics Subject Classification ID

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

Recommendations

• Relating Process Languages for Security and Communication Correctness (Extended Abstract)
• Static Analysis
• Secure information flow as typed process behaviour
• A Declarative Framework for Security: Secure Concurrent Constraint Programming
• Language-based security: what's needed and why

Cited in

(8)

• Fibred security language
• Persistent stochastic non-interference
• Persistent stochastic non-interference
• Model-driven information flow security for component-based systems
• Timing-sensitive information flow analysis for synchronous systems
• Relating Process Languages for Security and Communication Correctness (Extended Abstract)
• A comparison of semantic models for noninterference
• Linearity and bisimulation

This page was built for publication: Bridging language-based and process calculi security

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