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: Goto:Yuichi
Contributed to:
20072006Wrote 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.