A proof system for information flow security

DOI10.1007/3-540-45013-0_16MaRDI QIDQ3079920zbMATH OpenOpenAlexWikidataFDO

Authors Annalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi

Publication date 4 March 2011

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45013-0_16

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2086504
• Information flow security and recursive systems.
• Transforming processes to check and ensure information flow security
• Probabilistic information flow security in dynamic context
• Verifying persistent security properties

Cited in

(22)

• Information flow security and recursive systems.
• Information flow certificates
• Unwinding biological systems
• A Logical System for Modular Information Flow Verification
• Compositional refinement in agent-based security protocols
• The shadow knows: refinement and security in sequential programs
• Transforming processes to check and ensure information flow security
• A Policy Model for Secure Information Flow
• CoSMed: a confidentiality-verified social media platform
• Verifying persistent security properties
• Probabilistic information flow security in dynamic context
• Persistent stochastic non-interference
• \textit{D\_PSNI}: delimited persistent stochastic non-interference
• Rule formats for compositional non-interference properties
• On refinement-closed security properties and nondeterministic compositions
• Architectural refinement and notions of intransitive noninterference
• Abstractions of non-interference security: probabilistic versus possibilistic
• scientific article; zbMATH DE number 1953033 (Why is no real title available?)
• scientific article; zbMATH DE number 2086504 (Why is no real title available?)
• Information flow in systems with schedulers. II: Refinement
• Flow logic for Dolev–Yao secrecy in cryptographic processes
• Action Refinement in Process Algebra and Security Issues

This page was built for publication: A proof system for information flow security

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