论文部分内容阅读
随着网络应用的迅速发展。协议的安全性显得越来越重要，对协议的安全性分析和研究也成为目前一个非常紧迫的课题。介绍Kerberos协议，然后采用非形式化方法对协议进行分析，最后使用模型检测工具SPIN对协议从安全属性的两个方面，认证性和保密性进行了分析，模拟实现了协议的重放攻击。
Kerberos协议安全性的SPIN分析
【摘 要】
：
随着网络应用的迅速发展。协议的安全性显得越来越重要，对协议的安全性分析和研究也成为目前一个非常紧迫的课题。介绍Kerberos协议，然后采用非形式化方法对协议进行分析，最后使
【机 构】
：
南昌大学计算中心,江西交通职业技术学院．南昌330013
【出 处】
：
现代计算机(专业版)
【发表日期】
：
2008年10期
其他文献
移动办公是提高办公自动化系统效率的重要手段．结合中山大学数字化校园建设的实践，阐述了移动办公系统的建设背景，然后给出了完整的实施方案和系统测试方案，并对系统测试过程中遇
房屋建筑不仅是人类遮风避寒的工具,同时也是提高人类幸福度的重要工具。经济发展永远会给予人们带来更丰富的物质生活内容,而作为生活基础的房屋质量以及其安全性,近几年也
南小线开发区段(响水河村至三江大道段)最高填方地段因受中石化输油管及1#桥施工进度影响,最高填方施工5月底才能启动。文章根据路面实际情况,得出了具体的施工方案,即设置过
事情从一开始就有些蹊跷：工信部（即工业和信息化部，下同）于今年5月19日发出预装“绿坝-花季护航”软件的通知，要求计算机生产及销售企业应于2009年6月底完成预装测试，并在年内按月
提出一个基于B／S模式的双向互动网络教学平台．设计一个用于网络辅助教学的支持平台，介绍分析、设计、实现这个平台的主要功能。
1980年在日本大阪,和义石井创立了清左介宽派空手道,这套功夫在武术界留下了不可抹灭的印迹。从那以后,介川又因发起了 K—1重金锦标赛而声名远播。现在,人们对 K—1锦标赛的
期刊
针对三维模型检索性能较低的问题．提出一种快速准确的检索技术。为了提高模型的检索速度．引入于文本与内容相结合的检索方法。为了提高模型检索的准确率，根据基于单一模型特征的