计算机应用
計算機應用
계산궤응용
COMPUTER APPLICATION
2013年
3期
743-747,792
,共6页
杨健%王剑%汪海航%杨邓奇
楊健%王劍%汪海航%楊鄧奇
양건%왕검%왕해항%양산기
可验证数据存储%计算代理%移动计算%云存储
可驗證數據存儲%計算代理%移動計算%雲存儲
가험증수거존저%계산대리%이동계산%운존저
现有云计算可验证数据存储协议无法直接应用于终端存储和计算能力有限的移动计算环境.针对该问题,提出移动计算环境下基于代理的可验证云存储协议,在终端和云服务器之间引入一个半可信的安全计算代理,利用代理来帮助移动终端用户完成计算密集的操作,从而使得可验证数据存储方案可用于移动计算环境.提出一个具体的可验证数据存储协议,形式化证明了所提协议满足随机预言机模型下的选择明文攻击(CPA)安全,量化分析结果表明协议设计适用于移动计算环境,符合设计目标.
現有雲計算可驗證數據存儲協議無法直接應用于終耑存儲和計算能力有限的移動計算環境.針對該問題,提齣移動計算環境下基于代理的可驗證雲存儲協議,在終耑和雲服務器之間引入一箇半可信的安全計算代理,利用代理來幫助移動終耑用戶完成計算密集的操作,從而使得可驗證數據存儲方案可用于移動計算環境.提齣一箇具體的可驗證數據存儲協議,形式化證明瞭所提協議滿足隨機預言機模型下的選擇明文攻擊(CPA)安全,量化分析結果錶明協議設計適用于移動計算環境,符閤設計目標.
현유운계산가험증수거존저협의무법직접응용우종단존저화계산능력유한적이동계산배경.침대해문제,제출이동계산배경하기우대리적가험증운존저협의,재종단화운복무기지간인입일개반가신적안전계산대리,이용대리래방조이동종단용호완성계산밀집적조작,종이사득가험증수거존저방안가용우이동계산배경.제출일개구체적가험증수거존저협의,형식화증명료소제협의만족수궤예언궤모형하적선택명문공격(CPA)안전,양화분석결과표명협의설계괄용우이동계산배경,부합설계목표.
