고보증1 728x90 반응형 [운영체제] seL4 소개 아래는 seL4 홈페이지에서 seL4를 소개하는내용을 번역한 것이다. seL4는 고보증(High-Assurance), 고성능(High-Performance)의 운영체제 마이크로커널이다. seL4는 성능저하 없는 정형검증(Formal verification)으로 인해 특별하다. seL4는 안전필수(Safety-Critical) 시스템과 보안필수(Security-Critical) 시스템을 구축하기 위해 신뢰할 수 있는 기반이다. seL4는 seL4 재단이 지원하고 Github에서 오픈소스로 제공된다. 커널이 된다는 것은 소프트웨어 시스템의 핵심에서 소프트웨어 조각이 실행되고 리소스에 대한 모든 액세스를 제어하는 소프트웨어라는 의미이다. sel4는 세밀한 접근제어를 Capability-based secur.. 2021. 11. 17. 이전 1 다음
