Can you trust your data

Publisher Website

1 January 1995

book chapter
Published by Springer Nature

p. 575-589
https://doi.org/10.1007/3-540-59293-8_221

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Polymorphic binding-time analysis
Published by Springer Nature ,1994
Certification of programs for secure information flow
Communications of the ACM, 1977
Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints
Published by Association for Computing Machinery (ACM) ,1977
A lattice model of secure information flow
Communications of the ACM, 1976