Enabling Public Veriability and Data Dynamic for Storage

Enabling Public Verifiability and Data Dynamic for Storage Security in Cloud Computing 报告人：李琳 2021年 9月24日

简介 Qian Wang, Cong Wang, Jin Li, Kui Ren and Wenjing Lou ◦ Illinois Institute of Technology（伊利诺理 大学） Ubi. Se. C lab ，主要研究网络与系统安全，无线网 安全，普适计算和应用密码学。 http: //www. ece. iit. edu/~ubisec/index. html ◦ Kui Ren：主要研究云计算中的隐私与安全、无线 网底层攻击和保护机制，传感器网络、网格计算 安全等 ◦ in Proc. of ESORICS’ 09(European Symposium on Research in Computer Security ), volume 5789 of LNCS(Lecture Notes in Computer Science ). Springer-Verlag, Sep. 2009,

Merkle Hash Tree

系统模型 Users CSS- Cloud Storage Servers CPA- Third Party Auditor

框架定义（2） 4. {TRUE, FALSE} ← Verify. Proof(pk, chal, P) ◦ Client或者CPA运行，验证P 5. (F′, Φ′, Pupdate) ← Exec. Update(F, Φ, update) ◦ CSS执行数据更新 6. {(TRUE, sigsk(H(R′))), FALSE} ← Verify. Update(pk, update, Pupdate) ◦ Client验证更新，生成新的MHT根签名

Verify. Proof(pk, chal, P)：验证者收到P后 验证e(sigsk(H(R)), g) ? =e(H(R), gα). 以及 3.

性能分析 14. Erway, C. , Kupcu, A. , Papamanthou, C. , Tamassia, R. : Dynamic provable data possession. Cryptology e. Print Archive, Report 2008/432 (2008)