论文部分内容阅读
以认证测试方法为基础，提出了一种通用的安全协议形式化设计方法，使用该方法对Needham-Schroeder （NS）公钥协议进行了重新设计．最后通过认证测试方法证明了重新设计的NS协议能够满足安全协议的保密性、身份认证和数据认证的要求，并且有效避免了原NS协议存在的中间人攻击问题．
基于认证测试的通用安全协议设计方法
【摘 要】
：
以认证测试方法为基础，提出了一种通用的安全协议形式化设计方法，使用该方法对Needham-Schroeder （NS）公钥协议进行了重新设计．最后通过认证测试方法证明了重新设计的NS协议能够满
【机 构】
：
上海交通大学电子工程系
【出 处】
：
上海交通大学学报
【发表日期】
：
2006年3期
【基金项目】
：
国家高技术研究发展计划（863）项目（2002AA145090）
其他文献
现代教育技术通过在中学语文课堂教学中改变单一和单调的课堂教学结构、激发兴趣、发展学生思维和想象力、长课短进等优化手段,提高学生的学习兴趣和教学质量,同时也提出了现
从服务运行角度出发，提出利用部分计值技术优化服务的新方法，将通用服务例化为更有效的实现．基于字节码例化的部分计值和网格特性，分析井给出了分布式部分计值架构和实现机制．通过
提出了一种新的基于卡尔曼滤波的股市泡沫度量模型.该模型将股市泡沫和内在价值均视为不可观测变量,利用市盈率中含有的股票内在价值的信息和信贷量中所含有的股市泡沫信息,
pH,温度、离子强度及效应剂等对固定化烟草RuBP羧化酶在2.5mol/L尿素处理下的解离作用有各种不同的影响。在pH6.0时,仅小亚基从大亚基核(L_8)解离,当pH为中性偏碱时,大亚基核
针对桥式起重机这一类不完全控制系统，提出了一种新的混合控制方案，有机地结合了鲁棒输入整形技术以及线形二次型调节器（LQR）．该方案中，结合起重机模型的特点，采用LQR控制器来同时实
阶段性和风险性是科技创业企业成长的主要特征,分段投资是投资者对科技创业企业进行投资的基本运作方式.对Ramy Elitzur多阶段投资博弈决策模型进行了简化和改进,针对阶段性
轻度土壤干旱下,小麦叶片仍能维持较好的水分状况,高氮营养对叶片光合作用有明显的促进作用。中度以上土壤干旱下,叶片水势和相对含水量明显降低,高氮叶片降低的幅度显著大于低氮,同时叶片净光合率(P_n)也趋于降低,高氮叶片降低的幅度较大。高氮叶片的叶肉光合活性明显大于低氮叶片,干旱下P_n降低与其气孔限制作用较大有关。高氮叶片的渗透调节大于低氮叶片,但渗透调节对气孔导度和P_n的维持有限。
针对代表性投资者对于下跌风险和上升风险的不同态度，推导了基于“熊市”和“牛市”的单期资产定价模型，并运用中国股市数据进行了实证．结果表明：分别与“熊市”和“牛市”对应的
莲胚发育达到最大鲜重(开花后21d)前,胚轴和子叶的DNA,RNA都持续增长。开花13d后,蛋白、淀粉等贮藏物质显著积累,核酸增长速度加快。成熟胚轴的DNA和RNA含量很高,而子叶中积
杨梅、沙棘和赤杨三种放线菌结瘤植物根瘤、根部有机氮化物的组分中,都含有占总有机氮化物50％以上的尿囊酸,说明在它们的根瘤中合成了大量的酰脲;同时,三种植物结瘤植株的茎木质部提取物中也含有大量的尿囊酸,表明根瘤将其合成的酰脲向植物地上部位运送。三种植物的根瘤还将其合成的特定的氨基酸及酰胺向地上部位转运,其中杨梅根瘤将固定的氮素以Asn和Gln的形式输出,而根部则以Arg的形式向上转运;沙棘根瘤以As