|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 10 occurrences of 6 keywords
|
|
|
|
|
Results
Found 15 publication records. Showing 15 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Shoichi Morimoto |
A Case Study of the e-Money Application in Japanese Public Transportation.  |
ICE-B  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Shoichi Morimoto |
M. |
SoMeT |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Kenichi Yajima, Shoichi Morimoto, Daisuke Horie, Noor Sheila Azreen, Yuichi Goto, Jingde Cheng |
FORVEST: A Support Tool for Formal Verification of Security Specifications with ISO/IEC 15408. |
ARES |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichi Morimoto |
A Survey of Formal Verification for Business Process Modeling. |
ICCS |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichi Morimoto |
A Study of Value of Business Process Models from a Managerial Viewpoint. |
CIMCA/IAWTIC/ISE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
Classification, Formalization and Verification of Security Functional Requirements. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daisuke Horie, Shoichi Morimoto, Noor Azimah, Yuichi Goto, Jingde Cheng |
ISEDS: An Information Security Engineering Database System Based on ISO Standards. |
ARES |
2008 |
DBLP DOI BibTeX RDF |
ISO/IEC 15408, An Information Security Engineering Database System, Supporting design of security facilities, Supporting maintenance of security facilities, Information security, Common Criteria |
| 1 | Shoichi Morimoto, Jingde Cheng |
A Security Specification Library with a Schemaless Database. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
Digital pattern processing, Common criteria |
| 1 | Shoichi Morimoto |
A System Behavior Analysis Technique with Visualization of a Customer's Domain. |
International Conference on Computational Science |
2007 |
DBLP DOI BibTeX RDF |
Model-based development, Activity diagrams |
| 1 | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
Formal verification of security specifications with common criteria. |
SAC |
2007 |
DBLP DOI BibTeX RDF |
ISO/IEC 15408, theorem-proving, Z notation |
| 1 | Daisuke Horie, Shoichi Morimoto, Jingde Cheng |
A Web User Interface of the Security Requirement Management Database Based on ISO/IEC 15408. |
International Conference on Computational Science |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichi Morimoto, Shinjiro Shigematsu, Yuichi Goto, Jingde Cheng |
A security specification verification technique based on the international standard ISO/IEC 15408. |
SAC |
2006 |
DBLP DOI BibTeX RDF |
theorem-proving, Z notation, common criteria |
| 1 | Shoichi Morimoto, Daisuke Horie, Jingde Cheng |
A Security Requirement Management Database Based on ISO/IEC 15408. |
ICCSA |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Shoichi Morimoto, Jingde Cheng |
Patterning Protection Profiles by UML for Security Specifications. |
CIMCA/IAWTIC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Takumi Endo, Junichi Miura, Koichi Nanashima, Shoichi Morimoto, Yuichi Goto, Jingde Cheng |
Security in Persistently Reactive Systems. |
EUC Workshops |
2005 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #15 of 15 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")