1. Abramsky, S., McCusker, G.: Game Semantics. In: Proceedings of the 1997 Marktoberdorf Summer School: Computational Logic, pp. 1–56. Springer (1998)
2. Barthe, G., D’Argenio, P.R., Rezk, T.: Secure information flow by self-composition. In: IEEE CSFW 2004, pp. 100–114. IEEE Computer Society Press (2004)
3. Clark, D., Hankin, C., Hunt, S.: Information flow for Alogol-like languages. Computer Languages 28(1), 3–28 (2002)
4. Denning, D.E.: Cryptography and Data Security. Addison-Wesley, Reading (1982)
5. Lecture Notes in Computer Science;A. Dimovski,2005