정형기법을 이용한 M2M 보안 프로토콜의 안전성 검증Formal verification of M2M security protocols
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Lee, Sinjae | ko |
| dc.contributor.author | Choi, Jin Young | ko |
| dc.date.accessioned | 2019-09-03T06:21:15Z | - |
| dc.date.available | 2019-09-03T06:21:15Z | - |
| dc.date.created | 2019-08-29 | - |
| dc.date.created | 2019-08-29 | - |
| dc.date.issued | 2011-07-01 | - |
| dc.identifier.citation | 한국컴퓨터종합학술대회, pp.332 - 335 | - |
| dc.identifier.uri | http://hdl.handle.net/10203/266632 | - |
| dc.description.abstract | 미래 산업으로서 주목받고 있는 M2M(사물지능통신)은 IT 기술, 이동통신, 무선기술 그리고 기기의 발전 을 통해 많은 기술 연구가 진행되고 있다. 사람의 개입 없이 이루어지는 M2M 통신환경은 데이터 노출, 도용, 프라이버시 문제 등 여러 가지 보안 위협에 쉽게 노출될 수 있는 가능성이 존재하기 때문에 보안 표준과 안전한 통신 프로토콜 기술개발이 중요하다. 본 논문에서는 디바이스의 정보를 서버에 저장하지 않아 공격자가 서버의 공격을 통해 저장된 값을 알아내더라도 디바이스의 정보가 노출되지 않고 디바이스와 서버간의 안전한 통신을 할 수 있는 M2M 보안프로토콜을 제안하고 정형검증 도구를 이용하여 안전성을 분석하였다. | - |
| dc.language | Korean | - |
| dc.publisher | 한국정보과학회 | - |
| dc.title | 정형기법을 이용한 M2M 보안 프로토콜의 안전성 검증 | - |
| dc.title.alternative | Formal verification of M2M security protocols | - |
| dc.type | Conference | - |
| dc.type.rims | CONF | - |
| dc.citation.beginningpage | 332 | - |
| dc.citation.endingpage | 335 | - |
| dc.citation.publicationname | 한국컴퓨터종합학술대회 | - |
| dc.identifier.conferencecountry | KO | - |
| dc.identifier.conferencelocation | 경주교육문화회관 | - |
| dc.contributor.localauthor | Lee, Sinjae | - |
| dc.contributor.nonIdAuthor | Choi, Jin Young | - |
- Appears in Collection
- CS-Conference Papers(학술회의논문)
- Files in This Item
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.