 | 2009 |
|---|
| 6 |       | Daisuke Horie,
Toshio Kasahara,
Yuichi Goto,
Jingde Cheng:
A New Model of Software Life Cycle Processes for Consistent Design, Development, Management, and Maintenance of Secure Information Systems.
ACIS-ICIS 2009: 897-902 |
| 5 | | Kenichi Yajima,
Shoichi Morimoto,
Daisuke Horie,
Noor Sheila Azreen,
Yuichi Goto,
Jingde Cheng:
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408.
ARES 2009: 624-629 |
| 4 |  | Jingde Cheng,
Yuichi Goto,
Daisuke Horie:
ISEE: An Information Security Engineering Environment.
SECRYPT 2009: 395-400 |
| 2008 |
|---|
| 3 | | Daisuke Horie,
Shoichi Morimoto,
Noor Azimah,
Yuichi Goto,
Jingde Cheng:
ISEDS: An Information Security Engineering Database System Based on ISO Standards.
ARES 2008: 1219-1225 |
| 2006 |
|---|
| 2 | | Shoichi Morimoto,
Daisuke Horie,
Jingde Cheng:
A Security Requirement Management Database Based on ISO/IEC 15408.
ICCSA (3) 2006: 1-10 |
| 1 | | Daisuke Horie,
Shoichi Morimoto,
Jingde Cheng:
A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408.
International Conference on Computational Science (4) 2006: 797-804 |
