| 2005 |
|---|
| 3 | EE | Shigeta Kuninobu,
Yoshiaki Takata,
Naoya Nitta,
Hiroyuki Seki:
Policy Controlled System and Its Model Checking.
IEICE Transactions 88-D(7): 1685-1696 (2005) |
| 2002 |
|---|
| 2 | EE | Shigeta Kuninobu,
Yoshiaki Takata,
Daigo Taguchi,
Masayuki Nakae,
Hiroyuki Seki:
A Specification Language for Distributed Policy Control.
ICICS 2002: 386-398 |
| 2001 |
|---|
| 1 | EE | 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: 292-303 |
