ODRL Policy Comparison Through Normalisation

이 논문은 ODRL 정책의 복잡성과 비표준화 문제를 해결하기 위해, 정책의 의미론을 보존하면서 이를 최소 구성 요소로 정규화하여 정책 간 비교를 단순화하는 알고리즘과 방법을 제안합니다.

핵심

🍳 1. 문제 상황: 너무 복잡하고 다양한 레시피들

디지털 세상에서는 "누가 어떤 파일을 언제, 어떻게 쓸 수 있는가"를 정하는 규칙 (정책) 이 많습니다. 이를 ODRL 이라는 언어로 적는데, 마치 요리 레시피와 같습니다.

하지만 현재 ODRL 규칙들은 다음과 같은 문제가 있었습니다.

• 너무 복잡함: "18 세 이상이고, 월요일에, 10 유로 이상 결제한 고객은 영화를 볼 수 있다"거나 "18 세 미만이면 5 유로만 내면 된다"는 식으로 조건이 복잡하게 얽혀 있습니다.
• 표현의 다양성: 같은 의미의 규칙도 사람마다 다르게 적을 수 있습니다. A 는 "18 세 이상 AND 10 유로"라고 썼고, B 는 "18 세 미만 OR 10 유로"라고 썼을 수 있습니다.
• 비교의 어려움: 두 레시피가 정말 같은지, 혹은 하나가 다른 것보다 더 엄격한지 확인하려면 두 문장을 하나하나 뜯어봐야 해서 매우 번거롭고 실수가 잦습니다.

🔪 2. 해결책: 규칙을 '최소 단위'로 자르기 (정규화)

이 논문은 이 복잡한 규칙들을 모두 같은 기준으로 잘게 썰어서 (정규화) 비교하는 방법을 제안합니다. 마치 복잡한 요리를 기본 재료 (소금, 설탕, 고기, 채소) 단위로 분해하는 것과 같습니다.

이 과정은 크게 두 단계로 이루어집니다.

1 단계: 복잡한 문장을 단순한 문장으로 바꾸기 (규칙의 단순화)

복잡한 논리 (AND, OR, NOT) 가 섞인 규칙을, 오직 **'조건 A 이고 조건 B 이다'**라는 가장 단순한 문장들의 나열로 바꿉니다.

• 비유: "월요일이거나 화요일이고, 비가 오지 않거나 우산을 들고 있으면"이라는 복잡한 조건을, "월요일 + 비 안 옴", "월요일 + 우산 있음", "화요일 + 비 안 옴", "화요일 + 우산 있음"이라는 네 가지 명확한 경우로 나눕니다.
• 효과: 이제 규칙이 복잡해 보일지라도, 실제로는 아주 단순한 조건의 집합일 뿐임을 알 수 있습니다.

2 단계: 숫자 구간을 잘게 나누기 (구간 분할)

"18 세에서 65 세 사이"나 "10 유로 초과" 같은 숫자 조건이 있을 때, 다른 규칙에 등장하는 숫자 (예: 20 세, 30 세, 50 세) 를 기준으로 구간을 잘게 나눕니다.

• 비유: "18 세부터 65 세까지"라는 긴 구간이 있다면, 다른 규칙에 '20 세'와 '30 세'라는 기준점이 있다면, 이를 **"1820 세", "2030 세", "30~65 세"**로 잘게 쪼갭니다.
• 효과: 이렇게 하면 두 규칙이 겹치는 부분이 있는지, 완전히 다른지 한눈에 비교할 수 있습니다.

⚖️ 3. 결과: 금지 (Prohibition) 를 허용 (Permission) 으로 바꾸기

이 논문에서 가장 흥미로운 점은 '금지'와 '허용'을 하나로 통일할 수 있다는 것입니다.

• 상황: "모든 사람은 영화를 볼 수 있다 (허용) 단, 18 세 미만은 금지"라는 규칙이 있다고 합시다.
• 변환: 이 논리를 적용하면, "18 세 미만은 볼 수 없다"는 금지 규칙을 제거하고, **"18 세 이상만 볼 수 있다"**는 허용 규칙만 남길 수 있습니다.
• 비유: "모든 사람이 들어갈 수 있지만, 신발을 벗지 않은 사람은 제외"라는 문구를, "신발을 신은 사람만 들어갈 수 있다"는 한 문장으로 바꾸는 것과 같습니다.
• 장점: 이제 '허용' 규칙만 남기 때문에, 두 정책이 같은지 비교할 때 '허용' 대 '허용'만 비교하면 되므로 훨씬 쉬워집니다.

🚀 4. 왜 이것이 중요한가요? (실용성)

이 방법을 사용하면 다음과 같은 이점이 생깁니다.

1. 호환성 향상: 복잡한 규칙을 지원하는 프로그램과 단순한 규칙만 지원하는 프로그램이 서로 대화할 수 있게 됩니다. (모든 규칙을 기본 재료로 썰어주니까요.)
2. 정확한 비교: 두 정책이 서로 충돌하는지, 하나가 다른 것을 포함하는지, 혹은 완전히 같은지를 컴퓨터가 자동으로 정확히 판단할 수 있습니다.
3. 간소화: 복잡한 법적 조항이나 디지털 권리 규정을 이해하기 쉬운 형태로 변환할 수 있습니다.

💡 요약

이 논문은 **"복잡하고 꼬인 디지털 권리 규칙들을, 마치 레시피를 기본 재료로 분해하듯 최소 단위로 쪼개고 정리하는 방법"**을 제시합니다.

이렇게 정리된 규칙들은 서로 비교하기가 매우 쉬워지고, '금지'와 '허용'을 하나로 통일할 수 있어, 디지털 권리 관리 시스템을 더 똑똑하고 효율적으로 만들 수 있게 해줍니다. 마치 복잡한 미로를 직선으로 뚫린 길로 만들어주는 것과 같습니다.

기술 요약

이 논문은 디지털 권리 표현을 위한 표준 언어인 ODRL(Open Digital Rights Language)의 복잡성과 상호운용성 문제를 해결하기 위해, ODRL 정책을 **정규화 **(Normalisation)하여 비교하는 새로운 접근법을 제안합니다.

저자 (Jaime Osvaldo Salas, Paolo Pareti, George Konstantinidis) 는 복잡한 논리 제약 조건을 단순화하고, 권한 (Permission) 과 금지 (Prohibition) 규칙을 단일 유형의 규칙으로 변환하는 알고리즘을 개발하여 정책 비교 및 검증의 효율성을 높였습니다.

아래는 논문의 주요 내용을 기술적으로 요약한 것입니다.

---

1. 문제 제기 (Problem)

ODRL 은 디지털 권리와 규정 표현의 사실상의 표준 (de-facto standard) 이 되었으나, 다음과 같은 근본적인 문제들이 존재합니다.

• 표현의 복잡성과 비표준화: ODRL 의 높은 표현력 (Expressivity) 으로 인해 문법적으로 다른 여러 방식으로 동일한 의미의 정책을 표현할 수 있습니다. 이로 인해 서로 다른 도구나 연구 간에 **상호운용성 **(Interoperability)이 떨어지고, 이론적 결과의 재사용이 어렵습니다.
• 정책 비교의 어려움: 의미적으로 동일한 정책이라도 표현 방식이 다르면 비교 (Containment, Equivalence, Overlap) 가 매우 복잡해집니다. 특히 권한과 금지 규칙이 혼재하고 복잡한 논리 제약 (AND, OR, NOT 등) 이 포함된 경우, 두 정책이 동일한지 또는 하나가 다른 하나에 포함되는지 판별하는 비용이 매우 큽니다.

2. 방법론 (Methodology)

이 논문은 Salas et al. [13] 이 정의한 ODRL 의 의미론 (Semantics) 을 기반으로 하며, 정책을 **최소 구성 요소 **(Minimal Components)로 분해하는 **매개변수화된 정규화 **(Parametrised Normalisation) 프로세스를 제안합니다.

2.1 정규화 과정의 두 단계

정규화는 크게 두 단계로 이루어집니다.

1. **제약 조건 정규화 **(Constraint Regularisation)

   • 복잡한 논리 제약 조건 (Boolean combinations) 을 **분리 정규식 **(Disjunctive Normal Form, DNF)으로 변환합니다.
   • 수치적 제약 (예: Age > 18) 과 부등호 (≥, ≤, ≠) 를 기본 연산자 (=, <, >) 만을 사용하는 단순한 제약 조건으로 재형식화합니다.
   • 이를 통해 복잡한 규칙을 여러 개의 **단순 규칙 **(Simple Rules)의 집합으로 분해합니다.

2. **구간 분할 **(Interval Splitting)

   • 수치적 구간 (예: 18 < Age < 65) 을 비교 대상 규칙에 포함된 상수 값 (Right Operands) 을 기준으로 분할합니다.
   • 예: 규칙 A 가 18 < Age < 65이고, 규칙 B 가 Age = 30을 포함할 때, 규칙 A 는 18 < Age < 30, Age = 30, 30 < Age < 65로 분할됩니다.
   • 이 과정을 통해 생성된 모든 단순 규칙은 서로 **소거 **(Disjoint)되도록 보장됩니다. 즉, 하나의 이벤트가 두 개의 서로 다른 단순 규칙에 동시에 매칭되는 경우가 없습니다.

2.2 권한과 금지 규칙의 통합

• **폐쇄 세계 가정 **(Closed-world assumption) 하에서, 금지 규칙은 권한 규칙의 예외 (Exception) 로 간주됩니다.
• 정규화를 통해 권한과 금지 규칙을 모두 동일한 형태의 단순 규칙 집합으로 변환한 후, 권한 집합에서 금지 규칙과 매칭되는 규칙을 제거합니다.
• 결과적으로 금지 규칙이 없는 순수한 권한 집합만 남게 되며, 이는 원래 정책과 의미적으로 동등합니다. (역으로 '기본 허용' 가정 하에서는 권한을 제거하고 금지 규칙만 남길 수도 있습니다.)

3. 주요 기여 (Key Contributions)

1. ODRL 정규화 알고리즘 개발: 복잡한 ODRL 규칙을 의미론을 보존하면서 단순한 규칙 집합으로 변환하는 알고리즘과 이를 구현한 프로토타입을 제공합니다.
2. 의미론적 보존 증명: 정규화 과정이 원래 정책의 의미 (Event 매칭 여부) 를 변경하지 않음을 수학적으로 증명했습니다. (Theorem 1, 2, 3)
3. 정책 비교의 단순화:
   • 정규화 및 구간 분할을 거친 후, 정책 간의 **포함 **(Containment), **동치 **(Equivalence), **중첩 **(Overlap) 여부를 판단하는 것이 단순히 두 단순 규칙이 동일한지 확인하는 문제로 축소됨을 보였습니다.
   • 복잡한 규칙 간 상호작용을 고려할 필요가 없어 비교 비용이 획기적으로 감소합니다.
4. 복잡도 분석:
   • 정규화 결과의 크기는 속성 (Attributes) 수에 대해 **지수적 **(Exponential)이고, 고유 값 (Unique Values) 수에 대해 **선형적 **(Linear)임을 분석했습니다.
   • 최악의 경우 (모든 제약이 논리 결합 형태일 때) 규칙 수가 $2^n$까지 증가할 수 있으나, 실제 ODRL 정책의 구조적 특성을 고려하면 관리 가능한 수준임을 시사합니다.

4. 결과 및 분석 (Results & Analysis)

• 정규화의 효과: 복잡한 논리 제약이 포함된 정책은 더 이상 논리 연산자를 필요로 하지 않는 기본 ODRL 조각 (Basic Fragments) 으로 표현 가능해집니다. 이는 기능이 제한된 도구에서도 복잡한 정책을 처리할 수 있게 하여 상호운용성을 증대시킵니다.
• 규칙 비교: 정규화된 정책 집합 $NS(P, V)$와$NS(F, V)$(각각 권한과 금지) 를 구한 후,$NS(P, V) \setminus NS(F, V)$를 계산하면 최종 유효한 권한 집합을 얻을 수 있습니다.
• **의무 **(Obligations) 정규화 알고리즘은 의무 규칙에는 적용되지 않습니다. 의무 규칙을 분할하면 새로운 의무가 생성되어 정책이 더 엄격해지기 때문입니다. 따라서 의무 규칙은 별도로 처리됩니다.

5. 의의 및 결론 (Significance & Conclusion)

이 연구는 ODRL 생태계에서 다음과 같은 중요한 의의를 가집니다:

• 상호운용성 강화: 서로 다른 ODRL 해석 도구 (예: 복잡한 논리를 지원하는 도구 vs 단순 권한만 지원하는 도구) 간의 호환성을 가능하게 합니다.
• 정책 검증 효율화: 정책의 충돌, 중복, 누락을 자동으로 감지하고 비교하는 도구의 개발을 용이하게 합니다.
• 표준화 기반: 최신 ODRL 2.2 버전의 핵심 기능에 초점을 맞추어, 실제 적용 가능한 정규화 프레임워크를 제시합니다.

결론적으로, 이 논문은 ODRL 정책의 복잡성을 해소하고, 정책 비교 문제를 단순한 규칙 일치 (Rule Identity) 문제로 환원시킴으로써 디지털 권리 관리 시스템의 신뢰성과 효율성을 높이는 기반 기술을 제시했습니다.