Publication | Closed Access
A sound type system for secure flow analysis
958
Citations
15
References
1996
Year
EngineeringInformation SecuritySecurity EvaluationSecure Flow AnalysisSoftware AnalysisFormal VerificationHardware SecuritySystems EngineeringSecure Information FlowSecure ComputingSecure By DesignMultiple Sensitivity LevelsComputer ScienceLanguage-based SecurityData SecurityCryptographySoftware SecurityProgram AnalysisFormal MethodsSecuritySound Type SystemSystem SoftwareComputer Security Model
Ensuring secure information flow within programs in the context of multiple sensitivity levels has been widely studied. Especially noteworthy is Denning's work in secure flow analysis and the lattice model [6,7]. Until now, however, the soundness of
| Year | Citations | |
|---|---|---|
Page 1
Page 1