论文部分内容阅读
认证测试方法是基于串空间模型的验证安全协议的一种形式化方法,由于串空间模型没有抽象更多的密码学原语,因此难以分析较复杂的安全协议。通过扩展消息项、子项关系以及入侵者模型,扩展了串空间模型及相应的认证测试方法。根据扩展后的认证测试方法,分析了SSL3.0握手协议,验证了该协议认证属性。
串空间模型及其认证测试方法的一种扩展与应用
【摘 要】
：
认证测试方法是基于串空间模型的验证安全协议的一种形式化方法,由于串空间模型没有抽象更多的密码学原语,因此难以分析较复杂的安全协议。通过扩展消息项、子项关系以及入侵者模型,扩展了串空间模型及相应的认证测试方法。根据扩展后的认证测试方法,分析了SSL3.0握手协议,验证了该协议认证属性。
【机 构】
：
苏州大学计算机科学与技术学院,重庆师范大学数学与计算机科学学院
【出 处】
：
计算机应用
【发表日期】
：
2008年12期
其他文献
对目标分群技术问题进行了描述,分群或聚类问题是态势估计需要实现的一个重要功能,主要根据底层融合的结果应用聚类分析法实现战场目标分群。目标分群的结果有助于确定态势元素之间的相互关系,从而解释问题领域的各种行为,辅助指挥决策。提出使用Chameleon算法对战场目标或群进行划分,根据相对互连性RI和相对近似性RC所表征的相似度把它们形成更高层次的群。
广场舞是广场舞是最初起于中老年人的一种健身舞蹈,开始的时候是一批中老年人此按照约定的动作在公园或者广场上随着伴奏乐音乐跳动着。然而现在出现了一批排舞,广场舞与排舞
一望并列短语解析：名词并列时,要看其所表达的概念能否并列,如果构成属种关系、交叉关系,那么这几个表述就是错误的;主谓宾是并列结构时,应采用一一对应的方法辨析,以防出现主
匹配是不完全信息市场中供、需双方之间的撮合过程,复杂多变的市场信息使精确的匹配规格确定越来越困难。利用反馈原理设计了匹配规格优化机制,给出了基于效用的相似度比较方法,对优化过程中固定值方法和动态值方法的性能作了比较,最后利用实验对该机制的有效性进行了验证。
基于特高压断路器的电场强度分布给出了合闸预击穿时间的均值和标准差,再利用ATP-EMTP软件对空载变压器进行合理建模,并进行不同剩磁情况下的电磁暂态仿真,对考虑预击穿和机
从初三第一次接触化学开始,我就对这门神奇的学科一见钟情,既着迷于不同元素之间奇妙的结合,也热衷于电子之间巧妙的排布。同时,作为一个爱美的女生,我也一直希望自己将来能
2012年8月23日上午，在重庆希尔顿酒店举行的“中德职业教育校企对话系列活动（重庆）”开幕式上，重庆市教委与德国手工业技能发展中心签署了“中德（重庆）汽车职业资格培训与认证中心
在浙江省桐庐县分水镇大路村，有一位远近闻名的农机大户——陈早德。说起他，村里凡是种田的人都会竖起大拇指，“这人服务意识好，服务周到又细致，把农事交到他手里放心”。
QoS已经成为网络基础研究的一个重点,网络应用的多样化和快速增长要求网络能够灵活处理应用的QoS需求。文中基于主动网技术,提出一种服务质量可定制主动路由选择算法(QCAR),该算法依据应用定制的QoS保障需求和策略进行主动路由选择。
引语：在吃瓜群众幸灾乐祸中，特朗普即将开始他的总统之旅。新官上任三把火，怀着救美国民众于水火的心情，特朗普慷慨激昂地在电视中陈述了他的施政纲领。现在的美国，社会撕裂，经济衰