1. Appel, A.W., Felty, A.P.: A semantic model of types and machine instuctions for proof-carrying code. In: Proceedings of POPL’00, pp. 243–253. ACM Press, New York (2000)
2. Lecture Notes in Computer Science;B.E. Aydemir,2005
3. Banerjee, A., Naumann, D.: Stack-based access control for secure information flow. Journal of Functional Programming 15, 131–177 (2005)
4. Barthe, G., Naumann, D., Rezk, T.: Deriving an Information Flow Checker and Certifying Compiler for Java. In: Symposium on Security and Privacy, 2006, IEEE Computer Society Press, Los Alamitos (2006)
5. Barthe, G., Pichardie, D., Rezk, T.: Non-interference for low level languages. Technical report, INRIA (2006),
http://hal.inria.fr/inria-00106182