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

(13)

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

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)