Abstractions of non-interference security: probabilistic versus possibilistic

DOI10.1007/S00165-012-0237-4zbMATH Open1323.68212OpenAlexW2005567332MaRDI QIDQ2018754FDOQ2018754

Authors: Thai Son Hoang, Carroll Morgan, A. Sloane, E. Susatyo, Annabelle McIver, Larissa A. Meinicke 

Publication date: 25 March 2015

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-012-0237-4

Recommendations

• Compositional noninterference from first principles
• Security invariants in discrete transition systems
• Compositional closure for Bayes risk in probabilistic noninterference
• On quantitative analysis of probabilistic protocols
• Computational probabilistic non-interference

zbMATH Keywords

program semanticsprogram refinementnon-interference securityprobabilistic non-interference

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• A Mathematical Theory of Communication
• Title not available (Why is that?)
• Refinement Calculus
• The random oracle methodology, revisited.
• Title not available (Why is that?)
• Title not available (Why is that?)
• The B-Book
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• A theoretical basis for stepwise refinement and the programming calculus
• A proof system for information flow security
• The Shadow Knows: Refinement of Ignorance in Sequential Programs
• Computing the leakage of information-hiding systems
• Information theory and security: Quantitative information flow
• On the security of public key protocols
• A semantic approach to secure information flow
• The Thousand-and-One Cryptographers
• The Secret Art of Computer Programming
• Compositional refinement in agent-based security protocols
• The shadow knows: refinement and security in sequential programs
• Title not available (Why is that?)
• Private information retrieval
• Title not available (Why is that?)
• Preservation of probabilistic information flow under refinement
• Compositional closure for Bayes risk in probabilistic noninterference
• Title not available (Why is that?)
• Computational probabilistic non-interference
• Hidden-Markov program algebra with iteration

Cited In (7)

• Abstract non-interference
• Compositional closure for Bayes risk in probabilistic noninterference
• Compositional noninterference from first principles
• Characterizing intransitive noninterference for 3-domain security policies with observability
• The shadow knows: refinement and security in sequential programs
• Security invariants in discrete transition systems
• Virtual Grey-Boxes Beyond Obfuscation: A Statistical Security Notion for Cryptographic Agents

Uses Software

• ProVerif
• Rodin

This page was built for publication: Abstractions of non-interference security: probabilistic versus possibilistic

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