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:
J.Cheng S.Morimoto S.Shigematsu K.H.S.S.Koralalage M.R.Selim J.Miura
Talks about:
secur (3) specif (2) verif (2) ownership (1) transfer (1) techniqu (1) standard (1) mathemat (1) lifecycl (1) criteria (1)

Person: Yuichi Goto

DBLP DBLP: Goto:Yuichi

Contributed to:

SAC 20072007
SAC 20062006

Wrote 4 papers:

SAC-2007-KoralalageRMGC #approach #lifecycle #privacy #security
POP method: an approach to enhance the security and privacy of RFID systems used in product lifecycle with an anonymous ownership transferring mechanism (KHSSK, MRS, JM, YG, JC), pp. 270–275.
SAC-2007-MorimotoSGC #security #specification #verification
Formal verification of security specifications with common criteria (SM, SS, YG, JC), pp. 1506–1512.
SAC-2006-GotoC #analysis #logic
A quantitative analysis of implicational paradoxes in classical mathematical logic (YG, JC), pp. 42–43.
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.