Shoichi Morimoto

According to our database, Shoichi Morimoto authored at least 17 papers between 2005 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Electronic Internal Marketing for Tourism - A New Tourism Marketing Approach.

Shohei Suzuki, Shoichi Morimoto

Proceedings of the ICE-B 2014, 2014

2010

A Case Study of the e-Money Application in Japanese Public Transportation.

Shoichi Morimoto

Proceedings of the ICE-B 2010 - Proceedings of the International Conference on e-Business, Athens, Greece, July 26, 2010

2009

M.

Shoichi Morimoto

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Application of COBIT to Security Management in Information Systems Development.

Shoichi Morimoto

Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology, 2009

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

Proceedings of the The Forth International Conference on Availability, 2009

2008

Classification, Formalization and Verification of Security Functional Requirements.

Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

A Survey of Formal Verification for Business Process Modeling.

Shoichi Morimoto

Proceedings of the Computational Science, 2008

A Study of Value of Business Process Models from a Managerial Viewpoint.

Shoichi Morimoto

Proceedings of the 2008 International Conferences on Computational Intelligence for Modelling, 2008

ISEDS: An Information Security Engineering Database System Based on ISO Standards.

Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng

Proceedings of the The Third International Conference on Availability, 2008

2007

Formal verification of security specifications with common criteria.

Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

A Security Specification Library with a Schemaless Database.

Shoichi Morimoto, Jingde Cheng

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

A System Behavior Analysis Technique with Visualization of a Customer's Domain.

Shoichi Morimoto

Proceedings of the Computational Science - ICCS 2007, 7th International Conference, Beijing, China, May 27, 2007

2006

A security specification verification technique based on the international standard ISO/IEC 15408.

Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A Security Requirement Management Database Based on ISO/IEC 15408.

Shoichi Morimoto, Daisuke Horie, Jingde Cheng

Proceedings of the Computational Science and Its Applications, 2006

A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408.

Daisuke Horie, Shoichi Morimoto, Jingde Cheng

Proceedings of the Computational Science, 2006

2005

Security in Persistently Reactive Systems.

Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng

Proceedings of the Embedded and Ubiquitous Computing - EUC 2005 Workshops, 2005

Patterning Protection Profiles by UML for Security Specifications.

Shoichi Morimoto, Jingde Cheng

Proceedings of the 2005 International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2005), 2005