한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2007년도 가을 학술발표논문집 Vol.34 No.2 (D)
- /
- Pages.140-145
- /
- 2007
- /
- 1598-5164(pISSN)
AVISPA을 이용한 RFID 보안 프로토콜의 명세 및 검증
The Specification and Verification of RFID Security Protocols Using AVISPA
- Kang, Mi-Young (Dept. of Computer Science and Engineering, Korea University) ;
- Oh, Jung-Hyun (Dept. of Computer Science and Engineering, Korea University) ;
- Lee, Song-Hee (Dept. of Computer Science and Engineering, Korea University) ;
- Choi, Jin-Young (Dept. of Computer Science and Engineering, Korea University)
- 발행 : 2007.10.26