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

compositional securityprogram semanticsproofs of securityrefinement of ignorance

Mathematics Subject Classification ID

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

Cited in

(10)

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

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)