论文部分内容阅读
采用谓词／转移网对密钥分配协议的安全性进行建模和分析，从而建立了协议的实体模型和闯入者模型。进一步分析表明，该模型中闯入者可利用旧的会话密钥，经过若干步骤可获得新的会话密钥，从而发同了该协议的漏洞。在实际协议中，还应考虑协议的可恢复性。
谓词/转移网系统及其在密钥分配协议中的应用
【摘 要】
：
采用谓词／转移网对密钥分配协议的安全性进行建模和分析，从而建立了协议的实体模型和闯入者模型。进一步分析表明，该模型中闯入者可利用旧的会话密钥，经过若干步骤可获得新的会话
【机 构】
：
中国人民解放军信息工程学院电子工程系
【出 处】
：
郑州轻工业学院学报
【发表日期】
：
1999年1期
其他文献
本文提供了一种化具有多个分段点的分段函数为初等函数的方法。
为减少和降低心脏手术后病人颈内中心静脉置管期间的并发症,通过规范化管理与培训,使置管期间的并发症明显下降,促进和提高了我科应用本技术的规范性和安全性。
在深入分析评价指标的基础上，引进一种改进的SVR算法，将这种改进SVR算法引入建设项目招标的评标工作，收集了大量评标实例用于改进的SVR网络训练，建立了建设项目评标的智能模型，并
分析了通用伺服与专用伺服的特点,指出了配套通用伺服的CNC系统与配套专用伺服的CNC系统间的区别。
由德州德隆机床公司自主创新设计的国内最大的CK43125数控曲轴连杆颈车床日前顺利通过用户预验收，并通过国家质量监督检验中心的检测。该产品在曲轴加工行业的投入应用将提高
免疫球蛋白为具有多种生物学活性，在免疲应答中起关键作用的效应分子。本文系统介绍了免疫球蛋白的功能及临床意义，并对其临床检测方法进行了系统全面的介绍。
目的分析乳腺癌的X线特征,探讨全数字化乳腺X线摄影在乳腺癌诊断中的应用。方法收集我院3800余例女性乳腺X线检查资料进行分析。结果可疑恶性及高度恶性者86例,确诊乳腺癌28
在ＰＨ＝１的ＨＣｌ和２５ｍｇ／ｍｌ抗坏血酸存在的溶液中，正磷酸盐与钼酸铵形成具有极谱活性的磷钼杂多酸。该杂多酸在ＮＨ３－ＮＨ４Ｃｌ（ＰＨ＝９．９）底液中有一灵敏吸附波，其峰电位为－１．１２（ＶＳ．ＳＣＥ）。导数波高与波浓度在５×１０－８～４×１０－５ｍｏｌ／Ｌ范围内呈良好的线
本文通过对1 169例产后42天康复检查结果进行分析,了解产褥期妇女健康状况及疾病分布,为孕前、孕期及产后健康教育方案的制订和提高保健质量、改进保健措施提供依据。结果：患
期刊