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

摘要

随着互联网的迅速发展，Web服务已经被应用到了社会生活的各个领域。用户在使用服务时，不可避免的会向服务提供个人隐私信息，服务提供者可能会出于商业目的而滥用这些隐私信息。对个人隐私信息的保护工作已成为现在研究的一个热点。隐私需求的描述与建模工作是隐私保护工作中十分重要的一部分，隐私需求的描述语言应该在可读性与语义的精确性之间寻找一个平衡，因而，需要引入一种折中的隐私需求的描述方法，在采用自然语言来描述的隐私策略以及隐私规约之间建立桥梁。同时，定量分析是行为分析完整性中的重要部分，特别是在隐私保护相关领域，时间相关属性是十分重要的。针对上述问题，本文提出了一种支持时间属性的声明式的隐私需求描述语言，并对隐私策略的一致性进行验证。本文的主要研究工作如下：
　　（1）提出支持时间约束的隐私需求描述与建模方法。提出支持时间约束的隐私活动元模型，给出相应的形式化语义；并且，在隐私活动元模型的基础上提出支持时间约束的隐私需求声明式描述语言TRDPPL，通过定义可扩展的声明式约束模板，本语言提供了时间约束的表达能力。
　　（2）给出隐私需求时间属性一致性验证方法。将支持时间属性的隐私需求描述语言转换到SCIFF框架，并且给出基于SCIFF框架对隐私需求的一致性进行验证的方法。
　　（3）设计并实现了隐私需求时间属性一致性验证原型工具。利用该工具对隐私策略采用支持时间约束的隐私需求声明式描述语言 TRDPPL进行描述，并将之转换到 SCIFF框架，采用SCIFF验证工具对隐私策略进行一致性验证。最后通过一个实例说明本文方法的可行性以及有效性。

目录

声明

缩略词

第一章 绪论

1.1 研究背景

1.2 研究现状及选题依据

1.3 论文组织结构

第二章 隐私需求分析及验证框架

2.1 隐私保护

2.2 模型检验方法

2.3 支持时间属性的隐私需求一致性验证框架

2.4 本章小结

第三章 隐私需求时间属性建模与描述

3.1 考虑时间属性的隐私活动元建模

3.2 支持时间约束的隐私需求描述语言 TRDPPL

3.3 实例研究

3.4 本章小结

第四章 隐私需求时间属性一致性验证

4.1 SCIFF语言简介

4.2 扩展时间约束的隐私需求描述语言向SCIFF的转换

4.3 基于SCIFF的隐私需求一致性验证

4.4 实例研究

4.5 本章小结

第五章 隐私需求时间属性一致性验证原型工具的设计与实现

5.1 隐私需求一致性验证工具系统设计

5.2 工具实现

5.3 案例分析

5.4 本章小节

第六章 总结与展望

6.1 论文工作总结

6.2 未来工作

参考文献

致谢

在校期间的研究成果及发表的学术论文