Can you trust your data

DOI10.1007/3-540-59293-8_221zbMath1496.68114OpenAlexW1507045691MaRDI QIDQ5096755

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)

Cites Work

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

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