Can you trust your data?

DOI10.1007/3-540-59293-8_221MaRDI QIDQ5096755zbMATH OpenOpenAlexFDO

Authors Peter Ørbæk

Publication date 18 August 2022

Published in TAPSOFT '95: Theory and Practice of Software Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-59293-8_221

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1476489
• Verification, Model Checking, and Abstract Interpretation
• Trust in the λ-calculus
• Information-flow and data-flow analysis of while-programs
• scientific article; zbMATH DE number 1324833

Cites work

• A lattice model of secure information flow
• Certification of programs for secure information flow

Cited in

(2)

• scientific article; zbMATH DE number 1476489 (Why is no real title available?)
• Abstract semantic dependency

This page was built for publication: Can you trust your data?

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