S
Shoichi Morimoto
Researcher at Advanced Institute of Industrial Technology
Publications - 22
Citations - 278
Shoichi Morimoto is an academic researcher from Advanced Institute of Industrial Technology. The author has contributed to research in topics: Information security & Security information and event management. The author has an hindex of 8, co-authored 22 publications receiving 268 citations. Previous affiliations of Shoichi Morimoto include Senshu University & Saitama University.
Papers
More filters
Book ChapterDOI
A Survey of Formal Verification for Business Process Modeling
TL;DR: The establishment of the verification will be surely helpful toward solving the problems on business process reengineering, business process management, service-oriented architecture, and so on.
Proceedings ArticleDOI
Formal verification of security specifications with common criteria
TL;DR: This paper formalized the security criteria of ISO/IEC 15408 and developed a process, using Z notation, for verifying security specifications and demonstrated some examples of the verification instances using the theorem prover Z/EVES.
Proceedings ArticleDOI
A Security Engineering Environment Based on ISO/IEC Standards: Providing Standard, Formal, and Consistent Supports for Design, Development, Operation, and Maintenance of Secure Information Systems
TL;DR: This paper proposes the new concept of security engineering environment and presents a real security Engineering environment developing based on ISO/IEC information security standards in order to provide designers, developers, users, and maintainers with standard, formal, and consistent supports for design, development, operation, and maintenance of information systems with high security requirements.
Proceedings ArticleDOI
ISEDS: An Information Security Engineering Database System Based on ISO Standards
TL;DR: This paper presents an Information Security Engineering Database System, named "ISEDS," that is developing based on ISO standards, and shows its some possible applications, and implemented major functions of ISEDS and its application tools to manage and use data oflSO/IEC 15408.
Proceedings ArticleDOI
Application of COBIT to Security Management in Information Systems Development
TL;DR: The framework effectively utilizes the COBIT-based security management and solves various subjects of security in the development and effectively utilize the framework and its application to information systems development.