Abstractions of non-interference security: probabilistic versus possibilistic
type: Item
instance of: scholarly article
title: Abstractions of non-interference security: probabilistic versus possibilistic
zbMATH Open document ID: 1323.68212
author: Thai Son Hoang
author: Carroll Morgan
author: A. Sloane
author: E. Susatyo
author: Annabelle McIver
author: Larissa A. Meinicke
published in: Formal Aspects of Computing
publication date: 2015-03-25T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q87
zbMATH DE Number: 6419442
zbMATH Keywords: non-interference security
zbMATH Keywords: probabilistic non-interference
zbMATH Keywords: program semantics
zbMATH Keywords: program refinement
describes a project that uses: Rodin
describes a project that uses: ProVerif
MaRDI profile type: Publication
full work available at URL: s00165-012-0237-4
OpenAlex ID: W2005567332
cites work: The B-Book
cites work: Computing the Leakage of Information-Hiding Systems
cites work: Q4536407
cites work: Q4035733
cites work: A Proof System for Information Flow Security
cites work: Computational Probabilistic Non-interference
cites work: Refinement Calculus
cites work: On the security of public key protocols
cites work: Private information retrieval
cites work: The dining cryptographers problem: Unconditional sender and recipient untraceability
cites work: Q4279565
cites work: Q4418784
cites work: Q3744955
cites work: Information Theory and Security: Quantitative Information Flow
cites work: A semantic approach to secure information flow
cites work: The Secret Art of Computer Programming
cites work: The Thousand-and-One Cryptographers
cites work: Compositional refinement in agent-based security protocols
cites work: Compositional Closure for Bayes Risk in Probabilistic Noninterference
cites work: Hidden-Markov program algebra with iteration
cites work: A theoretical basis for stepwise refinement and the programming calculus
cites work: Q4301161
cites work: The Shadow Knows: Refinement of Ignorance in Sequential Programs
cites work: The shadow knows: refinement and security in sequential programs
cites work: The random oracle methodology, revisited
cites work: Preservation of probabilistic information flow under refinement
cites work: A Mathematical Theory of Communication
DOI: 10.1007/S00165-012-0237-4
description: scientific article; zbMATH DE number 6419442