한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2006년도 가을 학술발표논문집 Vol.33 No.2 (C)
- /
- 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)
- 발행 : 2006.10.20