CAJ | 학술논문

普适计算环境中,用户的隐私保护意志可以通过让用户自己制定隐私信息的访问控制策略(隐私策略)而得到实现,研究隐私策略的统一表示及其执行机制可以有效地解决隐私策略的多样性问题.文中使用多类逻辑和描述逻辑,建立了隐私策略模型和隐私策略公理,提出了隐私规则知识库的概念,给出了隐私策略的逻辑推理方法.在此之上,从应用的角度,定义了隐私策略本体,提出了隐私规则的执行流程.通过规则引擎,验证了隐私规则的有效性和可用性.
보괄계산배경중,용호적은사보호의지가이통과양용호자기제정은사신식적방문공제책략(은사책략)이득도실현,연구은사책략적통일표시급기집행궤제가이유효지해결은사책략적다양성문제.문중사용다류라집화묘술라집,건립료은사책략모형화은사책략공리,제출료은사규칙지식고적개념,급출료은사책략적라집추리방법.재차지상,종응용적각도,정의료은사책략본체,제출료은사규칙적집행류정.통과규칙인경,험증료은사규칙적유효성화가용성.
Enabling users to make privacy policy can meet their demand of protecting privacy in pervasive computing environment. In such a case, user privacy policies may be various. Therefore, it is very important to study uniform expression and execution mechanism of privacy policy. In this paper, a formal model to express user privacy policy is introduced by using many-sorted logic. Privacy policy axioms are put forward based on description logic, on the basis of these axioms, privacy rule KB is proposed that has the capacity of reasoning about privacy policy. For applying aforesaid model axioms, ontology is defined for privacy policy, and an execution mechanism is built by using inference rule technology. Finally the effect of privacy policy enforcement is verified in rule engine that supports backward chaining. Result shows the validity and availability of privacy rule in privacy-sensitive system.