A Sound Type System for Secure Flow Analysis

  title={A Sound Type System for Secure Flow Analysis},
  author={Dennis M. Volpano and Cynthia E. Irvine and Geoffrey Smith},
  journal={Journal of Computer Security},
Ensuring secure information ow within programs in the context of multiple sensitivity levels has been widely studied. Especially noteworthy is Denning's work in secure ow analysis and the lattice model [6][7]. Until now, however, the soundness of Denning's analysis has not been established satisfactorily. We formulate Denning's approach as a type system and present a notion of soundness for the system that can be viewed as a form of noninterference. Soundness is established by proving, with… CONTINUE READING
Highly Influential
This paper has highly influenced 80 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 1,203 citations. REVIEW CITATIONS
739 Citations
21 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 739 extracted citations

1,203 Citations

Citations per Year
Semantic Scholar estimates that this publication has 1,203 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 21 references

Preliminary Design of the Programming Language Forsythe

  • J. Reynolds
  • Carnegie Mellon University Technical Report CMU…
  • 1988
Highly Influential
3 Excerpts

Secure Computer System: Mathematical Foundations and Model

  • D. Bell, L. LaPadula
  • MITRE Corp. Technical Report M74-244
  • 1973
Highly Influential
3 Excerpts


  • J. Palsberg
  • rb k, \Trust in the -calculus", in Proceedings of…
  • 1995
2 Excerpts

A Simpli ed Account of Polymorphic References

  • R. Harper
  • Information Processing Letters 51,
  • 1994
1 Excerpt


  • J. Banâtre, C. Bryce
  • Le M etayer, \Compile-time Detection of…
  • 1994
3 Excerpts

Similar Papers

Loading similar papers…