论文部分内容阅读
对标准Spi演算的语法及语义进行了合理扩展,并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析,得出了与其他分析方法相同的结论。
基于Spi演算的SSL3．0协议安全性分析
【摘 要】
：
对标准Spi演算的语法及语义进行了合理扩展,并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析,得出了与其他分析方法相同的结论。
【机 构】
：
信息工程大学
【出 处】
：
计算机应用
【发表日期】
：
2005年11期
其他文献
提出一种集成Option和MAXQ的分层强化学习新方法———OMQ,该方法以MAXQ为基本框架利用先验知识对任务进行人工分层和在线学习,集成Option方法对难以预先细分的子任务进行自动分层。以出租车问题为背景对OMQ学习算法进行了仿真与对比分析,实验结果表明,在任务环境不完全可知条件下,OMQ比Option和MAXQ更适用。
射箭发射技术规范及其训练山东省体育运动技术学院射箭队胡怡忱随着射箭运动水平的不断提高，技术动作规范与否已成为影响选手成绩高低的重要因素。而高水平的、规范的技术动作
提出一种基于最小二乘支持向量机(LS-SVM)的特征提取新方法,并将其成功应用到智能质量控制领域。首先,将线性特征提取公式表达成与LS-SVM回归算法中相同的形式;再遵循SVM方法将数据集由原输入空间映射到高维特征空间,进而使用该技巧通过线性形式实现非线性特征提取。然后,用常规控制图提取出一个含有6种模式、50维特征的仿真数据集用于测试,通过LS-SVM特征提取后,原数据集的特征被降到了3维并保留
运用文献资料法、特征解析法和数理统计等方法，对田径速度力量项群运动负荷控制特征进行研究。研究揭示，多年训练过程中一般身体素质和基本技术训练所占比重，随着训练年限和竞技
中国清洗行业ODS清洗剂淘汰特别工作组于2004年2月16日向2004年新增“中间代理机构”（IEA）签发了《票证淘汰工作委托书》，中国清洗行业利用票证方式淘汰ODS清洗剂2004年项目登记
为掌握陕西省成年人体质现状，科学评价其健康水平，对陕西省成年人的身体形态、机能及运动素质的指标进行调查与分析。总体看来，陕西省成年人形体形态较为理想，身体机能和素质随年
竞走是我国田径的重点项目之一，但在2003年世界田径锦标赛上全军覆没。虽然在2004年世界杯上取得了很大的进步，但雅典奥运会却未能获得奖牌。面临2008年北京奥运会，我国的技术风
快速进攻下的曲线突破曲线突破这一概念的形成来源于它的设计者──目前在圣克拉拉学院任教的卡罗尔·威廉姆斯。曲线突破即：运球至前场，不断改变进攻阵形，即可组织高效的积
论述了行政诉讼附带民事诉讼在司法实践运作过程中的可行性、必要性和行政诉讼附带民事诉讼的法律依据、基本特征、构成要件、适用范围及其之间的关系等问题.
全国亿万学生“阳光体育运动”的实施，是新时期加强青少年体育、增强青少年体质的战略举措，是各级学校贯彻“健康第一”指导思想和形成“终身体育”行为习惯的具体体现。体育教