云计算环境下隐私需求的描述与检测方法

柯昌博; 黄志球

doi:10.7544/issn1000-1239.2015.20131906

云计算环境下隐私需求的描述与检测方法

柯昌博^1,2,3,
黄志球²

¹(南京邮电大学计算机学院、软件学院南京 210023)
²(南京航空航天大学计算机科学与技术学院南京 210016)
³(江苏省无线传感网高技术研究重点实验室南京 210003) (brobo.ke@njupt.edu.cn)

基金项目: 南京邮电大学引进人才科研启动基金资助(NY214164);国家自然科学基金项目(61272083)；南京航空航天大学博士学位论文创新与创优基金项目(BCXJ12-14)；中央高校基本科研业务费专项资金

详细信息

中图分类号: TP311
计量
- 文章访问数: 1210
- HTML全文浏览量: 0
- PDF下载量: 885
出版历程
- 发布日期: 2015-03-31

Privacy Requirement Description and Checking Method in Cloud Computing

Ke Changbo^1,2,3,
Huang Zhiqiu²

¹(School of Computer Science & Technology, School of Software, Nanjing University of Posts and Telecommunications, Nanjing 210023)
²(College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 210016)
³(Jiangsu High Technology Research Key Laboratory for Wireless Sensor Networks, Nanjing 210003)

摘要

摘要: 云计算已经成为一种计算范型为用户提供服务，但其开放性、虚拟化和服务外包化的特点使得用户的隐私信息难以控制和保护.以描述逻辑为基础，提出了一种云计算环境下面向语义的隐私需求描述与检测方法.首先，对用户隐私需求与服务提供者的隐私策略进行描述；其次，对两者之间是否存在冲突进行检测，发现满足用户隐私需求的服务；最后，利用Protégé本体建模工具对用户的隐私需求和服务提供者的隐私策略进行建模，并利用Pellet推理机进行了实验，分别对本体模型中的概念进行一致性检测和对概念与逻辑公理之间的可满足性进行检验，从而证明了此检测方法的正确性与可行性.
- 云计算 /
- 描述逻辑 /
- 隐私属性 /
- 隐私策略 /
- 隐私偏好
Abstract: Cloud computing has been a computing paradigm to provide services for users. However, it is difficult to control and protect personal privacy information because of its opening, virtualization, multi-tenancy and service outsourcing characters. Therefore, how to prevent user privacy information from being used and propagated in cloud computing illegally has become a research focus. In this work, we propose a semantic-oriented privacy requirement description method and checking mechanism. First of all, we describe the user privacy requirement and privacy policy of service provider based on description logic. Secondly, we address the privacy requirement checking framework. Namely, we build the knowledge base through privacy disclosure assertion of user map to TBox and privacy disclosure assertion of service provider map to ABox, and then reason the TBox and ABox by taking advantage of the Tableau algorithm. In the end, we check whether there are the conflicts between user privacy requirement and privacy policy of service provider through experiment and case analysis. Namely, we build the privacy requirement checking model with Protégé of Stanford University, and prove the consistency of conceptions in model and the satisfiability between the conceptions and the logic axioms with Pellet reasonor. Thereby, the correctness and feasibility of our method is certified.
- cloud computing /
- description logic /
- privacy property /
- privacy policy /
- privacy preference

HTML全文

参考文献(0)

施引文献(29)

期刊类型引用(11)

1.	袁子轩，张峰，许岗，魏光辉，石永强. 融合MAML和TGAT的机会网络动态链路预测模型. 小型微型计算机系统. 2024(12): 2957-2963 . 百度学术
2.	曹志威，樊志杰，王青杨，韩伟力，李欣. 一种降噪自编码器的复杂网络链路预测算法. 小型微型计算机系统. 2023(03): 665-672 . 百度学术
3.	刘林峰，于子兴，祝贺. 基于门控循环单元的移动社会网络链路预测方法. 计算机研究与发展. 2023(03): 705-716 . 本站查看
4.	王曙燕，巩婧怡. 融合节点标签与强弱关系的链路预测算法. 计算机工程与应用. 2022(18): 71-77 . 百度学术
5.	张瑾，朱桂祥，王宇琛，郑烁佳，陈镜潞. 基于异质图表达学习的跨境电商推荐模型. 电子与信息学报. 2022(11): 4008-4017 . 百度学术
6.	唐明虎. 基于多种信息组合模式的非负矩阵分解链路预测模型. 计算机应用研究. 2021(05): 1393-1397+1408 . 百度学术
7.	顾秋阳，吴宝，池仁勇. 基于高阶路径相似度的复杂网络链路预测方法. 通信学报. 2021(07): 61-69 . 百度学术
8.	许爽，李淼磊. 基于子图特征的科学家合作网络链路预测. 大连民族大学学报. 2020(01): 51-63 . 百度学术
9.	张尚田，陈光，邱天. 基于融合特征的LSTM评分预测. 计算机与现代化. 2020(03): 49-53+59 . 百度学术
10.	顾秋阳，琚春华，吴功兴. 基于子图演化与改进蚁群优化算法的社交网络链路预测方法. 通信学报. 2020(12): 21-35 . 百度学术
11.	李琦，王智强，梁吉业. 基于PU学习的链接预测方法. 模式识别与人工智能. 2019(09): 793-799 . 百度学术