How to brew-up a refinement ordering

DOI10.1016/J.ENTCS.2009.12.021MaRDI QIDQ2994493zbMATH OpenOpenAlexFDO

Authors Carroll Morgan

Publication date 1 August 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2009.12.021

zbMATH Keywords

full abstractionrefinementsecuritynon-interferencecompositionalityignorancerefinement paradoxshadow semantics

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Compositional noninterference from first principles
• The Secret Art of Computer Programming
• The shadow knows: refinement and security in sequential programs
• Refinement
• General refinement. II: Flexible refinement

Cites work

• scientific article; zbMATH DE number 3936465 (Why is no real title available?)
• scientific article; zbMATH DE number 52898 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 605806 (Why is no real title available?)
• scientific article; zbMATH DE number 3302923 (Why is no real title available?)
• Abstraction, Refinement and Proof for Probabilistic Systems
• An axiomatic basis for computer programming
• Communicating Sequential Processes. The First 25 Years
• Power domains
• Probabilistic models for the guarded command language
• The B-Book
• The Secret Art of Computer Programming
• The Shadow Knows: Refinement of Ignorance in Sequential Programs
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• The shadow knows: refinement and security in sequential programs

Cited in

(1)

• Compositional noninterference from first principles

This page was built for publication: How to brew-up a refinement ordering

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