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 |