JAPANESE
Profile
- Daisuke Horie
- 2st grade in Doctor course, Department of Information and Computer Sciences, Saitama University
- horie(at)aise.ics.saitama-u.ac.jp
Education
- Master of Engineering in Computer Science, Saitama University, Japan, March 2007.
- Bachelor of Engineering in Computer Science, Saitama University, Japan, March 2006.
Membership
Publications
- 1st author
- 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.
- 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.
- 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.
- Daisuke Horie, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Development and Applications of ISEDS: An Information Security Engineering Database System, IPSJ Journal, Vol. 48, No. 8, pp. 2684-2698, IPSJ, August 2007 (in Japanese).
- Daisuke Horie, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Development and Applications of ISEDS: An Information Security Engineering Database System, in N. Mitsuda and E. Hanyuda (Eds.), "The Frontiers of Software Engineering 2006," pp. 59-66, Kindai Kagaku Sha, October 2006 (in Japanese).
- 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.
- Coauthor
- 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.
- 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.
- 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.
- Shoichi Morimoto, Daisuke Horie, and Jingde Cheng: An Information Security Requirement Management Database Based on the International Standard ISO/IEC 15408, DBSJ Letters, Vol. 4, No. 3, pp. 13-16, DBSJ, December 2005 (in Japanese).
- Awards and Grants
- The Telecommunications Advancement Foundation: The 23rd Telecommunication system grant for students (Daisuke Horie, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Development and Applications of ISEDS: An Information Security Engineering Database System, IPSJ Journal, Vol. 48, No. 8, pp. 2684-2698, IPSJ, August 2007 (in Japanese) ), March 2008.
- Inoue Foundation for Science: A grant for a passage (The 3rd International Conference on Availability, Reliability and Security (ARES 2008)), January 2008.
- REFEC (Research Foundation for the Electrotechnology of Chubu): A grant for publishing (Daisuke Horie, Shoichi Morimoto, Yuichi Goto, and Jingde Cheng: Development and Applications of ISEDS: An Information Security Engineering Database System, IPSJ Journal, Vol. 48, No. 8, pp. 2684-2698, IPSJ, August 2007 (in Japanese)), September 2007.
- IPA (Information-Technology Promotion Agency, Japan): "Exploratory Youth" (Exploratory Software Project in 2007), Augst 2007.
Dealing in constructing the information security engineering environment
http://www.aise.ics.saitama-u.ac.jp/iseds/
Advanced Information Systems Engineering Laboratory