An Efficient Information Flow Analysis of Recursive Programs based on a Lattice Model of Security Classes
著者
Shigeta Kuninobu
Yoshiaki Takata
Hiroyuki Seki
Katsuro Inoue
文献
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.