An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes.

Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue

Browse the full ICICS paper archive.