A security specification verification technique based on the international standard ISO/IEC 15408. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SAC, 2006)

Formal verification of security specifications with common criteria. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SAC, 2007)

Classification, Formalization and Verification of Security Functional Requirements. - Shoichi Morimoto; Shinjiro Shigematsu; Yuichi Goto; Jingde Cheng (SOFSEM, 2008)