论文部分内容阅读
本文引入公钥加密方案的新安全定义N-PAT,最后针对协议的迹性质与秘密性证明了扩展后方法的可靠性,即如公钥加密方案满足N-PAT,则符号形式化分析系统或者该系统所得到的结论在计算模型中也是正确的。
主动攻击下公钥加密的计算可靠性研究
【摘 要】
：
本文引入公钥加密方案的新安全定义N-PAT,最后针对协议的迹性质与秘密性证明了扩展后方法的可靠性,即如公钥加密方案满足N-PAT,则符号形式化分析系统或者该系统所得到的结论在计算模型中也是正确的。
【机 构】
：
91033部队,
【出 处】
：
网络安全技术与应用
【发表日期】
：
2011年05期
其他文献
我们知道,中医有“六淫”之说,也就是六邪.这当中,以风为首,说“风为百病之长”.所以,中医对风是非常注意的.在长期的摸索当中,人们发现,在人体当中有很多地方很容易遭受风的
固结试验确定固结系数常采用时间平方根法和时间对数法,这两种方法均为作图法,其缺点是在绘图时易掺杂人为因素的影响,因而应用繁杂且误差较大。从一维固结理论出发,结合最小
铁老把自己88岁时写的一个歌诀称之为《八卦掌养生行功歌》(亦称《八卦走转养生行功歌诀》):rn简易松无缓,环行神意凝.rn气聚身沉抱,智觉妙感通.rn离名空相寂,一巧任从容.rn
首先建立双向压缩条件下形成单一闭合裂纹的力学模型,考虑摩擦力的影响,计算出裂纹面的正应力和剪应力。分别运用有效剪应力准则和最大周向应力准则计算裂纹的初始断裂角。运
为了研究水下公路隧道在水平地震动和竖直地震动作用下结构的安全可靠性,采用快速拉格朗日时域有限差分法进行时程分析,并利用大型岩土软件FLAC3D对某浅埋软土地基水下公路隧
建立了越流承压含水层在循环抽水的地下水运动数学模型,用Heaviside函数性质及Laplace变换求解得该数学模型关于承压含水层水位变化的解析表达式,进而求得承压层压缩变形。通
近年来,顶管施工引起的土体扰动特性研究越来越重要。通过分析顶管施工过程地表位移的分阶段扰动机理,将顶管推进过程中的地表位移分为四个阶段:前期波动阶段、隆起阶段、施
Objective To investigate the effect of occupational lead exposure on blood pressure and provide supportive evidence of health protection on lead-exposed workers