scientific article; zbMATH DE number 2086504

MaRDI QIDQ4736985zbMATH OpenFDO

Authors Riccardo Focardi, Carla Piazza, Sabina Rossi

Publication date 11 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2294/22940016.htm

Mathematics Subject Classification ID

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

• A proof system for information flow security
• Transforming processes to check and ensure information flow security
• Information flow security and recursive systems.
• Probabilistic information flow security in dynamic context
• Verifying persistent security properties

Cited in

(14)

• How to simulate it in Isabelle: towards formal proof for secure multi-party computation
• Verifying persistent security properties
• Transforming processes to check and ensure information flow security
• A proof system for information flow security
• Probabilistic information flow security in dynamic context
• Information flow in systems with schedulers. II: Refinement
• scientific article; zbMATH DE number 1953033 (Why is no real title available?)
• A monadic analysis of information flow security with mutable state
• Tools and Algorithms for the Construction and Analysis of Systems
• Foundations of Software Science and Computation Structures
• Information flow security and recursive systems.
• Perspectives of System Informatics
• Branching bisimulation semantics enables noninterference analysis of reversible systems
• Noninterference analysis of reversible systems: an approach based on branching bisimilarity

This page was built for publication:

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