최소 전제조건 개념을 이용한 성질 기반 데이터 실링A Property-Based Data Sealing using the Weakest Precondition Concept
- Other Titles
- A Property-Based Data Sealing using the Weakest Precondition Concept
- Authors
- 박태진; 박준철
- Issue Date
- 2008
- Publisher
- 한국인터넷정보학회
- Keywords
- 보안; TPM(Trusted Platform Module); 데이터 실링; 무선이동 네트워크; 신뢰 컴퓨팅(Trusted Computing)
- Citation
- 인터넷정보학회논문지, v.9, no.6, pp.1 - 13
- Journal Title
- 인터넷정보학회논문지
- Volume
- 9
- Number
- 6
- Start Page
- 1
- End Page
- 13
- URI
- https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/22815
- ISSN
- 1598-0170
- Abstract
- 신뢰 컴퓨팅(Trusted Computing)은 하드웨어를 통해 컴퓨터 사용자가 제어할 수 있는 범위 이상에서 보안성을 제공하고, 컴퓨팅 장치에 대한 신뢰를 보장하는 기술을 말한다. 신뢰 컴퓨팅에서 규정한 TPM(Trusted Platform Module)이라는 전용 보안 칩은 신뢰성 있는 데이터 저장 및 신뢰성 있는 플랫폼 상태 보고를 가능하게 하는 핵심 장치이다.
데이터 실링은 데이터를 암호화할 때 특정한 플랫폼의 상태와 연관시켜 기존의 암호화를 통한 기밀성 보호를 한층 더 강화한 강력한 보안 기법이다. 데이터 실링에는 이진 해쉬 값 기반의 플랫폼 구성 상태를 직접 활용하는 방식과 플랫폼의 제공 성질(property)을 실링에 활용하는 방식이 있다. 본 논문에서는 Dijkstra가 제안한 최소 전제조건 개념을 이용한 새로운 성질 기반의 데이터 실링 및 해제 프로토콜을 제안한다. 제안하는 프로토콜은 실링 할 때와 동일한 성질에서 실링 해제를 가능하게 하여 정상적 시스템 업데이트 시 실링 해제가 가능하도록 한다. 그러면서 기존 성질 기반 실링 방식의 문제점인 제3자 신뢰 기관의 비현실성 및 플랫폼의 프라이버시 노출 문제를 해결하였다. 본 논문은 제안 프로토콜의 보안성을 분석적으로 제시하였으며, Strasser가 개발한 소프트웨어 TPM 에뮬레이터 환경에서 프로토콜을 구현하여 그 동작성을 실험적으로 입증하였다. 제안 기법은 데스크탑 PC는 물론 무선 이동 네트워크 상의 PDA나 스마트 폰 플랫폼에도 적용 가능하다.
- Files in This Item
- There are no files associated with this item.
- Appears in
Collections - College of Engineering > Computer Engineering > Journal Articles
![qrcode](https://api.qrserver.com/v1/create-qr-code/?size=55x55&data=https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/22815)
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.