计算机研究与发展
計算機研究與髮展
계산궤연구여발전
Journal of Computer Research and Development
2015年
10期
2395-2410
,共16页
云计算%隐私需求%形式化模型%需求约简%声明式语言
雲計算%隱私需求%形式化模型%需求約簡%聲明式語言
운계산%은사수구%형식화모형%수구약간%성명식어언
cloud computing%privacy requirement%formal model%requirement reduction%declarative language
云计算中应用分层、服务外包以及数据的分布存储等特性引发了隐私保护的新挑战.如何刻画不同服务提供者的隐私需求,并保证不同参与方隐私需求在全局应用上一致无冲突是云计算隐私保护的一个核心问题.在对隐私需求的分类和建模目标系统分析后,提出了一种综合考虑了数据、角色和目的的层次结构,并支持时序约束表达的声明式隐私需求描述语言DPPL.为验证不同隐私需求间的一致性,给出了该语言的形式化语义及对应的形式化建模算法.考虑到传统形式化验证由于空间爆炸而带来的实用性限制,进一步结合隐私活动的特征提出了隐私需求模型的约简方法.最后,通过实例分析和原型工具检验了所提出方法的可行性,并对于该方法目前尚存在的限制和未来工作进行了讨论.
雲計算中應用分層、服務外包以及數據的分佈存儲等特性引髮瞭隱私保護的新挑戰.如何刻畫不同服務提供者的隱私需求,併保證不同參與方隱私需求在全跼應用上一緻無遲突是雲計算隱私保護的一箇覈心問題.在對隱私需求的分類和建模目標繫統分析後,提齣瞭一種綜閤攷慮瞭數據、角色和目的的層次結構,併支持時序約束錶達的聲明式隱私需求描述語言DPPL.為驗證不同隱私需求間的一緻性,給齣瞭該語言的形式化語義及對應的形式化建模算法.攷慮到傳統形式化驗證由于空間爆炸而帶來的實用性限製,進一步結閤隱私活動的特徵提齣瞭隱私需求模型的約簡方法.最後,通過實例分析和原型工具檢驗瞭所提齣方法的可行性,併對于該方法目前尚存在的限製和未來工作進行瞭討論.
운계산중응용분층、복무외포이급수거적분포존저등특성인발료은사보호적신도전.여하각화불동복무제공자적은사수구,병보증불동삼여방은사수구재전국응용상일치무충돌시운계산은사보호적일개핵심문제.재대은사수구적분류화건모목표계통분석후,제출료일충종합고필료수거、각색화목적적층차결구,병지지시서약속표체적성명식은사수구묘술어언DPPL.위험증불동은사수구간적일치성,급출료해어언적형식화어의급대응적형식화건모산법.고필도전통형식화험증유우공간폭작이대래적실용성한제,진일보결합은사활동적특정제출료은사수구모형적약간방법.최후,통과실례분석화원형공구검험료소제출방법적가행성,병대우해방법목전상존재적한제화미래공작진행료토론.
