Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)
- 2001.10a
- /
- Pages.769-771
- /
- 2001
- /
- 1598-5164(pISSN)
A Study on Formal Verification of Smart Card Security
스마트 카드의 보안성에 대한 정형검증 방법 연구
Abstract
인터넷의 급속한 발달과 이를 통한 다양한 서비스가 확산됨에 따라, 인증과 보안은 아주 중요한 분야로 대두되고 있다. 본 논문에서는 Egterl 을 이용하여 최근 정보화 사회에서 개인적 정보 뿐만 아니라 비즈니스 간의 데이터 응용 분야에 이르기까지 폭 넓게 사용되어지고 있는 스마트 카드의 인증과 보안 시스템 대한 모델링 및 정형검증에 대해 논한다.
Keywords