论文部分内容阅读
对标准Spi演算的语法及语义进行了合理扩展,并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析,得出了与其他分析方法相同的结论。
基于Spi演算的SSL3．0协议安全性分析
【摘 要】
：
对标准Spi演算的语法及语义进行了合理扩展,并利用扩展后的Spi演算对大型复杂协议SSL V3.0的安全性进行了形式化分析,得出了与其他分析方法相同的结论。
【机 构】
：
信息工程大学
【出 处】
：
计算机应用
【发表日期】
：
2005年11期
其他文献
提出一种基于最小二乘支持向量机(LS-SVM)的特征提取新方法,并将其成功应用到智能质量控制领域。首先,将线性特征提取公式表达成与LS-SVM回归算法中相同的形式;再遵循SVM方法将数据集由原输入空间映射到高维特征空间,进而使用该技巧通过线性形式实现非线性特征提取。然后,用常规控制图提取出一个含有6种模式、50维特征的仿真数据集用于测试,通过LS-SVM特征提取后,原数据集的特征被降到了3维并保留
运用文献资料法、特征解析法和数理统计等方法，对田径速度力量项群运动负荷控制特征进行研究。研究揭示，多年训练过程中一般身体素质和基本技术训练所占比重，随着训练年限和竞技
为掌握陕西省成年人体质现状，科学评价其健康水平，对陕西省成年人的身体形态、机能及运动素质的指标进行调查与分析。总体看来，陕西省成年人形体形态较为理想，身体机能和素质随年
竞走是我国田径的重点项目之一，但在2003年世界田径锦标赛上全军覆没。虽然在2004年世界杯上取得了很大的进步，但雅典奥运会却未能获得奖牌。面临2008年北京奥运会，我国的技术风
论述了行政诉讼附带民事诉讼在司法实践运作过程中的可行性、必要性和行政诉讼附带民事诉讼的法律依据、基本特征、构成要件、适用范围及其之间的关系等问题.
全国亿万学生“阳光体育运动”的实施，是新时期加强青少年体育、增强青少年体质的战略举措，是各级学校贯彻“健康第一”指导思想和形成“终身体育”行为习惯的具体体现。体育教