论文部分内容阅读
以认证测试方法为基础，提出了一种通用的安全协议形式化设计方法，使用该方法对Needham-Schroeder （NS）公钥协议进行了重新设计．最后通过认证测试方法证明了重新设计的NS协议能够满足安全协议的保密性、身份认证和数据认证的要求，并且有效避免了原NS协议存在的中间人攻击问题．
基于认证测试的通用安全协议设计方法
【摘 要】
：
以认证测试方法为基础，提出了一种通用的安全协议形式化设计方法，使用该方法对Needham-Schroeder （NS）公钥协议进行了重新设计．最后通过认证测试方法证明了重新设计的NS协议能够满
【机 构】
：
上海交通大学电子工程系
【出 处】
：
上海交通大学学报
【发表日期】
：
2006年3期
【基金项目】
：
国家高技术研究发展计划（863）项目（2002AA145090）
其他文献
从服务运行角度出发，提出利用部分计值技术优化服务的新方法，将通用服务例化为更有效的实现．基于字节码例化的部分计值和网格特性，分析井给出了分布式部分计值架构和实现机制．通过
提出了一种新的基于卡尔曼滤波的股市泡沫度量模型.该模型将股市泡沫和内在价值均视为不可观测变量,利用市盈率中含有的股票内在价值的信息和信贷量中所含有的股市泡沫信息,
针对桥式起重机这一类不完全控制系统，提出了一种新的混合控制方案，有机地结合了鲁棒输入整形技术以及线形二次型调节器（LQR）．该方案中，结合起重机模型的特点，采用LQR控制器来同时实
阶段性和风险性是科技创业企业成长的主要特征,分段投资是投资者对科技创业企业进行投资的基本运作方式.对Ramy Elitzur多阶段投资博弈决策模型进行了简化和改进,针对阶段性
针对代表性投资者对于下跌风险和上升风险的不同态度，推导了基于“熊市”和“牛市”的单期资产定价模型，并运用中国股市数据进行了实证．结果表明：分别与“熊市”和“牛市”对应的