BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Korea
Collaborated with:
S.Shigematsu Y.Goto J.Cheng
Talks about:
specif (2) verif (2) secur (2) techniqu (1) standard (1) criteria (1) intern (1) formal (1) common (1) base (1)

Person: Shoichi Morimoto

DBLP DBLP: Morimoto:Shoichi

Contributed to:

SAC 20072007
SAC 20062006

Wrote 2 papers:

SAC-2007-MorimotoSGC #security #specification #verification
Formal verification of security specifications with common criteria (SM, SS, YG, JC), pp. 1506–1512.
SAC-2006-MorimotoSGC #security #specification #standard #verification
A security specification verification technique based on the international standard ISO/IEC 15408 (SM, SS, YG, JC), pp. 1802–1803.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.