论文部分内容阅读
对Guttman等人提出的3种测试中的输入测试（incomingtest）进行扩展，使其能够用来分析使用签名和验证的协议，如CCITTX．509协议等．使用扩展后的输入测试来分析CCITTX．509协议的正确性，发现它的不足之处．
认证测试的一个扩展
【摘 要】
：
对Guttman等人提出的3种测试中的输入测试（incomingtest）进行扩展，使其能够用来分析使用签名和验证的协议，如CCITTX．509协议等．使用扩展后的输入测试来分析CCITTX．509协议的正确性，发
【机 构】
：
中国科学院软件研究所,国家重点实验室（中国科学院研究生院）
【出 处】
：
中国科学院研究生院学报
【发表日期】
：
2007年4期
其他文献
等电点是蛋白质最重要的物理化学性质之一．目前有多种测定等电点的方法．本文利用最简单的浊度／分光光度法和最先进的毛细管等电点聚焦法分别测定了河南牛皮明胶的等电点，对两种方
若随机向量ξ的密度函数为一个正态密度函数Фr（x；γ，I）与一个多项式的米识影式，我们给出随机变量ξ^Tξ分布的具体求解公式，并应用此公式得到经验CR统计量（Baggerly，1998）的高阶近似
南华县委组织部围绕“深、活、实”，扎实抓好对党的十八大精神的学习贯彻落实。一是围绕“深”字，集中学习。南华县委组织部切实把学习贯彻落实党的十八大精神纳入理论中心组学
根据蜻蜒拍翼前飞激发的流场具有St≥1／m的特点，在理论模化框架下，采用势流假设，用二维变形体前、后缘脱涡的面元法研究了前飞模型蜻蜒翼在周期性拍动中动态柔性变形引起的气动力
首先介绍了星载SAR回波信号仿真相关技术，包括星地空间几何模型、回波信号数学模型和距离频域脉冲相干法．在此基础上给出了一种星载SAR回波信号仿真方案，并详细给出了其仿真算法
杨善洲同志60年如一日坚守共产党人的精神家园，牢记宗旨、淡泊名利，廉洁奉公、无私奉献，开拓创新、求真务实，全心全意为老百姓办好事、办实事，永葆共产党人的先进本色。中共中央总
胡锦涛强调，要坚持把党的执政能力建设和先进性建设作为主线，以解决影响和制约科学发展的突出问题为重点。把开展学习实践科学发展观活动的成功经验和有效做法运用到经常性工作
ISAS作为一种教学方法,在提高学生的自主学习能力、开拓学生视野方面有着独到的地方。但把这种教学方式纳入到具体的专业课程体系,作为单独的一门课程开设,还是一种新的探索