中文摘要：

普适计算环境中,用户的隐私保护意志可以通过让用户自己制定隐私信息的访问控制策略（隐私策略）而得到实现,研究隐私策略的统一表示及其执行机制可以有效地解决隐私策略的多样性问题.文中使用多类逻辑和描述逻辑,建立了隐私策略模型和隐私策略公理,提出了隐私规则知识库的概念,给出了隐私策略的逻辑推理方法.在此之上,从应用的角度,定义了隐私策略本体,提出了隐私规则的执行流程.通过规则引擎,验证了隐私规则的有效性和可用性.

英文摘要：

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.