支持时间属性的隐私需求建模与一致性验证

doi:10.3969/j.issn.1006-2475.2017.10.020

计算机与现代化

支持时间属性的隐私需求建模与一致性验证

1.南京航空航天大学计算机科学与技术学院,江苏南京211106；2.燕山大学信息科学与工程学院,河北秦皇岛066000

收稿日期:2017-01-13 出版日期:2017-10-30 发布日期:2017-10-31
作者简介:马薇薇(1991-),女，河北乐亭人,南京航空航天大学计算机科学与技术学院硕士研究生,研究方向:隐私保护；姜家鑫（1991-），男，山东威海人，硕士研究生，研究方向：隐私保护；张锐(1991-),女,河北乐亭人,燕山大学信息科学与工程学院硕士研究生,研究方向:Web服务。

Time-related Privacy Modeling and Consistency Checking

1. College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing 211106, China;
2. College of Information Science and Engineering， Yanshan University, Qinhuangdao 066000, China

Received:2017-01-13 Online:2017-10-30 Published:2017-10-31

摘要/Abstract

摘要： 随着互联网的迅速发展，个人隐私信息保护问题越来越受关注。如何刻画不同服务提供者的隐私需求，并保证不同参与方隐私需求在全局应用上一致无冲突是隐私保护的一个核心问题。本文提出一种支持时间属性的声明式的隐私需求描述语言。为了验证不同隐私需求间的一致性，给出到SCIFF框架中完整性约束的映射。最后通过在线购物服务场景进行实例分析，验证本文方法的可行性。

关键词: 隐私需求, 时间属性, 隐私建模, 元模型, 一致性检验

Abstract: With the rapid development of Internet, the issue of privacy protection is getting more and more attention. How to precisely describe the privacy requirement and guarantee the privacy requirement among different participants consistent with each other are two key issues in privacy protection. This paper proposes a declarative privacy requirement description language that supports time-related attributes. To verify the consistency of different privacy requirement, the mapping to the integrity constraint of the SCIFF frame is given. Finally, an example of online shopping is given to illustrate the feasibility of the method.

Key words: privacy requirements, time-related attribute, privacy modeling, meta-model, consistency checking

马薇薇 1,姜家鑫 1,张锐 2. 支持时间属性的隐私需求建模与一致性验证[J]. 计算机与现代化, doi: 10.3969/j.issn.1006-2475.2017.10.020.

MA Wei-wei 1, JIANG Jia-xin 1, ZHANG Rui 2. Time-related Privacy Modeling and Consistency Checking[J]. Computer and Modernization, doi: 10.3969/j.issn.1006-2475.2017.10.020.

参考文献

［1］ Warren S D, Brandeis L D. The right to privacy［J］. Harvard Law Review, 1985,4(5):193-220.

［2］ Westin A F. Privacy and Freedom［M］. New York: Atheneum, 1967.

［3］ Nissenbaum H. Privacy ascontextual integrity［J］. Washington Law Review, 2004,79(1):119-157.

［4］ Solove D J. A taxonomy of privacy［J］. University of Pennsylvania Law Review, 2006,154(3):477-564.

［5］ Bansal G, Zahedi F M, Gefen D. The impact of personal dispositions on information sensitivity, privacy concern and trust in disclosing health information online［J］. Decision Support Systems, 2010,49(2):138-150.

［6］柯昌博,黄志球. 云计算环境下隐私需求的描述与检测方法［J］. 计算机研究与发展, 2015,52(4):879-888.

［7］贾哲,黄志球,王珊珊,等. 支持本体推理的P3P隐私策略冲突检测研究［J］. 计算机科学与探索, 2013,7(1):74-82.

［8］ Lu Jiajun, Huang Zhiqiu, Ke Changbo. Verification of behavior-aware privacy requirements in Web services composition［J］. Journal of Software, 2014,9(4):944-951.

［9］ Barth A, Datta A, Mitchell J C, et al. Privacy and contextual integrity: Framework and applications［C］// 2006 IEEE Symposium on Security and Privacy (S&P’06). 2006:184-198.

［10］Becker M Y, Malkis A, Bussard L. S4P: A generic language for specifying privacy preferences and policies［Z］. Microsoft Research, 2010.

［11］王进,黄志球. 云计算中隐私需求的建模与一致性检测［J］. 计算机研究与发展, 2015,52(10):2395-2410.

［12］Mokhtari K, Benbernou S, Said M, et al. Verification of privacy timed properties in Web service protocols［C］// IEEE International Conference on Services Computing. 2008，2:593-594.

［13］ Mokhtari K, Benbernou S, Rouached M, et al. Privacytime-related analysis in business protocols［C］// IEEE International Conference on Web Services. IEEE, 2009:141-148. 

［14］Mokhtari-Aslaoui K, Benbernou S, Sahri S, et al. Timed privacy-aware business protocols［J］. International Journal of Cooperative Information Systems, 2012,21(2):85-109.

［15］Montali M. Specification and Verification of Declarative Open Interaction Models—A Logic-based Approach［M］. Springer Verlag, 2010.

[1]	邓佳佳，张育平，陈海燕. 基于SysML & AADL的IMA刹车控制系统实时性需求验证[J]. 计算机与现代化, 2017, 0(6): 40-44+49.
[2]	李艳玲1，吴建伟1，朱烨行2. 基于判断矩阵一致性程度的专家权重确定方法[J]. 计算机与现代化, 2017, 0(6): 20-24+29.
[3]	张潇，王立松，让涛. 基于模型的综合航电平台初步设计[J]. 计算机与现代化, 2016, 0(6): 29-35,39.
[4]	覃嗣凤,顾平,张超. 基于元模型的HBase数据模型转换方法[J]. 计算机与现代化, 2015, 0(8): 32-37.
[5]	孔勇;杜新宇. TENA对象模型的研究[J]. 计算机与现代化, 2013, 1(2): 85-89.
[6]	靳巧花;王永刚;贾志洋. 层次分析法及其在人才招聘中的应用[J]. 计算机与现代化, 2011, 1(8): 190-192.
[7]	王秀玮杨斌. 基于描述逻辑的OntoUML模型的推理研究 [J]. 计算机与现代化, 2010, 1(12): 12-14.
[8]	彭婷婷;吕明琪. 一种构件化工作流管理系统[J]. 计算机与现代化, 2010, 1(01): 176-179.

支持时间属性的隐私需求建模与一致性验证

Time-related Privacy Modeling and Consistency Checking

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 8

编辑推荐

Metrics

本文评价