Naoyuki Nagatou

According to our database, Naoyuki Nagatou authored at least 5 papers between 2003 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2014

A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults.

Naoyuki Nagatou, Takuo Watanabe

Proceedings of the Asia Pacific Business Process Management, 2014

2008

Revisiting enforceable security policies.

Naoyuki Nagatou

Proceedings of the CRiSIS '08, 2008

2006

Run-Time Detection of Covert Channels.

Naoyuki Nagatou, Takuo Watanabe

Proceedings of the The First International Conference on Availability, 2006

2004

Specifying context-aware runtime security policies using an algebraic policy specification language.

Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou

Proceedings of the IASTED International Conference on Software Engineering, 2004

2003

Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances.

Takuo Watanabe, Kiyoshi Yamada, Naoyuki Nagatou

Proceedings of the 1st IEEE Workshop on Software Technologies for Future Embedded Systems, 2003