A Simple Mechanism for Type Security Across Compilation Units.

Michael L. Scott Raphael A. Finkel

Published in: IEEE Trans. Software Eng. (1988)

Keyphrases

security problems
computational model
security systems
data sets
information security
statistical databases
information assurance