[논문 리뷰] Nonmonotonic Trust Management for P2P Applications

Marcin Czenko, Huu Tam Tran외 4명|arXiv (Cornell University)|2005. 10. 21.

Access Control and Trust인용 수 12

한 줄 요약

이 논문은 페어 투 페어(P2P) 가상 공동체에서 비단조화적 접근 제어를 지원하기 위해 '맥락 내 부정'을 도입한 역할 기반 신뢰 관리(RT) 언어의 확장인 RT$_{\mkern-3.0mu\ominus}$를 제안한다. 잘 정의된 의미론을 활용한 논리 프로그램의 의미론을 통합함으로써, 맥락적 조건에 따라 접근을 취소하거나 거부할 수 있는 신뢰 정책에 대한 추론을 가능하게 하여, 단조성 조건을 요구하지 않으면서도 확장 가능하고 안전한 공동체 기반 접근 결정을 실현한다.

ABSTRACT

Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management languages such as the family of Role Based Trust Management languages (RT). To solve this problem we propose RT-, which adds a restricted form of negation to the standard RT language, thus admitting a controlled form of non-monotonicity. The semantics of RT- is discussed and presented in terms of the well-founded semantics for Logic Programs. Finally we discuss how chain discovery can be accomplished for RT-.

연구 동기 및 목표

• 비단조화적 추론이 필요한 공동체 기반 접근 제어 결정을 모델링하는 데에 단조성 신뢰 관리 언어의 한계를 해결하기 위해.
• 가상 공동체가 자격 증명 축적 외에도 맥락적 조건에 따라 접근을 거부하거나 취소할 수 있는 정책을 표현할 수 있도록 하기 위해.
• 논리 프로그램의 잘 정의된 의미론을 사용하여 비단조화적 신뢰 정책에 대한 의미론을 체계화하기 위해.
• 발급자 추적 가능 자격 증명 환경에서 RT$_{\mkern-3.0mu\ominus}$를 지원하기 위해 체인 탐색 알고리즘을 확장하기 위해.
• Freeband I-SHARE 프로젝트와 같은 P2P 시스템에서 분산 접근 제어 정책을 특정하고 시행하기 위한 실용적 기반을 제공하기 위해.

제안 방법

• RT$_0$ 신뢰 관리 언어를 '맥락 내 부정'을 위한 새로운 문장 유형으로 확장하여 맥락 지식에 기반한 조건적 접근 거부를 가능하게 한다.
• RT$_{\mkern-3.0mu\ominus}$ 정책을 일반 논리 프로그램으로 매핑하여 비단조화적 추론을 위한 잘 정의된 의미론을 활용한다.
• 잘 정의된 의미론을 사용하여 기본 부정을 처리하고, 충돌하거나 불완전한 정보가 존재하는 상황에서도 일관되고 안정적인 신뢰 결정을 보장한다.
• 기존 RT$_0$의 체인 탐색 알고리즘을 맥락 민감한 부정을 통합하여 자격 증명 경로 검증 중에 처리함으로써 RT$_{\mkern-3.0mu\ominus}$를 지원하도록 수정한다.
• 정책의 완전성과 소속 결정을 평가하기 위해 XSB, DLV, Smodels와 같은 시스템을 활용한 모델 체킹 접근 방식을 사용한다.
• 모든 관련 자격 증명이 체인 탐색 중에 수집되고 검증될 수 있도록 발급자 추적 가능 자격 증명을 가정한다.

실험 결과

연구 질문

• RQ1 P2P 가상 공동체에서 신뢰 관리 언어를 사용하여 비단조화적 접근 제어 정책을 효과적으로 모델링할 수 있는가?
• RQ2 논리 기반 신뢰 관리 시스템에 맥락 내 부정을 공식적으로 통합할 수 있는가? 이는 일관성이나 확장성의 손상을 초래하지 않는다.
• RQ3 신뢰 정책에서 맥락적 부정이 존재할 경우에도 타당하고 완전한 추론을 지원하는 의미론은 무엇인가?
• RQ4 기존의 체인 탐색 알고리즘이 RT$_{\mkern-3.0mu\ominus}$의 비단조화적 정책을 지원하도록 확장될 수 있는가?
• RQ5 비중앙집중적이고 공동체 중심의 P2P 시스템에서 신뢰 관리에 비단조화성이 실질적으로 어떤 영향을 미치는가?

주요 결과

• RT$_{\mkern-3.0mu\ominus}$ 언어는 맥락 내 부정의 통제된 형태를 도입함으로써 가상 공동체에서 비단조화적 접근 제어 정책을 성공적으로 지원한다.
• 잘 정의된 의미론은 맥락에 따라 접근을 취소하거나 거부할 수 있는 신뢰 결정에 대해 안정적이고 잘 이해된 기반을 제공한다.
• RT$_{\mkern-3.0mu\ominus}$ 정책을 논리 프로그램으로 변환함으로써 XSB 및 DLV와 같은 표준 논리 실행 엔진을 사용한 정책 평가가 가능해진다.
• 발급자 추적 가능 자격 증명을 가정할 경우 RT$_{\mkern-3.0mu\ominus}$에서의 체인 탐색은 가능하며, 이는 존재하는 RT$_0$ 알고리즘에 맥락 인식 부정 처리 기능을 추가함으로써 확장된다.
• 이 프레임워크는 Freeband I-SHARE 프로젝트에서 가상 공동체 정책을 특정하고 구현하는 데 성공적으로 적용되어 실용적 타당성을 입증했다.
• 논문은 발급자 추적 불가 시나리오에서의 열린 과제를 규명하고, 안전한 역할 정의 및 통신 효율적인 체인 탐색에 대한未래 연구를 제안한다.