A Proof System for Information Flow Security
From MaRDI portal
Publication:3079920
DOI10.1007/3-540-45013-0_16zbMath1278.68158OpenAlexW1522409694WikidataQ62045718 ScholiaQ62045718MaRDI QIDQ3079920
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
Data encryption (aspects in computer science) (68P25) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Rule formats for compositional non-interference properties ⋮ Verifying persistent security properties ⋮ Information flow in systems with schedulers. II: Refinement ⋮ Architectural refinement and notions of intransitive noninterference ⋮ Compositional refinement in agent-based security protocols ⋮ The shadow knows: refinement and security in sequential programs ⋮ Persistent Stochastic Non-Interference ⋮ On Refinement-Closed Security Properties and Nondeterministic Compositions ⋮ Abstractions of non-interference security: probabilistic versus possibilistic ⋮ \textit{D\_PSNI}: delimited persistent stochastic non-interference ⋮ Action Refinement in Process Algebra and Security Issues
This page was built for publication: A Proof System for Information Flow Security
