Shigeta Kuninobu

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Publications

Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki
Policy Controlled System and Its Model Checking. IEICE Trans. Inf. Syst. (7) (2005)
Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki
A Specification Language for Distributed Policy Control. ICICS (2002)
Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue
An Efficient Information Flow Analysis of Recursive Programs Based on a Lattice Model of Security Classes. ICICS (2001)