声明
插图索引
表格索引
符号对照表
缩略语对照表
第一章 绪论
1.1研究背景
1.2研究意义
1.3国内外研究现状
1.4研究内容及章节安排
第二章 完整性验证基本方案设计
2.1完整性验证模型
2.2完整性验证方案整体设计
2.3完整性验证基本方案
2.4基本方案安全性分析
2.5本章小结
第三章 完整性验证方案改进
3.1概率函数执行验证方法
3.2概率数据输入验证方法
3.3安全性分析
3.4本章小结
第四章 实验结果及分析比较
4.1实验环境设置
4.2模块实验及分析
4.3与基于证明的可验证计算对比
4.4本章小结
第五章 总结与展望
5.1工作总结
5.2未来展望
参考文献
致谢
作者简介
西安电子科技大学;