Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2006.10c
- /
- Pages.493-496
- /
- 2006
- /
- 1598-5164(pISSN)
Formal Analysis of the Security Protocol in Ubiquitous Computing Environment
유비쿼터스 컴퓨팅환경에서 보안프로토콜의 정형적 분석
- Kim, Hyun-Seok (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)
- Published : 2006.10.20
Abstract
유비쿼터스 환경에서의 네트워킹은 장소나 시간에 제약없이 최상의 서비스를 받기 위한 편리성을 제공한다. 이에 RFID 기술은 이러한 유비쿼터스의 목적을 쉽게 달성할 수 있는 기술로 주목받고 있으며 많은 장점을 갖는 반면, 프라이버시 침해문제와 같은 보안적인 문제를 갖고 있다. 본 논문에서는 RFID 환경에서 안전하지 않은 Tag 나 Reader 기를 식별하는 기술인 보안프로토콜을 정형적 검증방법인 모델체킹을 이용하여 신뢰성있는 네트워크를 구축하고자 한다.
Keywords