期刊文献+
共找到4篇文章
< 1 >
每页显示 20 50 100
密码协议形式化分析的计算合理性 被引量:1
1
作者 王全来 王亚弟 韩继红 《计算机工程与应用》 CSCD 北大核心 2007年第21期8-11,共4页
基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法... 基于Abadi-Rowgaway的形式化加密的计算合理性定理,提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议安全性的分析,说明定理对协议的可选择攻击具有较强的分析能力,提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性。 展开更多
关键词 形式化方法 计算方法 合理性定理 密码协议分析
下载PDF
密码协议形式化分析的计算合理性 被引量:1
2
作者 王全来 王亚弟 韩继红 《微计算机信息》 北大核心 2007年第24期50-52,共3页
基于Abadi-Rowgaway的形式化加密的计算合理性定理,论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析,说明本文的定理对协议的可选择攻击具有较强的分析能力,论文提出了群密钥分配协议的形式化方法与... 基于Abadi-Rowgaway的形式化加密的计算合理性定理,论文提出和证明了密码协议形式化分析的计算合理性定理。通过对群密钥分配协议的分析,说明本文的定理对协议的可选择攻击具有较强的分析能力,论文提出了群密钥分配协议的形式化方法与计算方法下安全性的形式化定义,并证明了其合理性。 展开更多
关键词 形式化方法 计算方法 合理性定理 密码协议分析
下载PDF
用矩阵的初等变换求矩阵的特征值与特征向量
3
作者 汪庆丽 《岳阳师范学院学报(自然科学版)》 2001年第3期12-14,共3页
研究一种只对矩阵作适当的初等行变换就能求到矩阵的特征值与特征向量的新方法。论证其方法的合理性 。
关键词 矩阵 初等变换 特征值 特征向量 求解方法 合理性定理
下载PDF
Influence of Polymer Binder on the Physical Properties and Stability of Engineering Spoil on a Slope 被引量:3
4
作者 CHEN Shu-yue GU Wei DAI Quan-yu 《Journal of Mountain Science》 SCIE CSCD 2013年第1期105-115,共11页
An experiment was performed to study the influence of polymer binders on the physical properties,and stability against a simulated rainfall,of a slope consisting of engineering spoil.Results showed that low polymer bi... An experiment was performed to study the influence of polymer binders on the physical properties,and stability against a simulated rainfall,of a slope consisting of engineering spoil.Results showed that low polymer binder concentrations(≤500g/m3) could enhance the air permeability and moisture-retaining capacity of the engineering spoil;however,adding more polymer binder made the hardness of the engineering spoil increase and then decline.With the increase of polymer binder concentrations,the surface(0-5cm) permeability of the engineering spoil decreased but the permeability of the lower layers(5-10cm) increased.Polymer binders might reduce runoff and sediment,but the effect becomes weaker with the increase of rainfall.The results of this study have significance for engineering practices.Further experiments are needed to study the effects of binders under other conditions,such as natural rainfall,different slopes,different rock types,different degrees and spoil weathering and different added material,and the chemical interaction between soil and polymer binders. 展开更多
关键词 Polymer binder Engineering spoil Artificial simulation of rainfall
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部