论文部分内容阅读
介绍了密码协议的形式化分析方法和设计原则,着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则,并提出了作者的一些观点.
密码协议的形式化分析与设计原则
【摘 要】
：
介绍了密码协议的形式化分析方法和设计原则,着重介绍了BAN逻辑及其发展以及一些重要的协议设计原则,并提出了作者的一些观点.
【机 构】
：
南京邮电学院通信工程系
【出 处】
：
南京邮电学院学报(自然科学版)
【发表日期】
：
2001年3期
其他文献
随着我国“天保”工程的实施，人造板需求量的大幅度增加，使生产人造板的原料木片市场显得非常紧俏。本文从木片生产的内外部条件和木片生产效益的有效途径两方面阐述了如何开拓
自大开放主战略实施以来，江西对外开放程度有了明显提高，对外开放局面呈现一些明显特征，但是也面临着发展水平不够、区域差异大等问题。对此，需要完善促进对外开放的长效机制，明确
发河大桥是一座建于1964年的森铁钢板梁桥，在林区通村路建设中属必须重建或改造项目，本文论述了发河大桥改造加固的设计要点、加固方法、施工过程、对林区桥梁的改造加固的经验
作者通过对大兴安岭多年冻土区进行的实际地质勘察,阐明了在多年冻土区建筑工程中基础浅埋的依据、方法、效果及其范围。此法在多年冻土地区具有一定的推广价值。
提出并分析了一种基于光纤光栅的新型光分插复用器(OADM).与基于光纤光栅的普通型OADM相比,具有更小的同频串扰,下载端口的同频串扰小于-80 dB,上载端口的同频串扰小于-50 dB
一、凝汽机组低真空运行循环水供热的实质 所谓低真空运行,循环水供热,就是以采取减少循环水量的办法,达到提高汽轮机排汽的压力,降低凝汽器的真空,至使排汽温度随之升高,使
介绍了一种基于双片TM1300的双路视频采集卡的高速数据传递方案.在分析了TM1300芯片的EVO、VI、PCI、SSI等外设接口特性的基础上,提出了用EVO与VI互联来实现双路视频采集卡中
给出了用模糊感知器学习算法和(ε,δ)准则估计多元线性回归模型回归系数的详细算法,讨论了学习速率、ε和δ的设定;并与经典的回归系数估计方法最小二乘法作比较,发现总体拟
提出了一种有效的适用于甚低比特率视频编码的运动估计新技术。通过强加一定的空间连续性准则使得运动场结构更加平滑，并且将具有相同运动矢量的相邻图像子块合并为一组，对于这