A Sound Type System for Secure Flow Analysis.

Dennis M. Volpano Cynthia E. Irvine Geoffrey Smith

Published in: J. Comput. Secur. (1996)

Keyphrases

flow analysis
information flow
forensic analysis
computer systems
security issues
standard model