Naoya Nitta (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki: Policy Controlled System and Its Model Checking. IEICE Transactions 88-D(7): 1685-1696 (2005)

2 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 Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata: Security verification of programs with stack inspection. SACMAT 2001: 31-40

Selection of 3 from 6 records - Naoya Nitta has 6 coauthors

5		Shigeta Kuninobu, Yoshiaki Takata, Naoya Nitta, Hiroyuki Seki: Policy Controlled System and Its Model Checking. IEICE Transactions 88-D(7): 1685-1696 (2005)
2		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		Naoya Nitta, Hiroyuki Seki, Yoshiaki Takata: Security verification of programs with stack inspection. SACMAT 2001: 31-40