论文部分内容阅读
提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证明了该形式化方法的有效性。
安全协议认证属性的设计框架研究
【摘 要】
：
提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证明了该形式化方法的有效性。
【机 构】
：
四川大学计算机学院
【出 处】
：
计算机应用
【发表日期】
：
2007年12期
其他文献
我院版画专业正式创建于1973年秋,弹指间已有了十八年的历史。设置版画专业在我院无甚基础,它是在缺乏办学经验,缺少教学资料,又没有教学设备的情况下,建立起来的一个新专业
有一点慌张，又有一点兴奋，但随即就被突如其来的工作压力弄得不胜其烦，每天过得风风火火。这就是大多数初涉职场的同学们的心理状态。为了把握住试用期，同学们往往各显神通……那
Springdoo 是一个免费的语音在线服务网站，你不需要拥有特别专业的软件和录音设备，只需一台能够上网的计算机和一副耳麦，就可以轻松录制音频消息。录制的音频消息可以通过Email发送给你的好友，无论好友身处何地都能第一时间聆听到你亲切的问候。 本文为全文原
由南京艺术学院主办、南京艺术学院艺术学研究所承办的大型学术丛刊《艺术学研究》，已由南京大学出版社于今年出版，并通过新华书店面向全国发行。该丛刊的编辑委员会由院内外知
外文电影的对话语速较快，对于英文初学者来说要想完全听清有难度。使用Kmplayer，我们完全可以通过快捷键控制电影播放速度，只要按住Shift＋-（数字键盘区）键就减速播放了，每按一次减速
超宽带(UWB)技术是家庭无线个人域网的热点研究技术,而其MAC层的资源分配算法对整个网络的传输性能具有极其重要的作用。文中运用NS2网络仿真软件对UWB MAC层协议之一IEEE 802.15.3进行了仿真分析,搭建了微网结构,分析了网络性能参数,重点分析了一种动态分配算法提案在UWB高速网络下的性能。
在南艺读书的时候,曹荣祥就住我楼下,他常来我这儿聊,无非写字画画的事.一段日子之后,我发现他的玩心颇有特色.就我所知,他染上舞文弄墨的雅好已有不少年头了.起初喜欢书法,
目的观察对比电针夹脊穴与颈椎牵引治疗神经根型颈椎病的临床疗效,并探讨电针夹脊穴的作用机制.方法120例神经根型患者,随机分为两个治疗组,60例采用电针夹脊穴治疗,60例采用
当年我听过鲁迅先生的一次讲演,讲题是"绘画杂谈"。在那次讲演中,鲁迅先生切中时弊地谈了当时美术界的一些重要问题,我听了终身受用不尽。今天我的讲题就套用鲁迅先生的旧题,
提出选择不同的树路由作为多播通信方案,以获得较低的综合代价保证网络负载均衡。由于多播路由的最优选择问题在多项式时间内难以求解,提出一种使用遗传算法的路由算法来同时优化不同的服务质量指标,计算产生出几种路由树。模拟结果和分析表明这种基于不同树策略的路由算法具有较好的性能效果。