Concepedia

A sound type system for secure flow analysis

VolpanoDennis, IrvineCynthia, SmithGeoffrey

Journal of Computer Security · 1996 · 144 citations · 0 references

Concepts

ComputingComputer EngineeringComputer ScienceComputer SecurityFormal MethodsProgramming LanguagesControl-flow AnalysisData-flow AnalysisSoftware Security EngineeringType CheckingFlow SensitivityLattice ModelsSecure Information FlowSensitivity