| 2005 |
|---|
| 5 | EE | Shigeta Kuninobu,
Yoshiaki Takata,
Naoya Nitta,
Hiroyuki Seki:
Policy Controlled System and Its Model Checking.
IEICE Transactions 88-D(7): 1685-1696 (2005) |
| 4 | EE | Jing Wang,
Naoya Nitta,
Hiroyuki Seki:
An Efficient Method for Optimal Probe Deployment of Distributed IDS.
IEICE Transactions 88-D(8): 1948-1957 (2005) |
| 2003 |
|---|
| 3 | EE | Naoya Nitta,
Hiroyuki Seki:
An Extension of Pushdown System and Its Model Checking Method.
CONCUR 2003: 278-292 |
| 2001 |
|---|
| 2 | EE | Naoya Nitta,
Yoshiaki Takata,
Hiroyuki Seki:
An efficient security verification method for programs with stack inspection.
ACM Conference on Computer and Communications Security 2001: 68-77 |
| 1 | EE | Naoya Nitta,
Hiroyuki Seki,
Yoshiaki Takata:
Security verification of programs with stack inspection.
SACMAT 2001: 31-40 |
