SOME THEORETICAL LINKS & REFERENCES

1. A. Bossi, R. Focardi, C. Piazza, and S. Rossi
   Verifying Persistent Security Properties
   Computer Languages, Systems and Structures, 2003. To appear.
   

2. R. Focardi, C. Piazza, and S. Rossi
   Proofs Methods for Bisimulation based Information Flow Security
   Proc. of the Third International Workshop on Verification, Model Checking and Abstract Interpretation, VMCAI 2002, LNCS 2294, pag. 16-31, Springer-Verlag, 2002.
   

3. R. Focardi and S. Rossi
   Information Flow Security in Dynamic Contexts
   Proc. of the 15th IEEE Computer Security Foundations Workshop, CSFW 2002, pag. 307-319, IEEE Computer Society Press, 2002.
   

4. R. Focardi and R. Gorrieri
   A Classification of Security Properties for Process Algebras.
   Journal of Computer Security, 3(1):5-33, 1994/1995.
   

5. J. A. Goguen and J. Meseguer
   Security Policies and Security Models
   Proc. of the IEEE Symposium on Security and Privacy (SSP'82), pag. 11-20. IEEE Computer Society Press, 2002.
   

SOFTWARE LINKS

Graphviz:

the free tool used by CoPS to draw the graph images

JRE:

the Java Runtime Environment is the runtime for run Java application