认证协议的安全性保证

来源 :上海交通大学学报 | 被引量 : 0次 | 上传用户:liuandhll
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
提出了保证认证协议安全性的2个条件:主体的活现性和会话密钥的保密性、新鲜性和关联性,并形式化证明了2个条件满足基于不可区分性的安全性定义.以Needham-Schroeder认证协议和SSL协议为例,说明分析认证协议是否满足2个条件的方法,以及如何根据安全属性的缺失直接构造攻击.基于2个条件的安全性分析方法不仅能用于证明协议正确,也能用于查找协议漏洞.该分析方法与攻击者的具体行为描述和多协议运行环境无关,是安全性的精确量化指标,其简单、有效,能帮助研究人员分析和改善认证协议设计.
其他文献
根据带毂直齿轮的结构特点,采取4种具体措施解决其精密成形问题,提出一种带毂直齿轮精锻新工艺,以某具体带毂直齿轮零件为例,建立了其精锻成形过程的刚塑性有限元仿真模型,分
针对化工过程数据中包含噪声和强非线性的特点,提出了基于小波去噪核主元分析(De-noised Kernel Principal Component Analysis,DKPCA)和邻近支持向量机(Proximal Support Vecto
采用国际上通用的能源系统MARKAL模型,根据上海经济和社会发展的趋势,以及能源需求的增长,以中长期发展为研究目标,建立上海能源系统模型.模型设计了1个基准模型,它包含了一次能源
摘要:随着市场经济体制快速发展,各个企业置身于白热化的竞争中。因此,企业通过各种革新增强自身经济实力,应对竞争且稳步发展。而革新中最为有效做法就是进行资源整合,发挥资源的最大效益。但是整合是企业重大的投资活动,就会面临着财务风险,只有抓住关键因素做好防范工作才能确保资源整合顺利实施。本文阐述了企业资源整合形式,并分析整合中出现财务风险的根源,有针对性的制定防范措施。  关键词:企业资源整合 ;防范
概要:由于存在认识上的误区,内部控制和风险管理在实践上存在重视不够,执行力不强,考核评价不严,风险管控不力等问题。正确认识内控体系与风险管理的联系与区别,把握体系建设的核心问题是体系建设和运行成败的关键。  关键词:内部控制;风险管理  按照国资委2006年6月发布的《中央企业全面风险管理指引》,财政部等五部委2008年6月发布的《企业内部控制基本规范》,笔者所在单位深入开展了全面风险管理,发布了
结合M-K理论,将率相关的晶体塑性模型用于具有初始织构的体心立方(BCC)多晶体金属板坯成形极限(FLD)计算.假设沟槽内外变形均匀,在沟槽边界处满足协调条件和应力平衡条件;在塑性
结合柴油机燃用二甲醚均质冲量压缩着火(HCCI)燃烧与缸内直喷燃烧各自优点,提出了气道-气缸喷射复合燃烧方式,并在一台柴油机上进行了试验研究.结果表明,燃烧过程包括二甲醚HCCI燃
针对货车装载商品车的计算机三维模型系统,对其三维动态装载的技术难点进行了详细分析,提出以后轮驱动(也可方便地转化为前轮驱动)的基于图形平移、旋转变换的动态仿真算法,解决了复杂路径的汽车动态仿真问题.结果表明,运行效果好,动态装载模拟效果稳定,运行时间短.
在基于CAE的冲压成形性容差预测中,以较少的模拟次数达到工程上可以接受的预测精度是响应面法得以应用的关键.充分考虑到冲压成形数值模拟中可能出现的不确定性波动,允许响应
在深入分析啤酒酵母、秀丽线虫和大肠杆菌的蛋白质-蛋白质相互作用(PPI)网络模式的基础上,针对近似二分模式的挖掘,改进已有模型并提出了二分系数这一评价标准.实验结果表明,在