论文部分内容阅读
认证协议是网络环境中一类重要的安全协议，对协议进行形式化分析是保障其安全性的主要手段。文章以BAN逻辑为工具．分析了网络中常用的Kerbems认证协议。结果表明。Kerbems协议达到了预期的认证目标。
Kerberos协议的形式化分析
【摘 要】
：
认证协议是网络环境中一类重要的安全协议，对协议进行形式化分析是保障其安全性的主要手段。文章以BAN逻辑为工具．分析了网络中常用的Kerbems认证协议。结果表明。Kerbems协议
【机 构】
：
中国科学院计算机网络信息中心,中国科学院研究生院
【出 处】
：
微电子学与计算机
【发表日期】
：
2006年6期
其他文献
【国际原子能机构网站2012年3月9日报道】在日本福岛第一核电站事故迎来一周年纪念（3月11日）之际，国际原子能机构（IAEA）于2012年3月9日在其网站上著文回顾了此次事故的发生过程以
高职院校课堂教学是学生学习知识的主要平台,是学生与教师进行面对面沟通的重要渠道。但是,目前在高职院校中存在着严重的学生逃课现象。学生逃课一方面影响了学校的正常教学
目的：观察肛窦切开引流术加银翘红酱解毒汤直肠滴灌治疗慢性肛窦炎（湿热下注型）的临床疗效。方法：随机将80例湿热下注型慢性肛窦炎患者（保守治疗无效或反复发作者）分为两组,每组40
数学习题之于数学学习无疑是很重要的,就像问题是数学的心脏,但学生面对题海,没有很好的甄别能力,这就要求教师能够从中把精华提取出来。本文首先辨析了数学问题与数学习题的
【美国能源部网站2012年2月14日报道】2012年2月13日，美国能源部部长朱棣文公布了总额为272亿美元的能源部2013财年预算申请（见表1）。这份预算强调了总统对整体能源战略的承诺，其
为满足网络化条件下互联互通需求,越来越多的城市规划了城市轨道交通Y型线路。编制科学、合理的城市轨道交通Y型线路列车交路计划不仅能使线路的运力与不均衡的客流需求相匹
目的 研究青光眼并白内障老年患者应用超声乳化和小梁切除手术联合治疗对临床效果、并发症和生活质量的影响.方法 分析本院2014G11-2016G11已选取的青光眼并白内障60例老年患
现代汽车工业的高速发展,对汽车钣金件的外观和强度要求越来越为严格.诸如车门、侧围等核心钣金件,其冲压制件品质直接影响到整车的美观程度和制件强度.延时氮气弹簧系统（又称
目的 :探讨输尿管结石临床治疗更好的方法。方法 :用中西医结合方法治疗。结果 :治疗 1 2 8例 ,其中 91例结石排出 ,占 71 .1 % ;2 3例结石下降 ,占 1 8% ,总治愈好转率 89.1
目的 观察奥扎格雷钠联合高压氧治疗急性脑梗死的临床疗效.方法 将98例急性脑梗死患者随机分为A组34例,B组33例,C组31例.A组采用奥扎格雷钠＋高压氧治疗,B组采用复方丹参＋高压氧