Shigeta Kuninobu

According to our database, Shigeta Kuninobu authored at least 3 papers between 2001 and 2005.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2005

Policy Controlled System and Its Model Checking.

Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki

IEICE Trans. Inf. Syst., 2005

2002

A Specification Language for Distributed Policy Control.

Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki

Proceedings of the Information and Communications Security, 4th International Conference, 2002

2001

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

Shigeta Kuninobu, Yoshiaki Takata, Hiroyuki Seki, Katsuro Inoue

Proceedings of the Information and Communications Security, Third International Conference, 2001