한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
- /
- Pages.124-126
- /
- 2005
- /
- 1598-5164(pISSN)
CEPS(Common Electronic Purse Specification)의 정형명세 및 보안성 분석
Formal Specification and Security Analyis of CEPS(Common Electronic Purse Specification)
- 김일곤 (고려대학교 컴퓨터학과) ;
- 문영주 (고려대학교 컴퓨터학과) ;
- 방기석 (한림대학교 정보통신공학부) ;
- 강인혜 (서울시립대학교 기계정보공학과) ;
- 최진영 (고려대학교 컴퓨터학과)
- Kim Il-Gon (Dept of Computer Science & Engineering, Korea University) ;
- Moon Young-Joo (Dept of Computer Science & Engineering, Korea University) ;
- Bang Ki-Seok (Division of Information Engineering and Telecommunication Hallym University) ;
- Kang Inhye (Dept of Mechanical and Information Engineering, University of Seoul) ;
- Choi Jin-Young (Dept of Computer Science & Engineering, Korea University)
- 발행 : 2005.07.01