개요Take-Grant 모델은 컴퓨터 보안에서 권한의 생성, 이전, 위임을 수학적으로 모델링한 그래프 기반의 접근 제어 모델입니다. 특히 시스템 내 객체 간의 **권한 흐름(Authorization Flow)**을 시각화하고, 권한이 어떻게 확산될 수 있는지를 정형적으로 분석할 수 있도록 설계되었습니다. 이는 보안 정책의 설계, 검증 및 분석에 활용됩니다.1. 개념 및 정의Take-Grant 모델은 시스템 내의 **주체(Subject)**와 **객체(Object)**를 노드로, 접근 권한을 엣지로 표현하는 그래프 구조를 사용합니다. 모델의 핵심은 ‘take(획득)’와 ‘grant(위임)’라는 두 가지 연산을 중심으로 권한 이동 경로를 정의하는 것으로, 권한이 특정 주체에게 어떻게 도달하는지를 명확히 분석..
