论文部分内容阅读
形式化分析技术是揭示安全协议是否存在漏洞的重要途径，串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。介绍了SSL3．0协议的握手过程和串空间模型的基本概念以及基于串空间模型的认证性测试方法，在此基础上建立了基于串空间的SSL协议握手过程的模型，并验证了SSL协议的认证性。
基于串空间模型的SSL3．0协议认证性分析
【摘 要】
：
形式化分析技术是揭示安全协议是否存在漏洞的重要途径，串空间模型是一种基于定理证明的、新兴的安全协议形式化模型。介绍了SSL3．0协议的握手过程和串空间模型的基本概念以及
【机 构】
：
苏州大学计算机科学与技术学院
【出 处】
：
苏州大学学报(工科版)
【发表日期】
：
2007年6期
其他文献
提出了一种采用CPLD（Complexprogrammablelogicdevice，复杂的可编程逻辑器件）和AD转换器件ADC0809构成的多通道温度测量的实现方法。设计了以Lattice公司的ispLSl1032E-70LJ84芯
分析音乐教育在大学生情商培养中的作用,提出了在音乐教育活动中培养大学生情商的策略,通过确立主题、创设专区、激活自我、利用网络环境等,来融入精神文化、搭建心灵平台、
针对原有知识平台中权限控制粒度不够的问题，提出了一个基于关系代数的权限控制模型，形式化定义了权限控制规则及其表达方法，提出了有关设计方案。
运用专家访谈法、问卷调查法对西南大学化学教师教育研究所黄梅团队构建的《中学化学教师教学能力表现性评价指标体系》进行修订,运用决策技术中的层次分析法确定了指标体系
人才培养模式决定了人才培养的质量,现代学徒制是学校理论教育与企业实践教育相结合的人才培养模式。我校与浙江华海药业合作进行药品生产技术专业现代学徒制试点工作,以培养
针对当今包装消费市场存在的典型问题，从回归包装的定义和职能出发，假设性地提出“包装免费”的概念，并依据心理学原理对此概念可能对商家、设计人员以及消费者等方面产生的反映
研究水平集方法（Level Set Method）对速度场的应用。首先论述水平集方法的一般原理及解决问题的流程。然后，针对速度场的情况，研究并得出了多种求解精度要求下水平集方程的离散表