论文部分内容阅读
在分析四类常用密码协议形式化分析方法的基础上 ,阐述了各自的优缺点。探讨了形式化分析所面临的挑战 ,指出目前在这方面所做的工作以及有待发展的方向。
密码协议的形式化分析
【摘 要】
：
在分析四类常用密码协议形式化分析方法的基础上 ,阐述了各自的优缺点。探讨了形式化分析所面临的挑战 ,指出目前在这方面所做的工作以及有待发展的方向。
【机 构】
：
信息工程大学电子技术学院
【出 处】
：
计算机应用研究
【发表日期】
：
2001年10期
其他文献
按照市场经济要求完善农村合作经济组织广西壮族自治区经管局局长、高级农经师中国农村合作经济管理学会理事韦仕鹏《农村合作经济经营管理》是发展合作事业的指南，是广大农经
应尽快建立用于生产者补贴的粮食风险调节基金赵铁桥自从中央农村工作会议决定，从今年起实行粮食平衡省长负责制、粮食由各省负责自求平衡的政策以来，各省、地、县在这方面做了
全国农经工作会议在京召开本刊讯（记者师高康）为期３天的全国农村经营管理工作会议３月１３日在北京怀柔结束。来自各省、区、市的农经管理处（站）长，以及农业部农村合作经济指导司、经营管
全球化与本土化的边界选择主要受市场差异化程度、企业提供差异化营销战略的能力和边界成本三个条件的约束。要根据企业能力边界与社会边界关系的比较选择“对应战略”类型，要
近10年来，我国大部分省级单位的女性就业人员比重都有所下降。对我国1996—2006年省级面板数据的估计结果表明，我国女性就业人员比重的下降有利于劳动收入份额上升。该结果对不
多协议并存的复杂网络必须要妥善地解决协议互联问题．阐述了ＳＴＵＮ技术的原理及实现方法，介绍了基于ＳＴＵＮ的几种联接方式，给出了一个具体应用的实现．
论述了常被Windows应用程序所使用的挂钩API调用的几项技术及其优缺点 ,并提出了在实现拦截API功能时 ,需要注意的一些问题