An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes. - Shigeta Kuninobu; Yoshiaki Takata; Hiroyuki Seki; Katsuro Inoue (ICICS, 2001)

A Specification Language for Distributed Policy Control. - Shigeta Kuninobu; Yoshiaki Takata; Daigo Taguchi; Masayuki Nakae; Hiroyuki Seki (ICICS, 2002)

Policy Controlled System and Its Model Checking. - Shigeta Kuninobu; Yoshiaki Takata; Naoya Nitta; Hiroyuki Seki (IEICE Trans. Inf. Syst., 2005)