河南黄河滩区新农村建设布局探讨

作为河南省新农村建设的重要组成部分,河南黄河滩区开展新农村建设也是社会发展的必然要求。随着黄河小浪底水利枢纽运用及调水调沙举措的实施,滩区受淹几率降低,滩区丰富的土地资源以及新农村建设方略为河南黄河滩区实施新农村建设提供了契机。文章探讨了河南黄河滩区新农村建设的布局及影响,为实施滩区新农村建设提供一定的理论支持。     

浅谈南水北调混凝土冬季施工措施

南水北调中线工程在河南省绝大部分地区都存在冬季施工问题,而混凝土工程又是所有冬季施工项目中的重中之重。本文从混凝土施工的各个环节阐述冬季施工的措施和注意事项,以保证冬季混凝土施工质量。     

Aigis-sig方案的门限数字签名协议研究

本文利用全同态加密技术和基于多项式环的Shamir门限秘密分享方案,设计了Aigis-sig方案的门限签名协议. Aigis-sig等基于格的数字签名方案,利用拒绝采样技术确保签名不泄露私钥信息,但是拒绝采样也给设计门限签名协议带来困难,在拒绝采样步骤完成前,需要对加密的中间值进行运算.因此,本文引入全同态加密技术密态计算协议中间值.此外,由于Aigis-sig方案使用的主要代数结构为多项式环,为适应协议构造,本文引入了基于多项式环的Shamir门限秘密分享方案,并证明了秘密分享方案在不同模约化操作下的正确性.分析结果表明该协议满足正确性和可行性,在两个参与者都是诚实的情况下,生成的门限数字签名满足适应性选择消息攻击下的存在不可伪造性.     

安全类型系统在编译技术中的应用研究

类型系统是一种设计和研究程序设计语言的形式化方法和工具。本文提出了一种新的用安全类型系统增强编译程序安全性的方法;给出了类型系统的形式化定义,引入了安全类型和安全类型系统的概念,并给出了安全类型系统的子类型规则和安全类型规则;最后讨论了安全类型系统在编译技术中的应用。     

一个LWE上的短公钥多位全同态加密方案

目前全同态加密的效率亟待提高,为了提高全同态加密的效率,提出一个LWE(learning with errors)上的短公钥多位全同态加密方案.方案中从离散高斯分布上选取LWE样例,并且将高斯噪音与之相加,导致LWE样例从 2n log q下降到n+1,使得方案的公钥长度变短.详细给出了该方案的噪音增长分析与安全性证明;此外,对目前密钥交换技术进行了优化,并且针对多位全同态加密,给出了密钥交换优化版本的形式化描述;最后,针对目前全同态加密的实践应用,给出了分析全同态加密具体安全参数的方法.分析了该方案与BGH13方案的具体安全参数,数据显示该方案的具体参数长度要优于BGH13方案.     

叛逆者可追踪的非对称群组密钥协商协议

非对称群组密钥协商(Asymmetric Group Key Agreement, ASGKA)的概念在2009年欧密会上被首次提出,其协议结束时协商出来的只是一个共享的加密密钥。这个加密密钥可以被敌手访问,而且对应多个不同的解密密钥,每个群组用户都可以计算出一个对应该公钥的解密密钥。同时指出进一步研究的问题之一是如何实现叛逆者可追踪的ASGKA协议。设计了一个标准模型下可证安全的非对称密钥协商协议ASGKAwIT,该协议可以实现叛逆者追踪。     

基于信息流分析的C代码安全编译技术研究

提出一种新的基于信息流分析的C代码安全编译技术。建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全。     

南水北调西线一期工程阿安引水隧洞洞内消能水工模型试验研究

阿安引水隧洞是南水北调西线一期的龙头工程,年调水量7亿m~3。引水隧洞设计为无压隧洞,隧洞布置包括有压进水口段、消能段、渐变段、洞身段。隧洞的设计输水流量Q=24．98m~3/s,工作水头5．22～84．22m。采用消力池消除多余能量,消能段与渐变段以缓坡相连,洞身为圆形断面,洞长13．438km,洞径4．68m,设计流量下洞内正常水深3．5m。     

基于辫群的代理盲签名方案

由Shor等人构造的量子算法可以在多项式时间内解决传统三大难解问题而利用辫群构造的很多数学困难问题,在量子计算机条件下均无有效的解法,辫群是一种适合构造抵抗量子密码分析的计算平台。利用左右子群元素的可交换性,基于CSP问题、SCSP问题和p次方根问题的难解性,提出了一个新的代理盲签名方案,并通过方案分析验证了该方案的有效性和可行性。