论文部分内容阅读
逻辑化方法是当前分析密码协议安全性的重要方法．本文通过运用一种新的认证逻辑系统，给出NSL认证协议的形式化分析证明，并提出协议改进方案．
NSL协议逻辑化分析
【摘 要】
：
逻辑化方法是当前分析密码协议安全性的重要方法．本文通过运用一种新的认证逻辑系统，给出NSL认证协议的形式化分析证明，并提出协议改进方案．
【机 构】
：
解放军信息工程大学信息工程学院
【出 处】
：
宜春学院学报
【发表日期】
：
2004年4期
其他文献
为解决油田特高含水开发阶段,注水水质难以达标这个难题,对胜利采油厂的7座污水处理站进行了剖析.分析了重力处理工艺流程、压力处理工艺流程、气浮选工艺流程、过滤等污水处
体育教学中实施创新教育是体育教育改革的一项重要任务,它贯穿于体育教育和教学活动之中.为了在体育中更好地培养学生的创新精神、创新能力和创新人格,教师素质和能力的提高
深入分析了运城市1990年至2000年水地小麦产量情况,论述了水利设施在小麦生产中的重要作用,针对水地小麦产量存在的问题,提出了今后抗旱减灾的对策.
近几十年来,中国长输管道技术不断发展,水平逐渐提高。特别是高凝含腊原油的加热输送、原油热处理及加剂综合处理工艺、天然气管道的设计和施工技术已达到或接近国际先进水平
我国地质学家认为,从世界石油生产的一般规律来看,当一个国家或地区累计探明石油可采储量达到最终可采资源量的约60%,储量动用系数达到约0.7时,原油产量将达到高峰期.目前中
强化监督执法保护水土资源员彦峰平陆县水保监督站自１９９３年组建以来，本着“立足水保法规，强化预防监督，抓好两费征收”的原则，着力行使“三权”，努力开展工作。几年来，先后查处水保违法
足球运动,通俗地讲就是以体能为基础的足球场上技术与战术的运用。快如狡兔的运球速度;眼花瞭乱的盘带过人;精妙准确的传接球;一箭封喉的精彩射门,无不属于足球技术的范畴,足