论文部分内容阅读
提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证明了该形式化方法的有效性。
安全协议认证属性的设计框架研究
【摘 要】
：
提出了一种安全协议的认证属性设计方法。该方法设计了协议认证消息结构,通过通道模型增加设计过程中消息结构的动态安全特性,采用迹模型准确描述消息交互过程。讨论了避免攻击的安全属性设计原则,并通过形式化的方法表示出来。最后证明了该形式化方法的有效性。
【机 构】
：
四川大学计算机学院
【出 处】
：
计算机应用
【发表日期】
：
2007年12期
其他文献
Springdoo 是一个免费的语音在线服务网站，你不需要拥有特别专业的软件和录音设备，只需一台能够上网的计算机和一副耳麦，就可以轻松录制音频消息。录制的音频消息可以通过Email发送给你的好友，无论好友身处何地都能第一时间聆听到你亲切的问候。 本文为全文原
超宽带(UWB)技术是家庭无线个人域网的热点研究技术,而其MAC层的资源分配算法对整个网络的传输性能具有极其重要的作用。文中运用NS2网络仿真软件对UWB MAC层协议之一IEEE 802.15.3进行了仿真分析,搭建了微网结构,分析了网络性能参数,重点分析了一种动态分配算法提案在UWB高速网络下的性能。
提出选择不同的树路由作为多播通信方案,以获得较低的综合代价保证网络负载均衡。由于多播路由的最优选择问题在多项式时间内难以求解,提出一种使用遗传算法的路由算法来同时优化不同的服务质量指标,计算产生出几种路由树。模拟结果和分析表明这种基于不同树策略的路由算法具有较好的性能效果。