1. P. Bieber and F. Cuppens. A Logical View of Secure Dependencies. Journal of Computer Security, 1(1):pp.99–129, 1992.
2. S. N. Freund and J. C. Mitchell. A type system for object initialization in the Java byte code language. In ACM Proceedings of OOPSLA 98, pp. 310–328, 1998.
3. P. Girard. Formalisation et mise en oeuvre d’une analyse statique de code en vue de la vérification d’applications sécurisées. Ph.D. thesis, ENSAE, 1996.
4. P. Girard. Which security policy for multi application smart cards? In USENIX workshop on smart card technology, 1999.
5. P. Girard, J.-L. Lanet. New Security Issues raised by Open Cards. In Information Security Technical Report, Vol4, No2, pp.: 19–27, 1999.