第卷期计算机学报３ １Ｖｏｌ．年月２０ＣＨＩＮＥＳＪＯＵＲＡＬＦＭＰＴａｎ隐私保护策略海洋大与院岛南昌航空摘环境用户的意可以通过让己制定访问控而实现一表示及其执行有效地解决多样性文使类逻辑描述建立了模型公提出规则知识库概念给推法在此之上从应角度义体流引擎验证键词分号／犇犗犐４犚犲狊犪狉犮犺狅狀犘犻狏狋犾犳犆犿狌狔狆犵ＷＱＫＤＹ犛犱犈犝犙犖犎犽犃犫ｂｓｒｔｋｐｖｙｆｘ犓狑察觉或免打扰情况言即例如身份偏好当前活动位置安排等于供无所不透明时采集式个化服务需下感功医疗看特收稿日：；最终修改到本课题得国家自然科基金（）、山东省技攻关划９７５６８Ｇ中青奖励和重点资助魏志强，男生博士教授ＢＺ导师主要研究领域为软件工程图形像处理智能器人康密军讲ｍｉｗｅｚｈｑｇ＠ｕｃｄ方向信息系统普适贾宁硕殷波周炜书
魏志９征参数（血压、心率等）在普适计算环境中，个人信虽风格上意．息的使用过程涵盖了户据整生命周从角度看们期包括对其采集存储传输和处理隐私问构题主要发这基本首简称４先具有覆范围广方式不可见特何条获犝点属于系统行为由来说即犗犃ＩＦＴＨＥＮ密性一保护需犮狅狀犱犻狋求；次以服务目实质是Ｂ被与交互它体软件或共享：控此〈〉∷＝→也产两种情况下如果约束｛［且］｝｜缺乏机制都会受到威操作胁就引当全部满足时概念没标准定义但强调各能力让布尔组合访策略效句份因仅随改变而利客ｐｏｌｉｃｙｒｍｔｖｅｓ提供灵活自应接口现授权规则通记执创建狆请者狌根检查拥某些社织所成狉犲犾犪般然语言描述容易歧研究表示色显出还状态狏狔文第节分析原立地位置２阶逻辑模型公并讨论间符号３推法给前狑犿犛验证相关最后结阐段内三５贡献元允许动∈×犘 抽象谓幂词形多样ａｎｄｇ复杂反映经同化得项取值域达别类区犫犼１犚狇狊犜
学报年０上述个类是很自然的选择由于本文使用多逻５．辑来建立隐私策略模型，在具体应中如果需功此给出要加入新并不改变特征和义性质基下编译２ 普适计算（）一内ｃｏｎｔｅｘ涵广概念从保护求看可以把它作种包含人知识信息仓库其括两４：静态动称根据户对情况描进命题转换般会随着时间而化制定、推理后执行过程起关键例∩犘ａ→狆为原语赋值与及密公代授权谓词符号∈犃切相１姓名电子邮件等这些ｐｒｆｉｌ必主标身份支持完备共客拥有者；环境社组织系请该所“我办室事非常重”ＢｂＡ也形式３列段设置犲狉狊狅狀犪犾犻犮∧犫周期即按照日工生活规犿狔被访问区分犵狌犗犳休又划狑犽犺犔狋反映了狇否满足表现同状或位地通感技术统实获得点将存储到范犈ＮＦ机当参希望成员查询∷＝犝［…样就｜］狏充角度前另６约束准条仅达最直白意愿说想产效借助解丰富犛构之施犱似序言连失抽象接图示源
期魏志强保护究，…［（）系任户自己狋１∈犛２犿狆∧所信息或电病历等来说 狀→］均实犪犾狅狑犲犱狌ｒｐ简记为果则也犳其中表示一阶多类逻辑的犚狇犙是属于不同项原子公式．用这种方法定义隐私策略结构清晰地明里指发查询了普适计算作即个约束条件集合当满足时请求者被允许在客体上执行某访问权例如“我事可４以知道位置”写下：具特性ｏ犮犵犗犃犅犌犺狊犔犻犽达分别拥有、和变量；符∩犞面推理３解释$Δ本节语参考模型从抽象角度析建立统基描述论能够支持识库它包含应领域断言形｜ｕ７二元组Ｐｉｖａｃ!ｙＫｎｗｌｅｄｇＢｓ＝"#ＴｘＡ对概念而环境色值举主要由学校教授职称看科研相关术成根据履给出犇犠犜与括狉≡犝犘狏狔犫犼名犎字号
计算机报年０表示学校中具有教授职称的系主任这类用户集４合其，位属性间约束按照状态．犺犪狊犇狌狋狔犜犻犾犲是置分别狆狉犿狀犎犱值指段内当正处某种犘狅犳如果于个组则可以Ａｌｉｃｅ概念断言（）犮犠犗来一犃体名字符号狏公理与隐私客拥者特定关３ 请求记为犚犛犅下抽象达式狇犌义：逻辑取１犔≡已被权５!∩狑＝面狕析２∪它复｛犼｝在#…$∈访问许根据描述论基解释Δ语６犝犞"ｒ｜ｏ∧实例；或举策略句“我现同事曾经浏览工作日志”该由犆犵犐所确满足此因得和原子角色到若设Ｂｂ犫时也上
期魏志强等保护研究的所有用户集合，同时设操语犃狌犌狉狆≡犪狋犺狅犻狕犲犱犫狔．犘犿狊狀为已经获得访问授权则限初始０犝"根据包含公理定义可知如果任程意请求者是实例那么该也依次序列…ｒ＋当某基于关系隐私策略７ 立增加新而终止后最与∩犚犾犗狑＝１相比但其中#∈角度表示由达式条件抽象非之确以被对客体类主要更满足此属性称些因判到形化推３２４使ＡＢｏｘ和、断言就现规了突出在方Ｔ素原致面特殊便模型分析本文将普适计算领域及从离来逻辑上区一个间精看作种这样不仅能够人解机成符号%首先器需建共享给ｔ描述识库８!（）身具构下：针犆犇／ＷＬＤＦ前提结论它们法概念〈〉即存ｆｍ改变内涵！查询发送ｐｉｖａｃｙｕｌｅｋｎｗｄｇｂｓ扩展Ｑ＂９ｈＳｑ三元ＰＲＫ组拥记通过向应ＯＸ－产生
计算报年〈：／〉ｈａｓＵｅｒＲｌｔｉｏｎｐｄｆｕｃ＝＂ｖｑ隐私策略的信息粒度控制４．２ Ｑｙ除了可以请求者是否访问客体，还在被允许情况下…实现模糊ｇＡ通过极大地满足用户对ｍ保护多样化、个性定需如图所示拥有同一针３Ｏｗｂ不行暴露分级中Ｐｊ约束条件因此返回１最精确而得到描述例位置关于李明它形式输出种（）表虚假即“学院座”；推理机×Ｂ５０次基统执要将转ＷＬＦ般当具包含系换成语言文使ＪＥＳ或二元属为时就都由两组和Ｈ修改规则本若干方法些来匹配引擎义再增加象类型其工作区事动果ＩＤ狆犪狋犲狉狀应与该才能＃激根据这入独立块部采之间抽相
期魏志强等普适计算保护根据上述内容，本文给出当系统收到请求者的９查询时隐私规则在引擎中执行流程输结果０（见图）具体描如下：４．策略机制验证声明由于工作区不存１与模式匹配事实后向链推场景李张红都软件研究所ｑｆａｃｔ理原会缓冲自动ＱＦＣ为己位置信息定了Ｅ一个；ｎｅｄ“只同可以访问我”前第２是南楼通过智能手发送此没有被激活３成员断他们关因ｐＰ符合应该返回映射数包括两类但尚未基已经另各种５Ｂｂ并用义限篇幅仅６ＲＨＳ犪犫狅狓犮犾狆板７ｍｌｓｏ８ｋｗｒｈｉｇ＂ＬＭ狉犻狏狔＿ｕｙ？＝＞环境ＧｚＵ、和操 ＷＸＪ
算机学报年８（），文本编辑器等Ｖｅｒ６．１ｐ４ＵｌｔａＥｄｉＲＴ实验目的：通过演示上述隐私规则抽象达Ｈ执行流程证明此是可施；对场景数据进字内容提供商并指测试保护效果必须足够能力该结分析次中为了便于理解地获取户件做最大度精简不管下声事还定义仅使用关键概念断言…!狓犿犳犘犲狉犻狋犱′和角色复杂以在基础其公主体添加各种详细来完成动作如图所根应描５ＪｊＳｕｈｚｆ正确有性得到说个ｇ设计元组集合｛｝映狅狌犚犪犺狕狀射别客若干比较要ｓＣ〈〉犵狊←犔牔号或负代原子＋－前者狔狆犗后类型将信息装入引挚 ｂｏｘｃ真被允又谓词扩展之间继承９层构与ｋ似犎头部价∧０针两ｗ符相研究肯策略表推否经典系统一般范语法具严格形式化但何［］仍然存歧从２看很多ＸＭＬ已３采逻方给出而且现ｍ许任访问控制领域人员也阶安全例、授权框架支持ＢｎＦＡ７单
期魏志强行机制象．隐私保护方法层面表示５２ 从数据的式来看，研究；析作大体上可以分为两类：自由访问型和受限描述多逻辑立执此给主要针对用户被任意实情况于者无须认证识库概授权一般采信息藏例如匿名念形化程我们根公平原则提出了设计具有Ｌａｎｇｈｅｉｒｃ抽泛功能普适算系统时应该考虑六项指导［１］其中或假使糊最不必担心因真身份暴露而引发题后验果这等构建网络ＢｓｆｏｄＭＩＸ基础施供服务它在个区域谢审稿益议！进延迟重新排序达到混淆观察目路容易致参献跟踪获得Ｆｔ种（ｌｐＹＷｍＶＵ３电话号码）只位置性策略／ＰＥＣＳｙ每次更改是Ｎ０８７人本通ＡＪｋ４管理框架过同Ｔ现控９但选择虚拟会负ｊｘｚ合ｖＯＲ环境判断Ｄｕ核思想将嵌入Ｋ然定义虽比较效并完整解决案６下文感知Ｈｂ模侵犯角度何成留各力些部推规ｗ事先确条件检查否害结语Ｚ
计算机学报年 ＷｏｒｋｓｈｐｎＦｍａｌＭｅｔｄｉＳｃｕｙＥｇ．ＫＺ，：２０３４［］—１ＬＰｖｂｆ／ｗｑＩＤＹＣＵ７９ＴＢＡＲｊ（）６５８ＨＪｚＸｘＮ犠犈犐犣犺犻犙犪狀犵犇狅犢犅犎犗犝犲犓犃犖犌犕犑狌犮犽狉犱‘’
