Shinjiro Shigematsu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2006–2008
Best venue rank
Multiconference
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2008 | SOFSEM | Classification, Formalization and Verification of Security Functional Requirements. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2007 | SAC | Formal verification of security specifications with common criteria. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
| 2006 | SAC | A security specification verification technique based on the international standard ISO/IEC 15408. | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |