한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (D)
- /
- Pages.136-139
- /
- 2007
- /
- 1598-5164(pISSN)
모델체킹을 이용한 RFID 보안프로토콜 검증
Verification of RFID Security Protocol using Model Checking
- Kim, Joo-Bae (Dep. Of Computer Science & Engineering, Korea University) ;
- Kim, Hyun-Seok (Dep. Of Computer Science & Engineering, Korea University) ;
- Choi, Jin-Young (Dep. Of Computer Science & Engineering, Korea University)
- 발행 : 2007.10.26