[논문 리뷰] Secure Component Deployment in the OSGi(tm) Release 4 Platform

Pierre Parrend, Stéphane Frénot|arXiv (Cornell University)|2006. 07. 11.

Security and Verification in Computing인용 수 6

한 줄 요약

이 논문은 OSGi R4 플랫폼에서 암호학적 서명을 통한 OSGi 번들의 무결성과 신원을 보장하는 보안 컴포넌트 배포 메커니즘을 제안한다. Apache Felix 프레임워크의 보안 확장인 SFelix와 번들을 서명하고 검증하는 데 사용되는 도구인 SFelix JarSigner를 도입하여, 디지털 서명과 인증서 검증을 통한 OSGi R4 보안 레이어 사양을 구현한다.

ABSTRACT

Last years have seen a dramatic increase in the use of component platforms, not only in classical application servers, but also more and more in the domain of Embedded Systems. The OSGi(tm) platform is one of these platforms dedicated to lightweight execution environments, and one of the most prominent. However, new platforms also imply new security flaws, and a lack of both knowledge and tools for protecting the exposed systems. This technical report aims at fostering the understanding of security mechanisms in component deployment. It focuses on securing the deployment of components. It presents the cryptographic mechanisms necessary for signing OSGi(tm) bundles, as well as the detailed process of bundle signature and validation. We also present the SFelix platform, which is a secure extension to Felix OSGi(tm) framework implementation. It includes our implementation of the bundle signature process, as specified by OSGi(tm) Release 4 Security Layer. Moreover, a tool for signing and publishing bundles, SFelix JarSigner, has been developed to conveniently integrate bundle signature in the bundle deployment process.

연구 동기 및 목표

• 컴ponent 기반 시스템에서 증가하는 보안 위험, 특히 OSGi 플랫폼을 사용하는 임베디드 환경에서의 보안 위험을 해결한다.
• OSGi의 런타임 제약 조건과 사양 요구 사항과 호환되지 않는 기존 도구들(예: Sun Jarsigner)의 취약점을 규명한다.
• OSGi R4 보안 레이어 사양과 일치하는 보안적이고 통합된 번들 서명 및 검증 솔루션을 개발한다.
• 실세계 OSGi 환경에서 보안 배포를 가능하게 하는 프로덕션 수준의 확장 가능하고 유연한 프레임워크(SFelix)와 도구(SFelix JarSigner)를 제공한다.
• OSGi 번들 보안을 위한 도구 부족 문제를 해결하기 위해 완전하고 표준 준수된 서명 및 검증 파이프라인을 구현한다.

제안 방법

• 비대칭 암호 기법을 사용한 디지털 서명을 기반으로 한 보안적 번들 서명 프로세스를 OSGi R4 보안 레이어 사양에 따라 설계 및 구현한다.
• 해시 함수(예: SHA-256), 디지털 서명(예: RSA), X.509 인증서 검증과 같은 암호학적 메커니즘을 OSGi 번들의 수명 주기 내에 통합한다.
• Apache Felix OSGi 프레임워크를 확장하여 런타임 동안 번들 검증 기능을 추가하여, 서명된 신뢰할 수 있는 번들만 로드되도록 한다.
• 개인 키를 사용하여 OSGi 번들을 자동으로 서명하고, 메니페스트, 서명, 블록 파일을 생성하는 GUI 및 명령줄 도구인 SFelix JarSigner를 개발한다.
• 서명된 번들을 세 구성 요소로 구성한다: 메니페스트 파일(메타데이터), 서명 파일(디지털 서명), 서명 블록 파일(인증서 체인).
• 암호학적으로 강력하고 표준 준수된 운영을 보장하기 위해 Bouncy Castle 및 FIPS-인증된 암호학적 라이브러리를 활용한다.

실험 결과

연구 질문

• RQ1 OSGi 번들을 어떻게 암호학적으로 보호하여 배포 중 무결성과 신원을 보장할 수 있는가?
• RQ2 OSGi R4 플랫폼에 보안 서명 및 검증 메커니즘을 통합하는 데 있어 아키텍처적 및 구현적 과제는 무엇인가?
• RQ3 기존 도구들(예: Sun Jarsigner)이 OSGi의 런타임 및 보안 모델과 어떻게 부적합하거나 불충분한가?
• RQ4 표준 준수된 방식으로 OSGi 번들을 서명하고 검증하기 위한 핵심 구성 요소와 워크플로우는 무엇인가?
• RQ5 보안적이고 확장 가능하며 프로덕션 수준의 OSGi 프레임워크 확장(SFelix)을 설계하고 구현하여 보안 컴포넌트 배포를 지원하는 방법은 무엇인가?

주요 결과

• SFelix 플랫폼은 Apache Felix를 직접 확장하여 런타임에 서명된 OSGi 번들을 자연스럽게 검증하고, 서명되지 않거나 변조된 번들을 거부한다.
• SFelix JarSigner 도구는 개발자가 개인 키로 번들을 서명하고, 필요한 메니페스트, 서명, 블록 파일을 단일 사용자 友好的 프로세스로 생성할 수 있도록 한다.
• 구현은 OSGi R4 보안 레이어 사양을 정확히 따르며, SHA-256 및 RSA와 같은 표준 암호학적 원리들을 사용한다.
• Bouncy Castle 및 FIPS-인증된 암호학적 라이브러리의 사용은 강력한 암호학적 보안과 연방 표준 준수를 보장한다.
• 시스템 수준의 명령줄 도구에 의존하지 않고, OSGi 프레임워크 내부에 서명 및 검증 기능을 통합함으로써 외부 도구(예: Sun Jarsigner)의 한계를 극복한다.
• SFelix의 런타임 검증은 테스트 케이스를 통해 확인되었으며, SFelix 셸에서 서명되지 않은 번들이 거부되는 것으로 입증되었다.