Patterning Protection Profiles by UML for Security Specifications. - Shoichi Morimoto; Jingde Cheng (CIMCA/IAWTIC, 2005)

Security in Persistently Reactive Systems. - Takumi Endo; Junichi Miura; Koichi Nanashima; Shoichi Morimoto; Yuichi Goto; Jingde Cheng (EUC Workshops, 2005)

A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408. - Daisuke Horie; Shoichi Morimoto; Jingde Cheng (International Conference on Computational Science (4), 2006)

A Security Requirement Management Database Based on ISO/IEC 15408. - Shoichi Morimoto; Daisuke Horie; Jingde Cheng (ICCSA (3), 2006)

A security specification verification technique based on the international standard ISO/IEC 15408. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SAC, 2006)

A System Behavior Analysis Technique with Visualization of a Customer's Domain. - Shoichi Morimoto (International Conference on Computational Science (2), 2007)

A Security Specification Library with a Schemaless Database. - Shoichi Morimoto; Jingde Cheng (International Conference on Computational Science (3), 2007)

Formal verification of security specifications with common criteria. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SAC, 2007)

ISEDS: An Information Security Engineering Database System Based on ISO Standards. - Daisuke Horie; Shoichi Morimoto; Noor Azimah; Yuichi Goto; Jingde Cheng (ARES, 2008)

A Study of Value of Business Process Models from a Managerial Viewpoint. - Shoichi Morimoto (CIMCA/IAWTIC/ISE, 2008)

A Survey of Formal Verification for Business Process Modeling. - Shoichi Morimoto (ICCS (2), 2008)

Classification, Formalization and Verification of Security Functional Requirements. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SOFSEM, 2008)

FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. - Kenichi Yajima; Shoichi Morimoto; Daisuke Horie; Noor Sheila Azreen; Yuichi Goto; Jingde Cheng (ARES, 2009)

Application of COBIT to Security Management in Information Systems Development. - Shoichi Morimoto (FCST, 2009)

M. - Shoichi Morimoto (SoMeT, 2009)

A Case Study of the e-Money Application in Japanese Public Transportation. - Shoichi Morimoto (ICE-B, 2010)

Electronic Internal Marketing for Tourism - A New Tourism Marketing Approach. - Shohei Suzuki; Shoichi Morimoto (ICE-B, 2014)