2006 |
6 | | Izuru Kume,
Naoya Nitta,
Yasuhiro Takemura:
A Method for Creating Teaching Materials of Practical Object-Oriented Methods Education.
ICCE 2006: 75-78 |
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 |