可撤销的高效格基代理签名

江明明等人在2014年提出的格上代理签名方案,不能提供代理授权的公开可验证性,且需要安全信道来传输授权信息。针对这一问题,引入授权证书,提供了代理授权的公开可验证性,解除了原方案对安全信道的依赖。同时,改变原方案的授权方式,将代理签名的签名操作次数从2次降到了1次,提高了方案效率。另外,改进方案还引入了一个撤销列表,实现了代理授权在有效期内的撤销功能。分析表明,相比较于江明明等人的方案,新方案从安全性和效率上,都有了较大的改进。     

铣削大型容器法兰密封面的差动镗头

在大型石化容器及核电产品的生产中，由于塔、罐和反应器等大型容器的人孔及端部都有法兰，这些法兰密封面常常在总体焊装后进行机械加工，否则影响水压试验密封，另外设备经长期运转使用法兰密封面也会受到腐蚀或变形，从而失去密封作用，引起介质的泄漏，造成有毒介质伤人或易燃介质着火。     

对一个模糊身份格基签名方案的改进

对第一个基于格理论构造的模糊身份签名方案进行了深入分析,指出了它的安全性证明中存在的两个问题: 1)对私钥提取查询的应答会导致Hash函数碰撞的产生;2)对于和挑战目标相同比特位数大于门限值的身份的签名查询无法应答. 针对这些问题,给出了相应的改进方法,并且利用格上固定维数的格基代理方法,避免了原方案中维数的扩张,给出了一个私钥维数和签名维数更短的模糊身份格基签名方案. 最后,给出了新方案的安全性证明.     

现代密码学课程的课题化教学方法研究

针对现代密码学涉及学科多、知识体系繁杂、教学体验差的问题,分析现代密码学的模块化和应用背景强大的特点,阐述以模块为单位、利用应用背景、发挥高校教师的科研优势,开展课题化教学方法的实验,最后通过实验结果说明该方法的教学效果。     

格上的异构签密

现存的类型1异构签密方案,安全性都基于传统的数论假设,因此无法抵抗量子计算机的攻击。针对这个问题,以抗量子攻击的格中困难问题——带错学习问题和非齐次小整数解问题为基础,运用格上签密方案的构造方法,结合格上固定维数的格基代理技术,构造了第一个格上的异构签密方案,并证明了该方案的正确性和安全性。该方案实现了异构签密方案的抗量子攻击属性,为PKI系统到身份密码系统的抗量子攻击的安全信息传输提供了理论支撑。     

无陷门格基签密方案

现有的格基签密方案以陷门产生算法和原像取样算法为核心算法。但是,这两个算法都很复杂,运算量较大,严重影响格基签密方案的执行效率。该文运用无陷门格基签名及其签名压缩技术,结合基于带错学习问题的加密方法,提出第1个基于格理论的、不依赖于陷门产生算法和原像取样算法的签密方案。方案在带错学习问题和小整数解问题的难解性假设下,达到了自适应选择密文攻击下的不可区分性和自适应选择消息攻击下的不可伪造性。方案在抗量子攻击的同时,保证了较高的执行效率。     

灰锁试制工艺技术

介绍了灰锁的设计结构、设计技术参数、依据的技术条件及工程标准;叙述了灰锁试制的工艺方案、工艺难点及质量控制方案,着重介绍了总装工艺关键及整体机械加工工艺过程。