Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances. - Takuo Watanabe; Kiyoshi Yamada; Naoyuki Nagatou (WSTFES, 2003)

Specifying context-aware runtime security policies using an algebraic policy specification language. - Takuo Watanabe; Kiyoshi Yamada; Naoyuki Nagatou (IASTED Conf. on Software Engineering, 2004)

Run-Time Detection of Covert Channels. - Naoyuki Nagatou; Takuo Watanabe (ARES, 2006)

Revisiting enforceable security policies. - Naoyuki Nagatou (CRiSIS, 2008)

A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults. - Naoyuki Nagatou; Takuo Watanabe (AP-BPM, 2014)