스마트카드를 이용한 패스워드 기반 인증시스템 정형분석Formal Analysis of Authentication System based on Password using Smart Card
- Other Titles
- Formal Analysis of Authentication System based on Password using Smart Card
- Authors
- 김현석; 김주배; 최진영; 정연오; 한근희
- Issue Date
- 2009
- Publisher
- 한국정보과학회
- Keywords
- 스마트카드; 패스워드 인증; 오프라인 추측공격; 정형검증; Smart card; Password authentication; Offline guessing attack; Formal verification
- Citation
- 정보과학회논문지 : 시스템 및 이론, v.36, no.4, pp.304 - 310
- Indexed
- KCI
- Journal Title
- 정보과학회논문지 : 시스템 및 이론
- Volume
- 36
- Number
- 4
- Start Page
- 304
- End Page
- 310
- URI
- https://scholar.korea.ac.kr/handle/2021.sw.korea/121437
- ISSN
- 1229-683X
- Abstract
- 인터넷의 범용적인 사용으로 많은 사용자들이 분산된 컴퓨팅 환경에서 원격 서버에 접속하는 일이 빈번해 지고 있다. 하지만 인증된 보호시스템 없이 안전하지 않은 채널을 통한 데이터의 전송은 재생공격이나 오프라인 패스워드 공격 및 가장공격등과 같은 문제점들에 노출되어 있다. 이에 따라 악의적인 공격들을 막기 위해 스마트카드를 이용한 인증프로토콜들에 대해 활발히 연구되고 있다. 본 논문은 패스워드 기반 사용자 인증시스템의 취약성을 분석하고 이에 대해 개선된 사용자 인증 시스템을 제안한다.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - School of Cyber Security > Department of Information Security > 1. Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholar.korea.ac.kr/handle/2021.sw.korea/121437)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.