![]() |
Ask others: ACM DL/Guide -
- CSB - MetaPress - Google - Bing - Yahoo
| 3 | Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki: Policy Controlled System and Its Model Checking. IEICE Transactions 88-D(7): 1685-1696 (2005) | |
| 2 | Shigeta Kuninobu, Yoshiaki Takata, Daigo Taguchi, Masayuki Nakae, Hiroyuki Seki: A Specification Language for Distributed Policy Control. ICICS 2002: 386-398 | |
| 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 |
Selection of 3 from 3 records - Shigeta Kuninobu has 6 coauthors
Copyright © 2009-12-30 by Michael Ley (ley@uni-trier.de)