Shoichi Morimoto

18 papers B 3C 1Misc 6Unranked 8
YearRankTypeTitle / Venue / Authors
2025 Misc conf
Evolvable Network Design for Efficient Optical Intra-Datacenter Networks.
ITNAC
Takashi Miyamura, Shoichi Morimoto
2014 — conf
Electronic Internal Marketing for Tourism - A New Tourism Marketing Approach.
ICE-B
Shohei Suzuki, Shoichi Morimoto
2010 — conf
A Case Study of the e-Money Application in Japanese Public Transportation.
ICE-B
Shoichi Morimoto
2009 — conf
Application of COBIT to Security Management in Information Systems Development.
FCST
Shoichi Morimoto
2009 B conf
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408.
ARES
Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng
2009 C conf
M.
SoMeT
Shoichi Morimoto
2008 — conf
A Study of Value of Business Process Models from a Managerial Viewpoint.
CIMCA/IAWTIC/ISE
Shoichi Morimoto
2008 — conf
A Survey of Formal Verification for Business Process Modeling.
ICCS (2)
Shoichi Morimoto
2008 B conf
Classification, Formalization and Verification of Security Functional Requirements.
SOFSEM
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2008 B conf
ISEDS: An Information Security Engineering Database System Based on ISO Standards.
ARES
Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng
2007 Misc conf
A Security Specification Library with a Schemaless Database.
International Conference on Computational Science (3)
Shoichi Morimoto, Jingde Cheng
2007 Misc conf
A System Behavior Analysis Technique with Visualization of a Customer's Domain.
International Conference on Computational Science (2)
Shoichi Morimoto
2007 Misc conf
Formal verification of security specifications with common criteria.
SAC
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2006 — conf
A Security Requirement Management Database Based on ISO/IEC 15408.
ICCSA (3)
Shoichi Morimoto, Daisuke Horie, Jingde Cheng
2006 Misc conf
A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408.
International Conference on Computational Science (4)
Daisuke Horie, Shoichi Morimoto, Jingde Cheng
2006 Misc conf
A security specification verification technique based on the international standard ISO/IEC 15408.
SAC
Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng
2005 — conf
Patterning Protection Profiles by UML for Security Specifications.
CIMCA/IAWTIC
Shoichi Morimoto, Jingde Cheng
2005 — conf
Security in Persistently Reactive Systems.
EUC Workshops
Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng