Shinjiro Shigematsu

According to our database, Shinjiro Shigematsu authored at least 3 papers between 2006 and 2008.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2008

Classification, Formalization and Verification of Security Functional Requirements.

Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng

Proceedings of the SOFSEM 2008: Theory and Practice of Computer Science, 2008

2007

Formal verification of security specifications with common criteria.

Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng

Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), 2007

2006

A security specification verification technique based on the international standard ISO/IEC 15408.

Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006