| 2008 |
|---|
| 3 | EE | Shoichi Morimoto,
Shinjiro Shigematsu,
Yuichi Goto,
Jingde Cheng:
Classification, Formalization and Verification of Security Functional Requirements.
SOFSEM 2008: 622-633 |
| 2007 |
|---|
| 2 | EE | Shoichi Morimoto,
Shinjiro Shigematsu,
Yuichi Goto,
Jingde Cheng:
Formal verification of security specifications with common criteria.
SAC 2007: 1506-1512 |
| 2006 |
|---|
| 1 | EE | 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 |
