斯维特拉纳·雅克西奇;约万卡·潘托维奇;西尔维娅·吉勒赞 链接数据隐私。 （英语） Zbl 1364.68073号 数学。结构。计算。科学。 27，第1号，33-53（2017）. 摘要：链接数据的Web介绍了在Web上发布和链接数据的通用格式和原则。这样一个链接数据的网络是公开的，并且很容易使用。本文介绍了一种使用编码隐私偏好对链接数据网络进行建模的演算。在这种演算中，网络是用户的并行组合，其中每个用户都被命名，并由表示用户配置文件的数据和进程组成。数据是以名称（资源）作为组件的三元组的并行组合。与每个名称和每个三个名称关联的是它们的隐私保护策略，由查询表示。如果用户的数据满足分配给该三元组的查询，则用户可以访问数据三元组。{}该模型的主要贡献在于类型系统，它与引入的查询顺序一起确保了静态类型检查可以防止隐私侵犯。我们说，如果–对三元组的访问更具限制性比访问其组件和访问其附带的用户名限制更少，–每个用户都可以完全访问自己的个人资料，–每个用户都可以更新或部分删除自己的配置文件（可以访问整个配置文件），以及–只有当新获得的配置文件保持其所有者完全可访问时，每个用户才能更新其拥有的另一个配置文件的数据的隐私偏好策略，或将数据写入另一个概要文件。我们证明任何类型良好的网络都是行为良好的。 引用于1文件 MSC公司： 68英里11 互联网主题 软件：SPARQL公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Jakšić}等人，数学。结构。计算。科学。27、第1号、第33-53号（2017；Zbl 1364.68073） 全文： 内政部 参考文献： [1] 阿巴迪。和布兰切特B。(2003). 非对称通信的保密类型。理论计算机科学3（298）387-415·Zbl 1038.68081号 [2] 阿巴迪姆。，科林·R。和FournetC。(2006). 通过键入π演算实现计算保密性。收件人：小林。（编辑）APLAS。施普林格计算机科学讲稿4279253-269.1007/11924661_16·Zbl 1168.68433号 [3] 伯纳斯-利特。，亨德勒J和拉西拉O。(2001). 语义网。《科学学报》284（5）35-43。 [4] 自行车C。(2009). 新兴的链接数据网络。IEEE智能系统2487-92。 [5] 自行车C、。，希思特。和伯纳斯-利特。(2009). 链接数据-到目前为止的故事。国际语义网与信息系统杂志5（3）1-22。 [6] BrickleyD。和GuhaR。V.（2004）。RDF词汇描述语言1.0:RDF模式。W3C，麻省理工学院，马萨诸塞州剑桥。REC-rdf-schema-20040210。 [7] Dezani-CiancagliniM。，吉勒赞。，JakšićS。和PantovicJ。(2010). 动态web数据的基于角色的访问控制类型。包含：WFLP’10。计算机科学课堂讲稿65591-29·Zbl 1327.68169号 [8] Dezani-CiancagliniM。，吉勒赞。，潘托维奇J。和瓦拉卡。(2008). 动态web数据的安全类型。理论计算机科学402（2-3）156-171.1016/j.tcs.2008.04.032·Zbl 1146.68014号 [9] Dezani-CiancagliniM。，HorneR公司。和SassoneV。(2012). 追踪链接数据的来源：微积分。理论计算机科学464113-129.10.1016/j.tcs.2012.06.020·Zbl 1253.68043号 [10] FournetC.公司。，戈多纳。和MaffeisS。(2007). 分布式系统中授权的一种类型规程。收录：CSF IEEE计算机学会31-48。 [11] FournetC.公司。，拉内夫C。，马兰杰。和雷米德。(2003). 连接演算中的继承。逻辑与代数程序设计杂志57（1-2）23-69.10.1016/S1567-8326（03）00040-7·Zbl 1035.03011号 [12] 哈克公司。和杰弗里。(2005). 具有保密性和真实性类型的定时spi-calculus。在：AbadiM。和de AlfaroL。（编辑）CONCUR。施普林格计算机科学讲稿3653202-216.10.1007/11539452_182198060·Zbl 1134.68441号 [13] 哈里斯·S。，SeaborneA公司。和Prud'hommeauxE。(2011). SPARQL 1.1查询语言。W3C，麻省理工学院，马萨诸塞州剑桥。WD-sparql11-query-20110512。 [14] 希思特。（2011）链接数据-欢迎使用数据网络。IEE互联网计算15（6）70-73。 [15] 希思特。和BizerC。(2001). 链接数据：将网络发展成为全球数据空间。语义网综合讲座：理论与技术1（1）1-136。 [16] 轩尼诗M。(2007). 《分布式Pi-Calculus》，剑桥大学出版社·Zbl 1125.68082号 [17] HorneR公司。和SassoneV。（2011年a）。链接数据的类型化模型。技术报告，在线阅读http://eprints.ecs.soton.ac.uk/21996/5/paper.pdf。 [18] HorneR公司。和SassoneV。（2011年b）。链接数据的验证代数。收件人：穆萨维。R.和RavaraA。（编辑）FOCLASA。理论计算机科学电子论文5820-33.10.4204/EPTCS.58.2 [19] 喇叭。，萨森五世。和吉宾斯。(2011). SPARQL更新的操作语义。2011年12月4日至7日在中国杭州举行的第一届联合国际语义技术会议，1-16。 [20] 克莱因。和CarollJ。(2004). 资源描述框架：概念和抽象语法。W3C，麻省理工学院，马萨诸塞州剑桥，REC-rdf-concepts-20040210。 [21] 梅罗姆。和SangiorgiD。(1998). 关于名称传递结石中的异步性。收件人：LarsenK。G.、SkyumS。和温斯克尔。（编辑）ICALP。Springer计算机科学讲稿1443856-867.10.1007/BFb00551081683535·Zbl 0910.03019号 [22] 米尔纳研究所（1999年）。《通信与移动系统：π-微积分》，剑桥大学出版社·Zbl 0942.68002号 [23] MilnerR.，ParrowJ。和WalkerD。(1992). 移动进程微积分，第一部分和第二部分。信息与计算100（1）1-40.10.1016/0890-5401（92）90008-4·Zbl 0752.68036号 [24] 普鲁德霍姆阿克斯。和SeaborneA。(2008). RDF的SPARQL查询语言。马萨诸塞州剑桥市麻省理工学院W3C。REC-rdf-sparql-query-20080115。 [25] 萨克奥。和PassantA。（2011年a）。链接数据的隐私偏好本体（ppo）。收录：网络研讨会上的链接数据会议记录（LDOW2011），在线阅读：http://ceur-ws.org/Vol-813/。 [26] 萨克奥。和PassantA。（2011年b）。社交语义网的隐私偏好管理器。摘自：语义个性化信息管理第二次研讨会论文集：检索和建议42-53。 [27] 桑吉奥吉。和WalkerD。(2001). 《π-演算：移动过程理论》，剑桥大学出版社·Zbl 0981.68116号 [28] StankovićM。，帕桑塔。和LaubletP。(2009). 向在线社区中的受众发送状态消息。在：AAMAS货币&IJCAI&MALLOW公司。施普林格计算机科学讲稿6069195-210。 [29] 威斯汀A。(1967). 《隐私与自由》，纽约：Atheneum。 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。