The Secret Art of Computer Programming
From MaRDI portal
Publication:3393399
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)