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