[논문 리뷰] On attribute-based usage control policy ratification for cooperative computing context

Ziyi Su, Frédérique Biennier|arXiv (Cornell University)|2013. 05. 08.

Access Control and Trust참고 문헌 36인용 수 4

한 줄 요약

이 논문은 협업 계산 환경를 위한 속성 기반 사용 제어 정책 승인 체계를 제안하며, EBNF 문법, 추론 기반 제약 논리 프로그래밍(ACLP), 그리고 이벤트 미분법(EC)을 사용하여 정책 협상 및 집합을 모델링한다. 정책 집합 대수를 도입하여 특수성 우선 순위와 거부 우선 원칙을 통해 의미 일관성을 보장함으로써 충돌 없는 정책 병합과 가중치가 부여된 다수결 투표를 통한 파트너 추천을 가능하게 한다.

ABSTRACT

In an open information systems paradigm, real-time context-awareness is vital for the success of cooperation, therefore dynamic security attributes of partners should considered in coalition for avoiding security conflicts. Furthermore, the cross-boundary asset sharing activities and risks associated to loss of governance call for a continuous regulation of partners' behavior, paying attention to the resource sharing and consuming activities. This paper describes an attribute-based usage control policy shceme compline to this needs. A concise syntax with EBNF is used to summarize the base policy model. The semantics of negotiation process is disambiguated with abductive constraint logic programming (ACLP) and Event Calculus (EC). Then we propose a policy ratification method based on a policy aggregation algebra that elaborate the request space and policy rule relation. This method ensures that, when policies are aggregated due to resource sharing and merging activities, the resulting policy correctly interprets the original security goals of the providers' policies.

연구 동기 및 목표

• 다양한 보안 정책을 가진 파트너 간의 동적이고 맥락 인식 정책 협상을 가능하게 하여 협업 계산 환경에서 발생하는 보안 갈등을 해결한다.
• 특히 기관 간 경계를 초월한 자산 공유로 인해 거버넌스가 위협받을 경우에도 자원 공유 및 사용을 지속적으로 규제할 수 있도록 보장한다.
• 추론 기반 제약 논리 프로그래밍(ACLP)과 이벤트 미분법(EC)을 사용하여 정책 협상 및 집합의 의미를 형식화하여 정확한 요청-정책 매칭을 보장한다.
• 원본 제공자 정책의 보안 목표를 유지하면서 병합 과정에서 정확성과 일관성을 확보하는 정책 집합 대수를 개발한다.
• 가중치가 부여된 다수결 투표 기반으로 협업 환경에서 최적의 파트너를 추천하며, 이는 얇은 정책 규칙의 원칙(RoP)과 풍부한 정책 품질 지표(QoP) 프로필을 우선시한다.

제안 방법

• 조건, 권리, 제한, 의무를 포함하는 속성 기반 사용 제어 정책을 간결하게 기술하는 EBNF 기반 문법을 정의한다.
• 요청과 정책 규칙 간의 속성 조건 매칭을 해결하기 위해 추론 기반 제약 논리 프로그래밍(ACLP)을 사용하여 정책 협상 의미를 모델링한다.
• 의무 이행 및 속성 업데이트를 포함한 정책 상태의 시간적 동역학을 형식화하기 위해 이벤트 미분법(EC)을 적용한다.
• 이전 통합 대수의 확장 기반으로 특수성 우선 순위와 거부 우선 원칙을 통합하여 충돌을 해결하는 정책 집합 대수를 설계한다.
• 조건 > 권리 > 제한 > 의무의 순서로 우선순위를 부여하고, 더 넓은 호환성을 지닌 요소를 선호하는 방식으로 가중치가 부여된 다수결 투표 기반의 추천 메커니즘을 구현한다.
• 정책을 효율적으로 표현하고 결합하기 위해 다중 종단 이진결정다이어그램(MTBDDs)을 사용하여 글로벌 정책 집합을 최적화한다.

실험 결과

연구 질문

• RQ1 미지의 파트너와 함께 동적이고 협업 기반의 계산 환경에서 속성 기반 사용 제어 정책을 어떻게 형식적으로 명시하고 협상할 수 있는가?
• RQ2 요청-정책 매칭 과정을 명확히 하고 정책 집합에서 규칙 조합의 영향을 모델링하기 위해 어떤 형식적 의미론이 필요한가?
• RQ3 분산된 다중 도메인 환경에서 충돌을 해결하면서도 제공자 정책의 원래 보안 목표를 유지할 수 있는 정책 집합 방법은 무엇인가?
• RQ4 정책 호환성과 보안 프로필을 기반으로 협업 환경에서 최적의 파트너를 선정하기 위한 기준은 무엇인가?
• RQ5 MTBDD와 같은 형식적 표현을 사용하여 협업 비즈니스 프로세스의 여러 단계에서 정책 집합을 어떻게 최적화할 수 있는가?

주요 결과

• 제안된 정책 집합 대수는 최종 정책이 원본 제공자 정책의 공통 효과를 정확히 해석함으로써 의미 일관성을 유지함을 보여준다.
• 특수성 우선 순위와 거부 우선 원칙은 정책 갈등을 효과적으로 해결하며, 더 구체적이거나 거부를 포함하는 규칙이 우선순위를 가지도록 한다.
• 가중치가 부여된 다수결 투표 전략은 더 유리한 보안 프로필을 가진 파트너를 성공적으로 추천하며, 얇은 RoP(적은 제한)와 풍부한 QoP(넓은 호환성)를 우선시한다.
• MTBDD의 사용은 여러 정책의 효율적 표현과 조합을 가능하게 하여 집합 정책의 확장 가능한 글로벌 최적화를 지원한다.
• ACLP 및 EC 기반 협상 의미 모델링은 속성 조건 매칭과 시간적 정책 역학을 정확하게 해석하는 데 기여한다.
• 이 방법은 기관 간 협업에서 거버넌스 및 리스크 문제를 해결하기 위해 자산 사용 전 주기 동안의 지속적 규제를 효과적으로 지원한다.