论文部分内容阅读
在安全协议的形式化分析方法中,串空间模型和基于串空间模型的协议认证分析方法是比较常用的验证方法。分析了DKNRP协议存在一定的缺陷,并提出一种新的电子邮件协议,基于扩展的串空间模型采用认证测试方法,验证了新协议可以满足其安全目标。
一种新的电子邮件协议及其形式化分析
【摘 要】
：
在安全协议的形式化分析方法中,串空间模型和基于串空间模型的协议认证分析方法是比较常用的验证方法。分析了DKNRP协议存在一定的缺陷,并提出一种新的电子邮件协议,基于扩展
【机 构】
：
湖北师范学院数学与统计学院,湖北师范学院计算机科学与技术学院
【出 处】
：
湖北师范学院学报：自然科学版
【发表日期】
：
2013年1期
【基金项目】
：
湖北省自然科学基金（2012FFB01801）, 湖北省教育厅重点项目（D20092203）, 湖北省教育厅青年项目（Q20102503）
其他文献
有这样一部伟大的科幻题材动画巨作,讲述的是来自外太空的先进文明降临地球,引发了地球入类文明的恐慌,巨大的变形机器人令地球人瞠目结舌,与此同时,尾随而来的“邪恶”外星
随着普通高校大学生篮球运动的不断普及和发展,对高校大学生篮球裁判员的综合能力的要求越来越高,从裁判员的职业道德,裁判规则理论和临场实践能力以及心理素质等几个方面探
本文以沪深A股上市企业的季度面板数据为样本，首次研究了经济政策不确定性对企业融资活动的影响和作用机制。研究表明，经济政策不确定性对企业实际融资存在抑制效应。进一步考
“我进的是516房间,门虚掩着,我推门进去,把餐盒放在桌子上,然后在手机上确认账单后才出来。因为信号不好,所以耽误了几分钟的时间。为什么从楼梯出去?那是因为电梯口立着故
本文按照控制规模效应后的股票特质波动率大小构造投资组合，将高特质波动率组合与低特质波动率组合的加权平均收益率之差作为特质风险因子。以1992年7月1日至2013年12月31日沪
通过图的连通包集和连通包数的定义,得到了6类常见连通图（路、圈、树、完全二部图、轮图、蛛网图）的连通包数,并确定了Petersen图的连通包数。
银行授信可以通过缓解企业融资约束来降低企业的资本结构调整成本，从而有效提高资本结构的动态调整速度。但同时，企业能否获得银行授信，受到公司规模、投资机会等因素的影响，具有
论及人类历史上最伟大的发明,流水线技术绝对不会缺席。对于人类社会生产力发展的贡献,流水线的重要性绝对不亚于车轮、蒸汽机、电动机,甚至可能与电子计算机相比也不遑多让
高校的学生活动丰富多彩，有格调高雅的校园文化活动，也有博大精深的科技创新活动，也有一些社团自发组织的专项活动。本文试图找到举办活动的几点共性，为成功举办活动提供一些有益
多面体链环是由多个相互镶嵌成的具有多面体形状的一种拓扑几何结构．构筑了一类双交叉多面体链环￡（P），给出了该链环L（P）的分支数c（L（P））的一个计算公式：当扭曲次数m是奇数时，c（L（P））=v（P）；当扭曲