一种零知识证明协议的安全分析与改进

论文指出了文献[1]中的零知识证明协议在公钥参数选取上的安全漏洞,并从求解离散对数的角度进行了分析证明。然后吸取了DSA数字签名算法中安全密钥选取高效简单的优点,提出了一种比Schnorr身份识别方案快1／3的简单、安全、高效的零知识证明身份识别方案。     

缺省理论的简化

缺省理论△=(D,W)中的缺省规则集D,是该理论的不确定因素.如果能去掉一些缺省规则而又不影响该理论的延伸,则就在一定程度上简化了该理论.本文证明了关于规范缺省理论的延伸的若干性质,利用这些性质,我们可以把某些规范缺省理论在一定条件下得以化简,有的甚至可以把它们化为一阶逻辑理论.     

油库防爆电气设备运行安全管理注意事项

分析了油库防爆电气设备运行中安全管理应注意的几个事项。     

一个安全有效的身份鉴别协议与对应的数字签名方案

本文利用二元一次不定方程和Schnorr身份鉴别协议，构造出一个新的身份鉴别协议，该协议在RSA问题和离散对数问题是难解的假设下是安全的，同时给出了所对应的数字签名方案。     

聚苯乙烯泡沫塑料板在三清干渠改建工程中的试验

高台县友联灌区三清干渠地处严寒地区，且渠道沿线地质条件较差，影响渠道衬砌改建质量的关键技术问题是防冻胀设计。由于三清干渠附近缺乏垫层料，采用垫层置换防冻胀投资高，且垫层质量难以控制。设计人员根据有关规范要求．结合渠线地质条件．采用聚苯乙烯泡沫塑料保温板进行防冻胀试验，较好地解决了冻胀问题。     

济钢小板坯连铸机φ360mm拉辊优化改造

为解决小板坯连铸机φ360mm拉辊断颈、断辊问题，对拉辊原设计及现场使用条件进行了分析，将材质由55^#锻钢改为35CrNiMo，辊身与辊颈处改为圆锥台式，同时加大辊颈处过渡圆弧并磨削处理，延长水冷孔通过辊颈圆弧，从而使拉辊寿命由3～4个月延长到10～12个月，减少了事故损失，加快了生产节奏，年直接经济效益达49万元。     

电子应用产品的防电击试验浅析

本文依据国家有关标准对电子应用产品的防电击试验进行了简介和分析，指出了试验中应注意的问题。     

抗弹陶瓷的犁削机理和自锐作用研究

研制了铬刚玉抗弹陶瓷，其抗弹能力比标准均质钢有很大的提高，通过分析讨论，其主要抗弹机制为犁削机理和自锐作用。     

固井设备发动机防爆系统研究

针对目前固井设备不具备防爆功能的问题, 烟台杰瑞石油装备技术有限公司研制了JCMS210固井混浆橇中Detroit8V—71N发动机防爆气控系统。在对柴油发动机的引燃源进行分析后, 阐述了防爆气控系统设计方案, 给出气控系统工作原理图。室内试验和中海油田服务股份有限公司的现场使用证明, 这种防爆气控系统性能良好, 工作可靠, 能满足ZONE2的防爆要求, 解决了固井设备的防爆问题。     

基于ECC-ZKP的农产品供应链可控身份管理与认证模型

基于区块链的农产品供应链中,当参与主体数量规模越来越大时,节点与企业之间的1：1匹配关系将造成节点数量众多,从而造成网络开销大、共识效率低等问题。针对这些问题,引入中间件使得节点与企业之间1：1关系变为1：n的关系,对所涉及到的企业身份管理以及相互之间的认证,提出一种基于ECC-ZKP（elliptic curve cryptosystem-zero—knowledge proof）的可控身份管理与认证模型,实现身份的可控管理和完成可信交易前所需要的身份认证。通过模型分析和仿真实验分析结果表明,该模型能够提供较高的安全性,能够有效进行身份的管理和认证,且节点与企业之间1：n关系相比较于1：1关系减少了网络开销并提高了共识效率。