文档介绍：中国海洋大学
博士学位论文
基于策略的普适计算隐私保护技术研究
姓名:康密军
申请学位级别:博士
专业:地图学与地理信息系统
指导教师:魏志强
20090601
基于策略的普适计算隐私保护技术研究要摘普适计算隐私保护问题可以描述为:在基于网络的应用环境中,用户的个人信息被系统采集、存储、处理和发布与共享时,如何保证用户的个人信息按照其意志被合法实体有效地访问。用户的意志可以通过让用户自己制定其隐私信息的访问控制策略讲呗来得到实现,本文主要研究了隐私策略的统一表示问题和隐私策略的执行机制问题。本文的主要工作在于:枋隽似帐始扑惴梦士刂疲诖嘶∩希攵云帐始扑阌τ场景和用户隐私策略命题,研究了隐私策略的基于谓词逻辑的形式化,即任何隐私策略可以形式化为谓词逻辑公式。本文认为,用户以自然语言描述的隐私策略是原始和简朴的,其形式化不仅仅是以数学语言重新翻译它,而是要结合普适计算应用的上下文,对包含在其中的隐性约束条件进行抽取和形式化。为此,描述了隐私策略命题的分解过程,并据此提出了原始隐私策略和可执行隐私策略的概念;给出了隐私策略形式化系统的字母表、项和公式的定义;根据普适计算应用特点,将普适计算应用系统抽象成一个数学结构,以便于隐私策略的形式化分析;给出隐私策略公式的解释和语义。芯苛嘶谝唤茁呒囊讲呗阅P停ü媚P屯骋涣斯成隐私策略基本要素的隐私策略原语,为本文的研究提供了一致的研究对象和隐私策略语义。在本章中,介绍了多类逻辑理论,并指出采用多类逻辑研究隐私策略模型的必要性。对自然语言描述的隐私策略样例,分析了构成隐私策略的各种原语,并将其作为用于描述隐私策略的多类逻辑的类。提出了隐私策略执行环境的模型,在此基础上,总结出了可执行的隐私策略模型。
樯芰嗣枋雎呒砺郏⒅赋龌诿枋雎呒南低常唤隹以存储术语和断言形式的领域知识,而且能提供基于术语和断言的推理服务。基于描述逻辑,并结合本文提出的隐私策略原语,⒘中的用户组公理和隐私策略公理以及中的个体断言,并指出使用隐私策略公理可以表示隐私策略。根据中包含的用户和用户属性、关系的个体断言,提出了隐私规则知识库,的概念,分析了隐私策略的形式化推理过程。诮樯芰薕本体语言和规则引擎的内容后,从面向应用的角度出发,主要研究了隐私策略基于本体的表示方法和基于规则的执行机制,在对隐私策略执行机制验证的基础上,提出了隐私策略在普适计算中的应用框架。对于隐私策略的本体表示,本文定义了一般规则的本体,在此基础上定义了隐私规则的本体,同时将隐私信息的查询请求也作为一种无前提的规则给予本体定义,基于这些本体,从较为抽象和泛化的层面,提出了隐私策略基于本体的一般表示方法,并通过对该表示方法的修改,增加了隐私策略对隐私信息粒度的控制功能。对于隐私策略的规则表示和推理,根据隐私策略原语,本文给出了隐私策略的规则表示,定义了隐私策略的分层执行环境以及相应的映射规则,从抽象的角度分析了隐私策略响应查询的执行流程,对该流程进行了实验验证。从一般设计的角度,借鉴计算机网络植隳P偷乃枷耄岢隽设计普适计算隐私保护系统的逻辑层次架构;根据上述的隐私策略本体表示和规则推理,从模式和框架的高度与层面,提出一个建议性的隐私策略在普适计算中的应用模型,并分析该应用模型的可实施性。砸讲呗缘难凹际踝隽顺醪降难芯俊=樯芰似帐始扑阒面向隐私保护的用户上下文,将用户上下文分为静态上下和动态上下文两大类,并指出用户上下文对于隐私策略在用户管理接口中的动态生成有直接的作用和影响。介绍了基于案例的推理闹饕J迪旨际酰
下文分析了隐私策略学习的过程。最后,就典型普适计算应用——基于在此基础上,提出了基于用户上下文和案例推理的隐私策略学习模型,研究了隐私策略案例的抽象表达方法以及案例索引的建立方法,根据一个普适应用场景,提出了一个隐私策略案例的检索算法,并结合用户上位置服务挠τ茫迪至艘桓鲇没恢眯畔⒈┞恫呗缘腃学习系统,以说明策略学习的可行性。关键词:普适计算;隐私保护;策略;推理;机器学习
籺,,甶’,琺甌甌琾甌瓵/.,猘甋,琣..—’.,
,.甅猻,珹琑:琲—,,,.甌,猳。,..,瑄
琣甌猙.,甀,瑃瓵.,琲.,.,瓵’,,琣甌
;;
导师签字:姒答字日期:日学位论文作者签名:勿枣毫尚厂独创声学位论文版权使用授权书签字日期:加嘏年翅遨直墓丝簧要挂别直盟数:奎拦亘窒蚱渌逃沟难换蛑な槭明本人声明所呈交的学位论文是本人在导师指导下进行的研究工作及取得的研究成果。据我所知,除了文中特别加以标注和致谢的地方外,论文中不包含其他人已经发表或撰写过的研究成果,也不包含未获得用过的材料。与我一同工作的同志对本研究