The Secret Art of Computer Programming

DOI10.1007/978-3-642-03466-4_3MaRDI QIDQ3393399zbMATH OpenOpenAlexFDO

Authors Annabelle McIver

Publication date 20 August 2009

Published in Theoretical Aspects of Computing - ICTAC 2009 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-03466-4_3

zbMATH Keywords

program semanticsproofs of securitycompositional securityrefinement of ignorance

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Authentication, digital signatures and secret sharing (94A62)

Cited in

(8)

• Compositional noninterference from first principles
• Abstractions of non-interference security: probabilistic versus possibilistic
• scientific article; zbMATH DE number 1033192 (Why is no real title available?)
• Program semantics and verification technique for AI-centred programs
• scientific article; zbMATH DE number 1693541 (Why is no real title available?)
• How to brew-up a refinement ordering
• The shadow knows: refinement and security in sequential programs
• Preserving Secrecy Under Refinement

This page was built for publication: The Secret Art of Computer Programming

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