The CHAOS(ChibiOS-based High-Assurance Operating System) Project

프로젝트 개요

    1. 프로젝트 명

           고등급(EAL6 이상)보안 마이크로커널 개발 (이 프로젝트는 정부의 재원으로 정보통신기술평가원의 지원을 받아 수행된 연구임)

   2. 프로젝트 수행 목적

           고등급(EAL6 이상) 보안 마이크로커널 개발 및 고등급 평가에서 요구되는 주요 평가제출물 작성 방법론 도출

   3. 프로젝트 수행팀

• 고려대학교 김승주교수 연구팀
  • 김승주, 강수영, 곽지원, 김동우, 김예준, 김정현, 김찬진, 민정기, 박신철, 박재현, 서재완, 이지섭, 윤태연, 정명우, 정승연, 조광수, 최원빈, 홍바울 등 총 18명
    
• 고려대학교 최진영교수 연구팀
  • 최진영, 김영미, 김응남, 박웅섭, 박진우, 윤성호, 이종훈, 이용준, 이혁, 최홍준, 허승원 등 총 11명
    
• 성균관대학교 김형식교수 연구팀
  • 김형식, 김귀주, 김베드로, 김수린, 김은수, 김태윤, 김태영, 문태근, 배준휘, 서은일, 신동순, 아이쉬와랴, 오용우, 이길희, 이대화, 이민욱, 이찬종, 장윤희, 장한빈, 장희준, 조금환, 조준성, 지우중, 진범진, 차승훈, 최원석, 최정석, 최주섭, 최현재, AIKEN WILLIAM VINCENT 등 총 30명
    
• 연세대학교 차호정교수 연구팀
  • 차호정, 강재윤, 김대용, 김지원, 박성훈, 박준범, 송치영, 안준익, 이건희, 이학준, 전승혁, 최용훈 등 총 12명
    

프로젝트 1단계 연구 결과물

• ✨과제 수행 결과물✨

  • 고등급 보안 마이크로커널 소스코드  

  국제 표준에서 권장하는 기법과 도구를 활용하여 개발된 드론용 고등급 보안마이크로커널의 소스코드

  • 고등급 평가제출물

  국제표준에서 고등급 보안 및 안전수준을 확보하는데 요구하는 사항에 따라 작성된 평가문서

  • 주요 특허 및 논문

  과제를 수행하며 출원 및 등록된 특허와 논문 목록

• ✨과제 세부 수행 내역✨

  • 요구사항  

  위협 모델링(Threat Modeling) 또는 HARA(Hazard Analysis and Risk Analysis)와 같은 방법론을 활용한 CHAOS 기능 요구사항 도출 내역
       [참조할 평가제출물]
       1. [보안성] 보안목표명세서
       2. [보안성] 보안정책모델 문서
       3. [안전성] SW 요구사항 안전성 분석보고서
       4. [안전성] SW 안전기능 요구사항 명세서
  

  • 설계  
    

  Isabelle/HOL과 YAKINDDU를 활용한 CHAOS 설계 내역
       [참조할 평가제출물]
       1. [보안성] 기능명세서
       2. [보안성] 보안아키텍처 문서
       3. [보안성] TOE 설계서
       4. [안전성] SW 안전기능 설계명세서
       5. [안전성] SW 설계 안전성 분석보고서
  

  • 테스팅  

  Polyspace Bugfinder와 AFL을 활용한 CHAOS에 대한 테스팅 결과와 실 환경에서의 정상 동작 여부를 점검하기 위해 자체 테스트 스크립트를 활용한 테스팅 결과
       [참조할 평가제출물]
       1. [보안성] 시험서
       2. [안전성] SW 단위 시험계획서
       3. [안전성] SW 코드 안전성 분석 보고서
  

  • 개발환경 및 활용도구
    

       1. [보안성] 개발보안 문서
       2. [보안성] 도구와 기법 문서
  

• ✨성능 비교✨