群组密钥协商协议的安全性分析方法研究

群组密钥协商允许多个用户通过不安全的信道建立一个共享的会话密钥,设计安全的群组密钥协商协议是最基本的密码学任务之一。介绍了群组密钥协商协议的两类安全性分析方法:计算复杂性方法和形式化分析方法,详细讨论了计算复杂性方法中的关键技术,包括基于规约的证明技术及基于模拟的证明技术、基于规约的安全模型和基于模拟的安全模型,探讨了安全性分析方法的发展趋势。     

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

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

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

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

浅谈企业财务风险的预测

介绍了财务存在的市场风险，经营风险和融资风险等，并着重分析了抵御风险的方法。