面向双服务器的可验证外包计算研究

发布时间：2023-05-08 05:40

　　随着大数据时代的来临以及云计算技术的飞速发展,外包计算已经成为越来越多的组织和个人选择计算任务的方式。外包计算是指计算资源有限的用户将复杂的计算任务外包给云服务器,以达到节省本地资源开销的目的。然而外包计算服务在带来方便的同时,也产生了一些亟待解决的安全问题。云服务器的计算过程是不公开的,可能存在欺骗用户的行为,其返回的计算结果可能并非用户所需求的数据。可验证外包计算就是解决以上问题的重要手段,用户如何以最小的代价进行快速、正确的验证成为了现阶段的研究热点与难点。现在的可验证外包计算方案主要存在以下2个问题:(1)单服务器场景下,用户需要用繁重的密码协议对云服务器返回的计算结果进行验证,无疑增加了用户的工作量,而用户进行外包计算的初衷就是减少本地的资源开销,这样有悖于用户的初衷。(2)多服务器场景下,往往采用冗余计算模式,即将相同的计算任务外包给多个云服务器,检查它们返回的结果是否相同。然而多个云服务器之间可能会合谋,向用户返回错误的计算结果。针对以上问题,本文工作如下:(1)提出了基于矩阵盲化技术的线性方程组求解可验证外包计算方案。该方案基于矩阵盲化技术,采用数据分布思想,通过双服务...

【文章页数】：70 页

【学位级别】：硕士

【文章目录】：
摘要
abstract
第1章 绪论
    1.1 研究背景及意义
    1.2 国内外研究现状
        1.2.1 一般性可验证外包计算研究现状
        1.2.2 特定函数外包计算研究现状
        1.2.3 存在问题分析
    1.3 论文研究内容
    1.4 论文组织结构
第2章 预备知识
    2.1 密码技术
        2.1.1 哈希函数
        2.1.2 承诺
        2.1.3 零知识证明
    2.2 博弈论
        2.2.1 博弈与策略
        2.2.2 序贯均衡
    2.3 区块链智能合约
    2.4 本章小结
第3章 基于矩阵盲化技术的SLE可验证外包计算方案
    3.1 线性方程组求解外包方案
        3.1.1 背景知识
        3.1.2 方案设计
    3.2 方案分析
        3.2.1 正确性分析
        3.2.2 安全性分析
        3.2.3 高效性分析
    3.3 方案比较
    3.4 本章小结
第4章 基于智能合约的抗合谋可验证外包计算
    4.1 方案总览与假设约定
        4.1.1 方案总览
        4.1.2 假设
        4.1.3 符号约定
    4.2 智能合约设计
        4.2.1 外包合约设计
        4.2.2 合谋合约设计
        4.2.3 欺骗合约设计
        4.2.4 反合谋合约设计
        4.2.5 总体博弈
    4.3 基于智能合约的抗合谋可验证外包计算方案设计
        4.3.1 外包计算协议
        4.3.2 合谋协议
        4.3.3 欺骗协议
        4.3.4 反合谋协议
    4.4 本章小结
结论
参考文献
攻读硕士学位期间发表的论文和取得的科研成果
致谢



本文编号：3812100