类BAN逻辑基本模型及缺陷

来源 :软件学报 | 被引量 : 0次 | 上传用户:ssskstar
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
类BAN逻辑是一种用于分析密码协议安全性的逻辑。在分析了BAN,AT,MB,GNY,SVO等类BAN逻辑之后,指出这些逻辑的缺陷,包括若干新发现的缺陷,首先把类BAN的模型抽象出来,形成一个五元组模型,然后分析该模型的各个要素,并依据该模型对类BAN逻辑的缺陷进行分类,最后指出进一步发展类BAN逻辑应解决的问题。
其他文献
本文论述了在高校音乐教育中,对数字化音乐教学手段的应用方式、方法,以及数字化音乐教学手段在促进高师音乐教育现代化中的作用。
班上一男生与邻班一女生热恋,每日早出晚归,风雨无阻。我们看着好不辛苦,不由长叹:“原来谈恋爱就是提前离开象牙塔,开始每日例行公事的上班生涯!”小米立时反对:“哪有这等甜
“减负”给疲于奔命的学生和教师以喘息的机会,但“减负”不等于“减质量”,如何在“减负”环境下提高教学质量,应是每一位教育工作者必须思考的重要课题。
文章提出了一种结合纹理信息的图像分割方法,设计并实现了一种基于子区域的区域增长算法,该方法较有效地利用了欲分割对象区域的灰度以及纹理信息,该方法应用于医学图像的分割,得
搜索算法的初始空间、搜索策略、搜索过程可以用一阶语言描述,搜索算法的逻辑性质由初始状态空间确定。这意味着描述搜索过程的逻辑具有紧致性,初始状态的初等类具有有限封闭性
韦卓民先生是中国近现代著名的教育家、哲学家和爱国者,他博学多才,学贯中西,以矢志不渝的奉献精神致力于华中大学的创办和发展,形成了自身独特的高等教育思想。在私立武昌华
职业选择是人生的一次重要选择。职业选择的成功与否,对每个人的前途及未来的发展具有极为重要的意义。随着我国劳动就业制度改革的深入,技校毕业生将拥有更多的择业自主权。
Agent作为一种受限的智能对象,对Agent的继承特性进行深入研究并将继承机制嵌入到AOP(agent-oriented programming)中则具有重要意义.文章基于BDI Agent模型,对软件Agent的继承性和复制行为进行了研究.从单继承和多继承两个方面给出Agent继
递进网格是一种有效的连续多细节层次模型的表现方式。该文提出了一种新的递进网格模型,具有无二义性,恢复速度快和支持多种类型的网格等特点。文章还给出了支持这种网格模型的