An Efficient Information Flow Analysis of Recursive Programs based on a Lattice Model of Security Classes
Authors
Shigeta Kuninobu
Yoshiaki Takata
Hiroyuki Seki
Katsuro Inoue
Reference
Proceedings of Third Internatinal Conference on Information and Communications Security (ICICS 2001), Lecture Notes in Computer Science 2229, pp.292-303,Xian, China, Nov. 2001.