Shoichi Morimoto's page

森本祥一 (Shoichi Morimoto)

程研究室 2006年3月 修了生（博士課程）


所属学会

  • 情報処理学会
  • 電子情報通信学会
  • 経営情報学会
  • 日本データベース学会
  • 情報システム学会
  • 日本セキュリティ・マネジメント学会
  • ACM

    研究テーマ

    ソフトウェア工学，情報セキュリティ工学

    研究業績（種類別）

    研究業績（公表順）

    2010 2009 2008 2007 2006 2005 2001

    2011年

    1. 森本 祥一: ワークブックを活用したマイルストーン型情報リテラシ教育, 専修大学 情報科学研究所 平成22年度 定例研究会 Vol. 8, 2011年1月.

    2. 大曽根 匡(編著), 渥美 幸雄, 魚田 勝臣, 植竹 朋文, 森本 祥一(著): コンピュータリテラシ 第2版 -情報処理入門-, 共立出版, 2011年2月10日.（第1章，付録の執筆を担当）

    3. 森本 祥一, 渥美 幸雄: エンタープライズ・アーキテクチャにおける成果物の検証技法, 専修大学 情報科学研究所 所報, No. 75, 2011年2月.

    2010年

    1. 森本 祥一: 大学初年度における協調作業演習に関する一考察, 専修大学 情報科学研究所 平成21年度 定例研究会 Vol. 8, 2010年1月.

    2. 土屋 陽介, 森本 祥一, 長尾 雄行, 清水 將吾, 森口 聡子, 村越 英樹, 石島 辰太郎: 同期型e-Learningシステムを用いたPBL実証実験の報告, 産業技術大学院大学紀要, No. 3, pp. 117-124, 2010年3月.

    3. 森本 祥一: ITスキル標準と情報システム入門教育, 専修大学 情報科学研究所 平成22年度 定例研究会 Vol. 3, 2010年7月.

    4. Shoichi Morimoto: A Case Study of the E-money Application in Japanese Public Transportation, Proceedings of ICE-B 2010 International Conference on e-Business, pp. 76-81, INSTICC Press, Athens, Greece, July 2010. SciTePress (ISBN 978-989-8425-17-1)

    5. 淺野 智隆, 森本 祥一, 斎藤 拓巳: 地方路線バス会社へのICカード乗車券導入モデルの分析, 第9回情報科学技術フォーラム (FIT 2010) 一般講演論文集 第4分冊, pp. 523-524, 福岡, 2010年9月.

    6. 魚田 勝臣(編著), 渥美 幸雄, 植竹 朋文, 大曽根 匡, 森本 祥一, 綿貫 理明(著): コンピュータ概論 第5版 -情報システム入門-, 共立出版, 2010年12月10日.（第2章の執筆を担当）

    2009年

    1. Shoichi Morimoto: An Educational Analysis of Consensus-Building Process in Business Domain Analysis with Conceptual Data Modeling (Short Paper), Proceedings of the IADIS International Conference on Information Systems 2009, pp. 427-430, Barcelona, Spain, February 2009. (ISBN 978-972-8924-79-9) IADIS Digital Library

    2. Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Shelia Azreen, Yuichi Goto, and Jingde Cheng: FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408, Proceedings of the 4th International Conference on Availability, Reliability and Security (ARES 2009), pp. 624-629, Fukuoka, Japan, IEEE-CS, March 2009. IEEE Xplore (ISBN 978-1-4244-3572-2)

    3. 森本 祥一, 清水 將吾, 土屋 陽介, 長尾 雄行, 森口 聡子, 加藤 由花, 南波 幸雄, 村越 英樹, 石島 辰太郎: 同期型e-Learningシステムを利用したプロジェクト型学習科目の設計と実践, 情報処理学会研究報告, Vol. 2009, No. 32, pp. 113-119, 2009年3月. 情報処理学会電子図書館

    4. 森本 祥一: 要求定義から要求戦略へ -本当に「使える」システムを目指して-, 専修大学 情報科学研究所 平成21年度 定例研究会 Vol. 2, 2009年6月.

    5. 森本 祥一: 経営学部における情報システム導入教育と情報リテラシ教育の実践, 専修大学 情報科学研究所 平成21年度 定例研究会 Vol. 4, 2009年7月.

    6. Shoichi Morimoto: M3VE: Multi-User, Multi-Method, and Multi-Platform Verification Environment, in H. Fujita and V. Marik (Eds.), "New Trends in Software Methodologies, Tools and Techniques, Proceedings of the Eighth SoMeT_09," Frontiers in Artificial Intelligence and Applications, Vol. 199, pp. 463-472, Prague, Czech Republic, IOS Press, September 2009. IOS Press Books Online (ISBN 978-1-60750-049-0)

    7. Shoichi Morimoto, Shogo Shimizu, Yosuke Tsuchiya, Takeyuki Nagao, Satoko Moriguchi, Tomoki Miyazato, Hideki Murakoshi, and Shintaro Ishijima: An Empirical Report of Project Based Learning with Asynchronous and Synchronous e-Learning, Proceedings of the 8th IFAC Symposium on Advances in Control Education (ACE 2009), Kumamoto, Japan, October 21-23, 2009.

    8. Shoichi Morimoto: Application of COBIT to Security Management in Information Systems Development, Proceedings of the Fourth International Conference on Frontier of Computer Science and Technology (FCST 2009), pp. 625-630, IEEE-CS, Shanghai, China, December 2009. IEEE-CS Digital Library

    2008年

    1. Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: Classification, Formalization and Verification of Security Functional Requirements, in V. Geffert et. al. (Eds.), "Current Trends in Theory and Practice of Computer Science - SOFSEM 2008: 34th Conference on Current Trends in Theory and Practice of Computer Science, Novy Smokovec, Slovakia, January 19-25, 2008. Proceedings," Lecture Notes in Computer Science, Vol. 4910, pp. 622-633, Springer-Verlag, January 2008. Springer Link (ISBN 978-3-540-77565-2)

    2. 長尾 雄行, 土屋 陽介, 森本 祥一, 中鉢 欣秀: JavaScriptと非同期HTTPリクエストによる共同作業支援ミドウェアの構築, 情報処理学会(IPSJ/SIGPRO) 第67回プログラミング研究会, 仙台, 2008年1月.

    3. Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, and Jingde Cheng: ISEDS: An Information Security Engineering Database System Based on ISO Standards, Proceedings of the 3rd International Conference on Availability, Reliability and Security (ARES '08), pp. 1219-1225, Barcelona, Spain, IEEE-CS, March 2008. IEEE Xplore (ISBN 978-0-7695-3102-1)

    4. Jingde Cheng, Yuichi Goto, Shoichi Morimoto, and Daisuke Horie: A Security Engineering Environment Based on ISO Standards: Providing Standard, Formal, and Consistent Supports for Design, Development, Operation, and Maintenance of Secure Information Systems, Proceedings of the 2nd International Conference on Information Security and Assurance (ISA '08), pp. 350-354, Busan, Korea, IEEE-CS, April 2008. IEEE Xplore (ISBN 978-0-7695-3126-7)

    5. Shoichi Morimoto: A Survey of Formal Verification for Business Process Modeling, in M. Bubak et al. (Eds.), "Computational Science - ICCS 2008: 8th International Conference, Krakow, Poland, June 23-25, 2008, Proceedings, Part II," Lecture Notes in Computer Science, Vol. 5102, pp. 514-522, Springer-Verlag, June 2008. Springer Link (ISBN 978-3-540-69386-4)

    6. Shoichi Morimoto: Documentation Components of Software Development and their Management Based on International Standards, Proceedings of the 10th Workshop on Learning Software Organizations (LSO 2008), June 2008.

    7. 森本 祥一: 複数人によるシステム検証を支援するWebアプリケーションの開発, 日本ソフトウェア科学会 ディペンダブルシステム研究会 第五回システム検証の科学技術シンポジウム予稿集, pp. 139-146, つくば, 2008年11月.

    8. Shoichi Morimoto: A Study of Value of Business Process Models from a Managerial Viewpoint, Proceedings of the International Conference on Innovation in Software Engineering (ISE 2008), pp. 315-320, IEEE-CS, Vienna, Austria, December 2008. IEEE-CS Digital Library (ISBN 978-0-7695-3514-2)

    9. Shoichi Morimoto: A Survey of Formal Verification for Business Process Modeling, International Journal of Operations and Quantitative Management, Vol. 14, No. 4, pp. 237-247, December 2008.

    10. 長尾 雄行, 土屋 陽介, 森本 祥一, 中鉢 欣秀: JavaScriptと非同期HTTPリクエストによる共同作業支援ミドルウェアの構築, 産業技術大学院大学紀要, No. 2, pp. 165-173, 2008年12月.

    11. 森本 祥一, 中鉢 欣秀: シナリオの図解化による業務フロー分析, 産業技術大学院大学紀要, No. 2, pp. 193-208, 2008年12月.

    2007年

    1. 長尾 雄行, 土屋 陽介, 森本 祥一, 中鉢 欣秀: Ajaxによるリアルタイム分散MVCアーキテクチャ, 情報処理学会(IPSJ/SIGPRO) 第62回プログラミング研究会, 那覇, 2007年1月. (情報処理学会論文誌(トランザクション), Vol. 48, No. SIG10, p. 200, 2007年6月) 情報処理学会電子図書館

    2. 森本 祥一: データベースを用いた実用的な形式的検証環境の実現, 電子情報通信学会 第18回データ工学ワークショップ 第5回 日本データベース学会年次大会 (DEWS 2007) 論文集, C8-2, 広島, 2007年2月. DEWS論文集

    3. Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: Formal Verification of Security Specifications with Common Criteria, Proceedings of the 22nd Annual ACM Symposium on Applied Computing (SAC'07), pp. 1506-1512, Seoul, Korea, ACM, March 2007. ACM Digital Library

    4. Shoichi Morimoto and Jingde Cheng: A Security Specification Library with a Schemaless Database, in Shi, van Albada, Sloot, and Dongarra. (Eds.), "Computational Science - ICCS 2007: 7th International Conference, Beijing, China, May 27-30, 2007, Proceedings, Part III" Lecture Notes in Computer Science, Vol. 4489, pp. 890-893, Springer-Verlag, May 2007. Springer Link (ISBN 978-3-540-72587-9)

    5. 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 情報処理学会論文誌, Vol. 48, No. 8, pp. 2684-2698, 2007年8月. (電気通信普及財団 第23回テレコムシステム技術学生賞 受賞) 情報処理学会電子図書館

    6. 森本 祥一: 楽譜記述言語と正規表現を用いた形式的楽曲分析, 第6回情報科学技術フォーラム (FIT 2007) 一般講演論文集 第2分冊, pp. 203-206, 豊田, 2007年9月. FIT2007プログラム

    7. 河野 善彌, 陳 慧, 高野 英樹, 森本 祥一: 学生チームによる組込システムの開発 〜10年間の教育から〜, 日本科学技術連盟 第26回ソフトウェア品質シンポジウム発表報文集, pp. 171-174, 文京区白山, 2007年9月. Link

    8. 森本 祥一, 中鉢 欣秀: ソフトウェア開発工程における支援研究と実用化への課題, 産業技術大学院大学紀要, No. 1, pp. 105-110, 2007年10月. Link

    9. 長尾 雄行, 森本 祥一, 土屋 陽介, 清水 將吾, 村尾 俊幸: 情報アーキテクト育成のためのPBL教育支援における一考察, 日本e-Learning学会 専門職大学院におけるPBL教育に関する研究会 第2回IT専門職養成のためのPBL型教育シンポジウム論文集, 熱海, 2007年11月.

    10. 森本 祥一, 中鉢 欣秀: SBVA法によるビジネスプロセスモデリング, 情報システム学会 第3回研究発表大会論文集, pp. D2-1-1 - D2-1-4, 新潟, 2007年11月. Link

    11. Shoichi Morimoto: Formal Musical Composition Analysis Using Music Notation and Text-Processing, in E. Schubert, K. Buckley, R. Eliott, B. Koboroff, J. Chen and C. Stevens (Eds.), Proceedings of the inaugural International Conference on Music Communication Science (ICoMCS 2007), pp. 107-110, Sydney, Australia, December 2007. (ISBN 978-1-74108-161-9)

    2006年

    1. 森本 祥一, 程 京徳: UMLによるプロテクションプロファイルのモデル化とその形式的検証, 電子情報通信学会論文誌「情報・システム」, Vol. J89-D, No. 4, pp. 726-742, 2006年4月. IEICE Transactions Online

    2. Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, and Jingde Cheng: A Security Specification Verification Technique Based on the International Standard ISO/IEC 15408 (Poster Paper), Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC'06), pp. 1802-1803, Dijon, France, ACM, April 2006. ACM Digital Library (ISBN 1-59593-108-2)

    3. Shoichi Morimoto, Daisuke Horie, and Jingde Cheng: A Security Requirement Management Database Based on ISO/IEC 15408, in M. Gavrilova et. al. (Eds.), "Computational Science and Its Applications - ICCSA 2006: International Conference, Glasgow, UK, May 8-11, 2006, Proceedings, Part III," Lecture Notes in Computer Science, Vol. 3982, pp. 1-10, Springer-Verlag, May 2006. Springer Link (ISBN 978-3-540-34075-1)

    4. Daisuke Horie, Shoichi Morimoto, and Jingde Cheng: A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408, in V. N. Alexandrov et al. (Eds.), "Computational Science - ICCS 2006: 6th International Conference, Reading, UK, May 28-31, 2006, Proceedings, Part IV," Lecture Notes in Computer Science, Vol. 3994, pp. 797-804, Springer-Verlag, May 2006. Springer Link (ISBN 978-3-540-34385-1)

    5. 森本 祥一, 重松 真二郎, 後藤 祐一, 程 京徳: ISO/IEC 15408に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法, 日本ソフトウェア科学会論文誌「コンピュータソフトウェア」, Vol. 23, No. 3, pp. 117-133, 2006年7月. J-STAGE

    6. 川田 誠一, 石島 辰太郎, 森本 祥一, 長尾 雄行, 土屋 陽介, 清水 將吾, 村尾 俊幸: 情報アーキテクト教育におけるPBL方法の一検討, 日本e-Learning学会 専門職大学院におけるPBL教育に関する研究会 第1回IT専門職養成のためのPBL型教育シンポジウム論文集, pp. 7-10, 横須賀, 2006年9月.

    7. 森本 祥一, 長尾 雄行, 土屋 陽介, 清水 將吾, 村尾 俊幸: PBL教育における教育コンテンツのWeb配信, 日本e-Learning学会 専門職大学院におけるPBL教育に関する研究会 第1回IT専門職養成のためのPBL型教育シンポジウム論文集, pp. 45-48, 横須賀, 2006年9月.

    8. 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 情報処理学会(IPSJ/SIGSE) ソフトウェアエンジニアリングシンポジウム2006 (SES'06) 論文集「ソフトウェアエンジニアリング最前線2006」, pp. 59-66, 江東区青海, 近代科学社, 2006年10月. (ISBN 4-7649-0331-8)

    9. 森本 祥一, 中鉢 欣秀: シナリオの図解化によるシステム振る舞い分析, 情報処理学会(IPSJ/SIGSE) ソフトウェアエンジニアリングシンポジウム2006 (SES'06) 論文集「ソフトウェアエンジニアリング最前線2006」, pp. 169-176, 江東区青海, 近代科学社, 2006年10月. (ISBN 4-7649-0331-8)

    10. 森本 祥一, 程 京徳: ネイティブXMLデータベースによるセキュリティ仕様書ライブラリ, 情報処理学会(IPSJ/DBS) データベースとWeb情報システムに関するシンポジウム2006 (DBWeb'06) 論文集, 情報処理学会シンポジウムシリーズ, Vol. 2006, No. 16, pp. 193-200, 京都, 2006年11月.

    2005年

    1. 森本 祥一, 重松 真二郎, 程 京徳: ISO/IEC 15408 の形式化に基づく情報セキュリティ仕様の形式的検証法(ポスター論文), 情報処理学会(IPSJ/SIGARC) 先進的計算基盤システムシンポジウム2005 (SACSIS'05) 論文集, 情報処理学会シンポジウムシリーズ Vol. 2005, No. 5, pp. 201-202, つくば, 2005年5月.

    2. 遠藤 匠, 三浦 潤一, 七島 功一, 森本 祥一, 後藤 祐一, 程 京徳: 永続コンピューティング環境を実現するソフトシステムバスパッケージの基本要求と機能(ポスター論文), 情報処理学会(IPSJ/SIGARC) 先進的計算基盤システムシンポジウム2005 (SACSIS'05) 論文集, 情報処理学会シンポジウムシリーズ Vol. 2005, No. 5, pp. 209-210, つくば, 2005年5月.

    3. Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Security Issues in Persistently Reactive Systems (Fast Abstract), Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN'05), pp. 56-57, Yokohama, Japan, IEEE-CS, June 2005.

    4. Shoichi Morimoto, Shinjiro Shigematsu, and Jingde Cheng: A Formal Method for Verifying Security Specifications Based on International Standard ISO/IEC 15408 (Fast Abstract), Supplemental Volume of the 2005 International Conference on Dependable Systems and Networks (DSN'05), pp. 62-63, Yokohama, Japan, IEEE-CS, June 2005.

    5. 森本 祥一, 重松 真二郎, 後藤 祐一, 程 京徳: ISO/IEC 15408 に基づく定理証明とモデル検査による情報セキュリティ仕様の検証技法, 産業技術総合研究所 システム検証研究センター(AIST/CVS) 第二回システム検証の科学技術シンポジウム予稿集, pp. 12-23, 大阪, 2005年10月. AIST Technical Reports

    6. Shoichi Morimoto and Jingde Cheng: Patterning Protection Profiles by UML for Security Specifications, Proceedings of the 2005 International Conference on Intelligent Agents, Web Technology and Internet Commerce (IAWTIC'05), Vol. II, pp. 946-951, Vienna, Austria, IEEE-CS, November 2005. IEEE Xplore (ISBN 0-7695-2504-0)

    7. Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Security in Persistently Reactive Systems, in T. Enokido, L. Yan, B. Xiao, D. Kim, Y. Dai, L. T. Yang (Eds.), "Embedded and Ubiquitous Computing: EUC 2005 Workshops: UISW, NCUS, SecUbiq, USN, and TAUES, Nagasaki, Japan, December 6-9, 2005, Proceedings," Lecture Notes in Computer Science, Vol. 3823, pp. 874-883, Springer-Verlag, December 2005. Springer Link (ISBN 978-3-540-30803-4)

    8. 森本 祥一, 堀江 大輔, 程 京徳: ISO/IEC 15408に基づく情報セキュリティ要求管理データベース, 日本データベース学会論文誌「DBSJ Letters」, Vol. 4, No. 3, pp. 13-16, 2005年12月. DBSJ Letters

    2001年

    1. 森本 祥一, 吉田 真人, 陳 慧, 河野 善彌: ソフトウェアクリエーション：統合知的CASEツールの図面情報処理, 電子情報通信学会 知能ソフトウェア工学研究会 人工知能と知識処理研究会(AI2000-72, KBSE80), 電子情報通信学会信学技報, Vol. 100, No. 709, pp. 25-28, 千代田区一ツ橋, 2001年3月. IEICE技術研究報告データベース

    獲得外部資金

  • 文部科学省 平成19年度 科学研究費補助金 若手研究(B) 課題番号19700029

  • 財団法人 情報科学国際交流財団, 研究者海外派遣助成（The 2006 International Conference on Computational Science and its Applications (ICCSA'06) 参加）, 2006年5月.

  • 財団法人 中部電力基礎技術研究所, 国際交流援助（The 21st Annual ACM Symposium on Applied Computing (SAC'06) 参加）, 2006年4月.

    学会関係の役職

  • 電子情報通信学会：英文論文誌査読委員（平成22年2月〜）
  • 日本セキュリティ・マネジメント学会：第24回全国大会実行委員
  • The International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA 2006)：論文査読委員
  • The 16th Americas Conference on Information Systems (AMCIS 2010)：論文査読委員
  • The 1st International Workshop on Security Engineering Environment (SEE 2009)：Organization Committee
  • The 5th International Conference on Broadband and Wireless Computing, Communication and Applications (BWCCA 2010)：Programme Committee

    所有資格

  • ITコーディネータ
  • ２級ファイナンシャル・プランニング技能士
  • 基本情報処理技術者(旧 第2種情報処理技術者)
  • Oracle Master Platinum 9i (Oracle9i Database Administrator Certified Master)
  • Oracle Master Linux+
  • XML Master Professional
  • Sun Certified Java Programmer
  • Sun Certified System Administrator
  • Cisco Certified Network Associate
  • Microsoft Certified Professional
  • Master MCA (Microsoft Certified Associate) Security+
  • IBM DB2 Engineer (IBM Certified Database Associate)
  • Master CIW (Certified Internet Webmaster) Designer
  • CIW Security Analyst
  • OMG認定UML技術者資格試験ファンダメンタル (OMG-Certified UML Professional Fundamental)
  • UMLモデリング技能認定 L1
  • オージス総研UML技術者認定試験ゴールドレベル
  • 富士通ミドルウェア技術者認定制度Interstage Certified Associate
  • 富士通ミドルウェア技術者認定制度Systemwalker Certified Associate
  • CAD利用技術者試験2級