[논문 리뷰] CrySL: Validating Correct Usage of Cryptographic APIs

Stefan Krüger, Johannes Späth외 3명|arXiv (Cornell University)|2017. 10. 02.

Advanced Malware Detection Techniques인용 수 2

한 줄 요약

CrySL은 Java 암호화 아키텍처(JCA) API에 대한 정확한 사용 패턴을 형식적으로 명세할 수 있도록 해주는 도메인 특화 언어이다. 이 언어는 CogniCryptsast 정적 분석기로 컴파일되어 맥락 및 플로우 민감한 분석으로 변환되며, 암호화 오용을 탐지한다. 10,001개의 안드로이드 앱을 대상으로 한 평가에서 CrySL 기반 분석은 96%의 앱에서 최소한 하나의 오용을 탐지했으며, 이는 광범위한 비보안적 사용 패턴과 함께 도구가 심각한 보안 결함을 효과적으로 식별할 수 있음을 보여준다.

ABSTRACT

Various studies have empirically shown that the majority of Java and Android apps misuse cryptographic libraries, causing devastating breaches of data security. Therefore, it is crucial to detect such misuses early in the development process. The fact that insecure usages are not the exception but the norm precludes approaches based on property inference and anomaly detection. In this paper, we present CrySL, a definition language that enables cryptography experts to specify the secure usage of the cryptographic libraries that they provide. CrySL combines the generic concepts of method-call sequences and data-flow constraints with domain-specific constraints related to cryptographic algorithms and their parameters. We have implemented a compiler that translates a CrySL ruleset into a context- and flow-sensitive demand-driven static analysis. The analysis automatically checks a given Java or Android app for violations of the CrySL-encoded rules. We empirically evaluated our ruleset through analyzing 10,001 Android apps. Our results show that misuse of cryptographic APIs is still widespread, with 96% of apps containing at least one misuse. However, we observed fewer of the misuses that were reported in previous work.

연구 동기 및 목표

• 자바 및 안드로이드 애플리케이션에서 널리 퍼져 있는 암호화 API 오용 문제를 해결함으로써 심각한 데이터 유출을 방지한다.
• 이상 탐지 및 속성 유추의 한계를 극복하기 위해 정확하고 전문가가 작성한 사용 패턴 명세를 가능하게 한다.
• 소프트웨어 개발 생애주기의 초기 단계에서 암호화 오용을 체계적으로 탐지할 수 있는 실용적이고 확장 가능하며 스케일러블한 솔루션을 제공한다.
• 암호화 전문가와 개발자가 고수준의 도메인 특화 언어를 통해 보안 사용 패턴을 정의하고 강제 적용할 수 있도록 한다.

제안 방법

• CrySL은 메서드 호출 시퀀스, 데이터 플로우 제약 조건, 암호화 전용 제약 조건(예: 키 크기, 알고리즘 매개변수)을 조합하여 정확한 API 사용 패턴을 정의한다.
• 이 언어는 술어, 이벤트, 제약 조건을 지원하여 암호화 객체 간의 상호작용을 모델링하고 올바른 순서 및 매개변수 값의 강제 적용을 가능하게 한다.
• CogniCryptsast는 CrySL 규칙을 맥락 및 플로우 민감한, 요구에 따라 동작하는 정적 분석 엔진으로 컴파일하여 자바 및 안드로이드 애플리케이션을 검사한다.
• 분석은 심볼릭 실행을 수행하여 객체 상태와 메서드 호출 시퀀스를 추적하며, CrySL로 명세된 규칙 위반 여부를 탐지한다.
• 시스템은 자바 유사 문법을 통해 규칙 작성 기능을 제공하여 비전문가 및 암호화 전문가가 규칙를 정의하고 확장할 수 있도록 한다.
• 도구는 유형 상태 분석을 통합하여 금지된 메서드 호출을 탐지하고 대규모 환경에서 보안 사용 패턴을 강제 적용한다.

실험 결과

연구 질문

• RQ1 형식적이고 전문가가 작성한 명세를 통해 자바 및 안드로이드 애플리케이션에서 암호화 오용을 체계적으로 대규모로 탐지할 수 있는 방법은 무엇인가?
• RQ2 도메인 특화 언어가 보안 암호화 API 사용을 위해 필요한 복잡한, 매개변수화된 제약 조건을 효과적으로 표현할 수 있는가?
• RQ3 정밀한 규칙 기반 정적 분석을 통해 실제 세계의 안드로이드 애플리케이션에서 암호화 오용이 얼마나 광범위하게 발생하는가?
• RQ4 CrySL 기반 분석의 성능 및 정밀도는 기존 도구인 CryptoLint 및 CMA와 비교하여 어떻게 다른가?
• RQ5 형식적 명세 언어는 하드코딩된 솔루션에 비해 보안 규칙 세트의 유지보수 및 확장 부담을 줄일 수 있는가?

주요 결과

• CrySL 기반 분석은 분석한 10,001개의 안드로이드 앱 중 96%에서 최소한 하나의 암호화 오용을 탐지하여 비보안적 API 사용의 광범위한 존재를 확인했다.
• 이전 연구 대비 가장 흔한 오용 유형의 발생 횟수를 줄여, 규칙 인코딩의 정밀도 향상을 시사했다.
• 분석 대상 앱의 75% 이상이 4분 이내에 스캔되어 대규모 분석에 있어 수용 가능한 성능을 입증했다.
• 분석은 JCA를 사용한 4,071개 앱에서 총 20,000건의 고유한 오용 사례를 성공적으로 식별했다.
• 맥락 및 플로우 민감한 정적 분석을 활용함으로써 CogniCryptsast는 이전 접근 방식에 비해 거짓 경고를 줄이며 높은 정밀도를 달성했다.
• 평가 결과, 암호화 전문가가 작성한 CrySL 규칙가 복잡한 암호화 제약 조건(예: 키 크기, 알고리즘 모드 요구 사항)을 효과적으로 포괄할 수 있음을 확인했다.