Classification of Security Properties (Part I: Information Flow)

  title={Classification of Security Properties (Part I: Information Flow)},
  author={Riccardo Focardi and Roberto Gorrieri},
In the recent years, many formalizations of security properties have been proposed, most of which are based on different underlying models and are consequently difficult to compare. A classification of security properties is thus of interest for understanding the relationships among different definitions and for evaluating the relative merits. In this paper, many non-interference-like properties proposed for computer security are classified and compared in a unifying framework. The resulting… CONTINUE READING
Highly Influential
This paper has highly influenced 31 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 249 citations. REVIEW CITATIONS
144 Citations
61 References
Similar Papers


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

250 Citations

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

See our FAQ for additional information.


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

A Classification of Security Properties for Process Algebras

  • R. Focardi, R. Gorrieri
  • Journal of Computer Security,
  • 1995
Highly Influential
8 Excerpts

Similar Papers

Loading similar papers…