• 堀江 大輔
• 埼玉大学大学院 理工学研究科 数理電子情報系専攻 情報システム工学コース 博士後期課程 2年次
• horie(at)aise.ics.saitama-u.ac.jp

• 学士（工学）： 埼玉大学 工学部 情報システム工学科，2006年3月
• 修士（工学）： 埼玉大学大学院 理工学研究科 博士前期課程 数理電子情報系専攻，2007年3月

• 情報処理学会（学生会員）
  http://www.ipsj.or.jp/
• 日本データベース学会（学生会員）
  http://www.dbsj.org/

• 査読付き　第一著者
1. Daisuke Horie, Kenichi Yajima, Noor Azimah, Yuichi Goto, and Jingde Cheng: GEST: A Generator of ISO/IEC 15408 Security Target Templates, Studies in Computational Intelligence, Springer-Verlag, June 2009.
2. Daisuke Horie, Toshio Kasahara, Yuichi Goto, and Jingde Cheng: A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems, Proceedings of the 8th IEEE/ACIS International Conference on Computer and Information Science (ICIS '09), Shanghai, China, IEEE Computer Society Press, June 2009.
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 Computer Society Press, March 2008.
4. 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 情報処理学会論文誌, Vol. 48, No. 8, pp. 2684-2698, 情報処理学会, 2007年8月.
5. 堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 満田 成紀・羽生田 栄一編, ソフトウェアエンジニアリング最前線2006, pp. 59-66, 近代科学社, 2006年10月.
6. 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.
• 査読付き　第二著者以降
1. 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 '09), Fukuoka, Japan, IEEE Computer Society Press, March 2009.
2. Jingde Cheng, Yuichi Goto, Shoichi Morimoto, and Daisuke Horie: 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, Proceedings of the 2nd International Conference on Information Security and Assurance (ISA '08), pp.350-354, Busan, Korea, IEEE Computer Society Press, April 2008.
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.
4. 森本 祥一, 堀江 大輔, 程 京徳: ISO/IEC 15408に基づく情報セキュリティ要求管理データベース, 日本データベース学会Letters, Vol. 4, No. 3, pp. 13-16, 日本データベース学会, 2005年12月.
• 講演
1. ジャパンシステム株式会社様向けIPA開発支援ソフトウェア説明会, 情報処理推進機構(IPA) 主催, ジャパンシステム株式会社, 2008年7月.
2. 未踏IT人材発掘・育成事業の概要・公募説明会, 情報処理推進機構(IPA) 主催, 埼玉大学, 2008年5月.
• 受賞・助成など
1. 堀江 大輔： 電気通信普及財団, 第23回テレコムシステム技術学生賞 （堀江 大輔, 森本 祥一, 後藤 祐一, 程 京徳: 情報セキュリティ工学データベースシステムISEDSの開発と応用, 情報処理学会論文誌, Vol. 48, No. 8, pp. 2684-2698, 情報処理学会, 2007年8月）, 2008年3月.
2. 堀江 大輔： 井上科学振興財団, 国際研究集会出席旅費援助（The 3rd International Conference on Availability, Reliability and Security (ARES 2008) 参加）, 2008年3月.
3. 堀江 大輔： 財団法人中部電力基礎技術研究所, 出版助成（「情報セキュリティ工学データベースシステムISEDSの開発と応用」, 情報処理学会論文誌, Vol. 48, No. 8, pp. 2684-2698）, 2007年9月.
4. 堀江 大輔： 情報処理推進機構(IPA) 2007年度未踏ソフトウェア創造事業「未踏ユース」採択, 2007年8月.


• Google Scholar: daisuke horie saitama
• DBLP: daisuke horie

情報セキュリティ工学環境の開発に従事
情報セキュリティ工学環境: http://www.aise.ics.saitama-u.ac.jp/iseds/