Shigeta Kuninobu

	2005
3		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		Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki: A Specification Language for Distributed Policy Control. ICICS 2002: 386-398
	2001
1		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

Coauthor Index

1	Katsuro Inoue	[1]
2	Masayuki Nakae	[2]
3	Naoya Nitta	[3]
4	Hiroyuki Seki	[1] [2] [3]
5	Daigo Taguchi	[2]
6	Yoshiaki Takata	[1] [2] [3]

Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page