 | 2009 |
|---|
| 13 |       | 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 |
| 12 | | Shoichi Morimoto:
M.
SoMeT 2009: 463-472 |
| 2008 |
|---|
| 11 | | 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 |
| 10 | | Shoichi Morimoto:
A Survey of Formal Verification for Business Process Modeling.
ICCS (2) 2008: 514-522 |
| 9 | | Shoichi Morimoto,
Shinjiro Shigematsu,
Yuichi Goto,
Jingde Cheng:
Classification, Formalization and Verification of Security Functional Requirements.
SOFSEM 2008: 622-633 |
| 2007 |
|---|
| 8 | | Shoichi Morimoto:
A System Behavior Analysis Technique with Visualization of a Customer's Domain.
International Conference on Computational Science (2) 2007: 1099-1106 |
| 7 | | Shoichi Morimoto,
Jingde Cheng:
A Security Specification Library with a Schemaless Database.
International Conference on Computational Science (3) 2007: 890-893 |
| 6 | | Shoichi Morimoto,
Shinjiro Shigematsu,
Yuichi Goto,
Jingde Cheng:
Formal verification of security specifications with common criteria.
SAC 2007: 1506-1512 |
| 2006 |
|---|
| 5 | | Shoichi Morimoto,
Daisuke Horie,
Jingde Cheng:
A Security Requirement Management Database Based on ISO/IEC 15408.
ICCSA (3) 2006: 1-10 |
| 4 | | 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 |
| 3 | | Shoichi Morimoto,
Shinjiro Shigematsu,
Yuichi Goto,
Jingde Cheng:
A security specification verification technique based on the international standard ISO/IEC 15408.
SAC 2006: 1802-1803 |
| 2005 |
|---|
| 2 |  | Shoichi Morimoto,
Jingde Cheng:
Patterning Protection Profiles by UML for Security Specifications.
CIMCA/IAWTIC 2005: 946-951 |
| 1 | | Takumi Endo,
Junichi Miura,
Koichi Nanashima,
Shoichi Morimoto,
Yuichi Goto,
Jingde Cheng:
Security in Persistently Reactive Systems.
EUC Workshops 2005: 874-883 |
