scientific article; zbMATH DE number 2086504

zbMATH Open1057.68065MaRDI QIDQ4736985FDOQ4736985

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

Title of this publication is not available (Why is that?)

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

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)

Cited In (13)

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

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)