第一章 绪论
1.1 研究背景
1.1.1 线性同态密码系统及应用
1.1.2 电子投票
1.1.3 智能电网
1.2 研究内容
1.3 论文结构
第二章 相关知识与技术
2.1 相关基础知识
2.1.1 代数基础
2.1.2 椭圆曲线
2.1.3 双线性对
2.1.4 相关困难问题假设
2.1.5 可证明安全性
2.2 区块链技术
2.2.1 区块链介绍
2.2.2 区块链技术安全性分析
2.3 本章小结
第三章 基于身份的线性同态密码系统
3.1 背景介绍
3.2 方案设计
3.3 安全性证明
3.4 本章小结
第四章 电子投票系统的设计与实现
4.1 系统需求分析
4.2 身份基线性同态密码系统的电子投票方案
4.3 系统架构设计
4.4 系统功能实现
4.4.1 区块链环境搭建
4.4.2 注册和登录模块
4.4.3 投票模块
4.4.4 区域统计模块
4.4.5 系统计票模块
4.5 系统性能分析
4.5.1 计算成本
4.5.2 安全性分析
4.6 本章小结
第五章 基于身份的孤立智能电表测量协议
5.1 协议简介
5.2 基于身份的孤立智能电表测量协议
5.2.1 协议相关背景
5.2.2 协议系统模型
5.2.3 协议算法设计
5.3 安全性分析
5.4 性能分析
5.4.1 通信成本
5.4.2 计算成本
5.5 章节小结
第六章 总结与展望
6.1 工作总结
6.2 工作展望
参考文献
软件工程硕士论文范文四：输入域缺陷定位技术实证研究
本文采用了新的实验方案并增加了参数取值大于二的西门子程序集作为实验对象,将现存的几乎所有的输入域缺陷定位方法进行了详细分析和比较。本文的主要研究成果如下:（1）以TCAS集中抽取的20条布尔规约及其19131条变异体作为实验对象,验证安全值向量是否普遍存在,ELA假设安全值向量存在且PCA根据安全值生成。
第一章 绪论
1.1 研究背景及意义
1.2 国内外研究现状
1.3 工作内容
1.4 论文结构及安排
第二章 相关背景知识介绍
2.1 组合测试
2.2 极小故障模式
2.3 布尔规约集
2.3.1 相关定义
2.3.2 变异类型
2.4 西门子程序集
2.5 本章小结
第三章 非自适应方法的比较
3.1 非自适应方法
3.1.1 错误定位表ELA
3.1.2 高维组合覆盖表CA
3.1.3 部分覆盖表PCA
3.2 实验
3.2.1 研究问题
3.2.2 评估指标
3.2.3 实验环境
3.2.4 实验过程
3.3 实验结果及发现
3.3.1 安全值向量的存在性
3.3.2 高维CA和PCA非自适应故障定位的效果
3.3.3 非自适应方法和自适应方法的比较
3.3.4 采用t+d作为CA的维度ι的非自适应方法
3.4 本章小结
第四章 自适应方法的比较
4.1 自适应方法
4.1.1 Iter AIFL算法
4.1.2 FIC和 FIC_BS算法
4.1.3 RI和SRI算法
4.1.4 TRT算法
4.1.5 Simplification算法
4.1.6 ICT算法
4.2 实验
4.2.1 研究问题
4.2.2 评估指标
4.2.3 实验环境
4.2.4 实验过程
4.3 实验结果及发现
4.3.1 TCAS集的实验结果
4.3.2 西门子程序集的实验结果
4.4 本章小结
第五章 总结与展望
5.1 总结
5.2 展望
参考文献
软件工程硕士论文范文五：云存储中密文去重问题的研究与实现
本文着重研究了云存储中密文去重问题,具体工作如下:（1）对密文去重中的去重匹配过程进行研究。针对相同明文产生的不同密文无法直接进行比较的问题,首次将可搜索加密以及相等性测试技术与密文去重技术相结合,分别设计了基于可搜索加密的数据去重一般性构造以及基于相等性测试的数据去重一般性构造,并给出了两个方案实例。分析表明所提方案均能有效抵御暴力字典攻击。
摘要
Abstract
第一章 绪论
1.1 研究背景
1.2 研究现状
1.3 章节安排
1.4 本章小结
第二章 相关背景知识介绍
2.1 相关密码学背景
2.1.1 双线性对
2.1.2 RSA算法
2.1.3 哈希函数
2.1.4 困难性假设
2.2 密文去重技术
2.2.1 密文去重定义
2.2.2 密文去重分类
2.2.3 密文去重处理流程
2.3 可搜索加密技术
&
