@inproceedings{sel358,
    author = {Shigeta Kuninobu and Yoshiaki Takata and Hiroyuki Seki and Katsuro Inoue},
    title = {{An Efficient Information Flow Analysis of Recursive Programs based on a Lattice Model of Security Classes}},
    booktitle = {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.},
    year = 2001,
    month = nov,
}