정형검증을 통한 RFID 보안프로토콜 분석 및 구현
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 김현석 | - |
dc.contributor.author | 김주배 | - |
dc.contributor.author | 한근희 | - |
dc.contributor.author | 최진영 | - |
dc.date.accessioned | 2021-09-09T16:18:46Z | - |
dc.date.available | 2021-09-09T16:18:46Z | - |
dc.date.created | 2021-06-16 | - |
dc.date.issued | 2008 | - |
dc.identifier.issn | 1229-683X | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/125479 | - |
dc.description.abstract | Radio Frequency Identification(RFID: 무선주파수식별) 기술은 유비쿼터스 구조 기술의 중요한 한 부분을 이루고 있다. 태그를 이용한 모든 제품들이 이러한 서비스의 대상이 되고 있지만 불행히도 다방면에 이용되는 이면에는 사용자의 사생활과 사용자 및 판매자 간의 인증문제를 이용한 서비스 공격의 대상이 되고 있다. 현재 이러한 RFID 시스템의 보안 메커니즘들은 이슈화되고 있으며 본 논문에서는 여러가지 메커니즘들 중 사생활 및 인증문제 해결을 위해 정형검증을 통한 보안프로토콜 분석 및 취약성을 수정한 프로토콜을 제안하고자 한다. 또한 제안된 프로토콜의 실현가능성을 위한 구현가능성을 언급하고자 한다. | - |
dc.language | Korean | - |
dc.language.iso | ko | - |
dc.publisher | 한국정보과학회 | - |
dc.title | 정형검증을 통한 RFID 보안프로토콜 분석 및 구현 | - |
dc.title.alternative | Analysis and Implementation of RFID Security Protocol using Formal Verification | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | 최진영 | - |
dc.identifier.bibliographicCitation | 정보과학회논문지 : 시스템 및 이론, v.35, no.7, pp.332 - 339 | - |
dc.relation.isPartOf | 정보과학회논문지 : 시스템 및 이론 | - |
dc.citation.title | 정보과학회논문지 : 시스템 및 이론 | - |
dc.citation.volume | 35 | - |
dc.citation.number | 7 | - |
dc.citation.startPage | 332 | - |
dc.citation.endPage | 339 | - |
dc.type.rims | ART | - |
dc.identifier.kciid | ART001269805 | - |
dc.description.journalClass | 2 | - |
dc.description.journalRegisteredClass | kci | - |
dc.subject.keywordAuthor | Radio Frequency Identification(RFID: 무선주파수식별) | - |
dc.subject.keywordAuthor | 보안 프로토콜 | - |
dc.subject.keywordAuthor | 프라이버시 | - |
dc.subject.keywordAuthor | 정형검증 | - |
dc.subject.keywordAuthor | Radio Frequency Identification (RFID) | - |
dc.subject.keywordAuthor | Security Protocol | - |
dc.subject.keywordAuthor | Privacy | - |
dc.subject.keywordAuthor | Formal Verification | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
145 Anam-ro, Seongbuk-gu, Seoul, 02841, Korea+82-2-3290-2963
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.