普适计算隐私保护策略研究.doc

百度文库专用 普适计算隐私保护策略研究 魏志强1) 康密军2) 贾东宁1) 殷波1) 周炜1) 1) (中国海洋大学信息科学与工程学院 山东 青岛 266100) 2) (南昌航空大学信息工程学院 江西 南昌 330063) 摘 要 普适计算环境中，用户的隐私保护意志可以通过让用户自己制定隐私信息的访问控制策略（隐私策略）而得到实现，研究隐私策略的统一表示及其执行机制可以有效地解决隐私策略的多样性问题。本文使用多类逻辑和描述逻辑，建立了隐私策略模型和隐私策略公理，提出了隐私规则知识库的概念，给出了隐私策略的逻辑推理方法。在此之上，从应用的角度，定义了隐私策略本体，提出了隐私规则的执行流程。通过规则引擎，验证了隐私规则的有效性和可用性。 关键词 访问控制;策略;推理规则;普适计算;隐私保护 中图法分类号 TP393.08 Research on Privacy-Protection Policy for Pervasive Computing WEI Zhi-Qiang1) KANG Mi-Jun2) JIA Dong-Ning1) YIN Bo1) ZHOU Wei1) 1) (College of Information Science and Engineering, Ocean University of China, Qingdao 266100) 2) (College of Information Engineering, Nanchang Hangkong University, Nanchang 330063) Abstract 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. Keywords access control; policy; inference rule; pervasive computing; privacy protection 收稿日期：2009-7-15；最终修改稿收到日期：2009-9-13．本课题得到国家自然科学基金、山东省科技攻计划（2008G、山东省中青年科学家奖励基金（2007BS01002）和山东省重点自然科学基金（Z2007G06）资助．魏志强，男，1969年生，博士，教授，主要研究方向为软件工程、计算机图形图像处理和智能机器人．Email: weizhiqiang@．康密军，男，1970年生，博士，讲师，研究方向为智能信息系统和普适计算．贾东宁，男，1978年生，硕士，讲师，主要研究领域为软件工程．殷波，男，1976年生，博士，讲师，主要研究领域为智能