Rchr

J-GLOBAL ID：200901007139546566 Update date: Aug. 30, 2023

Nagatou Naoyuki

Nagatou Naoyuki

Research field (1)： Software

Research theme for competitive and other funds (2)：

-
-

Papers (9)：

Naoyuki Nagatou, Takuo Watanabe. A MODEL-CHECKING BASED APPROACH TO ROBUSTNESS ANALYSIS OF PROCEDURES UNDER HUMAN-MADE FAULTS. INTERNATIONAL JOURNAL OF INDUSTRIAL ENGINEERING-THEORY APPLICATIONS AND PRACTICE. 2015. 22. 4. 494-508
Naoyuki Nagatou, Takuo Watanabe. A model-checking based approach to robustness analysis of procedures under human-made faults. Lecture Notes in Business Information Processing. 2014. 181. 117-131
Robustness Analysis on Human-made Fault in Procedural Manuals. 2013. 113. 71. 61-66
Naoyuki Nagatou. Revisiting Enforceable Security Policies. CRISIS: 2008 THIRD INTERNATIONAL CONFERENCE ON RISKS AND SECURITY OF INTERNET AND SYSTEMS, PROCEEDINGS. 2008. 227-234
Naoyuki Nagatou, Takuo Watanabe. Run-time detection of covert channels. FIRST INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS. 2006. 577-+

ｍore...

MISC (4)：

Semantics of Human-Made Fault and Robustness Analysis. 2013. 30. 633-640
NAGATOU Naoyuki, WATANABE Takuo. On Enforcement of Noninterference. IPSJ SIG Notes. 2006. 2006. 81. 207-214
NAGATOU Naoyuki, WATANABE Takuo. On Enforcement of Noninterference. IEICE technical report. Social Implications of Technology and Information Ethics. 2006. 106. 174. 207-214
WATANABE TAKUO, NAGATOU NAOYUKI, YAMADA KIYOSHI. A Security Enforcement Method by Load - time Binary Translation. 2002. 43. 3. 94-94

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM