Login / Signup
Naoyuki Nagatou
ORCID
Publication Activity (10 Years)
Years Active: 2003-2014
Publications (10 Years): 0
Top Topics
Transition Systems
Automated Verification
Model Checker
Temporal Properties
Top Venues
AP-BPM
</>
Publications
</>
Naoyuki Nagatou
,
Takuo Watanabe
A Model-Checking Based Approach to Robustness Analysis of Procedures under Human-Made Faults.
AP-BPM
(2014)
Naoyuki Nagatou
Revisiting enforceable security policies.
CRiSIS
(2008)
Naoyuki Nagatou
,
Takuo Watanabe
Run-Time Detection of Covert Channels.
ARES
(2006)
Takuo Watanabe
,
Kiyoshi Yamada
,
Naoyuki Nagatou
Specifying context-aware runtime security policies using an algebraic policy specification language.
IASTED Conf. on Software Engineering
(2004)
Takuo Watanabe
,
Kiyoshi Yamada
,
Naoyuki Nagatou
Towards a Specification Scheme for Context-Aware Security Policies for Networked Appliances.
WSTFES
(2003)