(사이버보안 강좌) 제2장. 형식적 이론 토대: 접근 제어 행렬 - 접근제어 및 다중 레벨 보안의 이론적 토대
Автор: CyberEzy 사이버이지
Загружено: 2026-02-24
Просмотров: 2
Описание:
접근제어 및 다중 레벨 보안의 이론적 토대
제2장. 형식적 이론 토대: 접근 제어 행렬
접근 제어 행렬(ACM)은 주체와 객체 간의 인가된 접근 권한을 매핑하는 개념적 테이블을 제공한다. 대규모 시스템에서의 희소성 문제로 인해 이 모델은 접근 제어 목록(ACL) 및 역량 목록과 같은 실질적인 추상화 방식을 통해 구현된다. 동적 정책 관리는 권한의 생성, 소멸 및 위임을 위한 기본 명령을 정의하는 Graham-Denning 모델에 의해 다뤄진다. 시스템 안전성에 대한 수학적 연구는 Harrison-Ruzzo-Ullman(HRU) 모델을 통해 확장되며, 인가된 시퀀스를 통한 권한의 전파를 분석한다. 중요한 이론적 발견은 일반적인 경우 안전성 문제가 결정 불가능함을 증명하며, 이는 무단 접근 방지의 복잡성을 강조한다.
이 영상은 사이버이지(CyberEzy)에서 강좌를 선택하고 생성, 가공한 다음 NotebookLM의 "동영상 개요"로 제작된 영상입니다.
#접근제어행렬 #ACM #GrahamDenning #HRU모델 #안전성문제 #ACL #역량목록 #위임 #정형기법 #상태전이
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: