[發(fā)明專利]一種支持錯誤記錄定位可驗(yàn)證數(shù)據(jù)庫的檢測方法

在審

• 申請?zhí)枺?/td>: 201810349942.9
• 申請日: 2018-04-18
• 公開（公告）號: CN108737069A
• 公開（公告）日: 2018-11-02
• 發(fā)明（設(shè)計(jì)）人: 陳曉峰;張志為;邱震堯;陳滿祥;王琳;田海博
• 申請（專利權(quán)）人: 西安電子科技大學(xué)
• 主分類號: H04L9/06
• 分類號: H04L9/06;H04L9/08;H04L29/06;G06F17/30
• 代理公司: 西安長和專利代理有限公司 61227
• 代理人: 黃偉洪

1.一種向量承諾樹，其特征在于，所述向量承諾樹是以遞歸方式對消息序列做承諾的q叉樹，葉子節(jié)點(diǎn)共有Q個消息，最深非葉子節(jié)點(diǎn)是對其q個孩子消息所做的承諾，其他非葉子節(jié)點(diǎn)是對其q個孩子承諾所做的承諾；向量承諾樹的高度n、消息序列的大小Q和承諾單元的大小q之間滿足關(guān)系

2.如權(quán)利要求1所述的向量承諾樹，其特征在于，所述向量承諾樹的承諾單元是采用向量承諾方法做承諾的基本單位，承諾單元是消息子序列或承諾集合。

3.如權(quán)利要求1所述的向量承諾樹，其特征在于，所述向量承諾樹包含：

(1)生成密鑰VCT.KeyGen(1^k,q,Q)：輸入安全參數(shù)k、每個承諾單元的大小q和整個消息的大小Q(Q＝poly(k))，密鑰生成算法VCT.KeyGen(1^k,q,Q)輸出公共參數(shù)集PP和向量承諾樹的高度n，從根到最深的非葉子節(jié)點(diǎn)；消息空間記為承諾空間記為

(2)計(jì)算承諾VCT.Com_PP(m₁,…,m_Q,f)：輸入含有Q個消息的序列和映射函數(shù)根據(jù)公共參數(shù)PP，承諾算法VCT.Com_PP(m₁,…,m_Q,f)輸出附加信息aux和承諾集合C，其中C中的每個值是對含有消息或承諾的承諾單元所做的向量承諾；

(3)打開承諾VCT.Open_PP(m,i,aux,AC,f)：輸入數(shù)據(jù)庫中索引為i的消息m、附加信息aux、訪問控制參數(shù)和映射函數(shù)只有當(dāng)AC滿足訪問控制規(guī)則時，打開算法VCT.Open_PP(m,i,aux,AC,f)才輸出證據(jù)集合m是所有Q個被承諾消息中的第i個；打開算法由原始承諾者或其他合法用戶運(yùn)行；

(4)驗(yàn)證承諾VCT.Ver_PP(C,m,i,Λ_i,AC)：輸入承諾集合C、索引為i的消息m、證據(jù)集合Λ_i和訪問控制參數(shù)AC，驗(yàn)證函數(shù)VCT.Ver_PP(C,m,i,Λ_i,AC)輸出或(⊥,Ω)；輸出意味著AC不滿足訪問控制策略；否則，只有當(dāng)Λ_i是一個有效證據(jù)，證明C是對序列(m₁,…,m_Q)生成的，其中m＝m_i，則驗(yàn)證函數(shù)才并輸出否則，輸出(⊥,Ω)，其中Ω是錯誤記錄所在范圍；

(5)更新承諾VCT.Ver_PP(C,m,i,Λ_i,AC)：輸入承諾集合C、第i個位置上的原消息m_i和新消息m′_i以及映射函數(shù)承諾更新算法VCT.Update_PP(C,m_i,m′_i,i,f)輸出新的承諾集合C′和更新信息集合U；承諾更新算法由生成C并擬將其中第i個消息m_i更新為m′_i的原始承諾者運(yùn)行；

(6)更新證據(jù)VCT.ProofUpdate_PP(C,Λ_j,m′_i,i,U)：輸入承諾集合C、證據(jù)集合Λ_i、擬替換外包數(shù)據(jù)庫中第i個記錄的新消息m′_i、更新信息U和映射函數(shù)證據(jù)更新算法VCT.ProofUpdate_PP(C,Λ_j,m′_i,i,U,f)輸出新的證據(jù)集合Λ′_j；證據(jù)更新算法由任何擁有對應(yīng)C中第j個消息的證據(jù)集合Λ_j的用戶運(yùn)行，計(jì)算對新的承諾集合C′有效的證據(jù)集合Λ′_j。