【摘 要】
：
本文首先扩展了信任多集的方法用于无线安全协议的分析,并通过几个公开发表的无线安全协议对该形式化方法进行了示例.扩展的信任多集形式化方法的分析结果要么能证明该协议的
【机 构】
：
上海交通大学计算机科学与工程系 上海 200240 中国
论文部分内容阅读
本文首先扩展了信任多集的方法用于无线安全协议的分析,并通过几个公开发表的无线安全协议对该形式化方法进行了示例.扩展的信任多集形式化方法的分析结果要么能证明该协议的安全性,要么指出了协议安全性的缺失.分析结果给出的协议安全属性的缺失直接指出了攻击的构造结构,如本文所示的传感器网络环境下Kerberos对密钥管理协议的分析.基于该形式化方法的分析具有可读性强,准确性高的特点,该形式化方法有助于协议设计者完善无线安全协议的设计.
其他文献
分析了文献[5]提出的盲签名方案,指出其存在如下不足:该方案对随机数的选取没有做必要的限制,对签名过程中计算的中间结果没有做必要的检查,致使签名有可能无法正常进行;在签
目的 探讨应用床边胸腹摄片技术在发现新生儿少量气腹中的价值,提高新生儿少量气腹的诊断率.方法 36例新生儿少量气腹床边卧位胸腹片发现膈下局限性透光度增高后,行床边左侧
最近Sunder Lal和Tej Singh提出了一个基于身份的多代理多签密方案.分析后发现其方案存在明显错误,而这种错误导致该方案是不可行的.本文基于短签名提出了一个新的基于身份的
目的 对烧伤湿润膏和切削痂植皮治疗II度烧伤的疗效进行分析探讨.方法 将2017年3月～2019年3月在我院接受治疗的114例II度烧伤患者随机分为两组,对照组57例患者采用切削痂植皮
为提高Hash函数抗碰撞能力,提出了将"近扩展"变为"远扩展"的具体算法框架.同时,为阻击攻击者利用32比特块模加忽略进位的特性,新框架增加了对基本压缩函数中32比特块"算术和"
目的 探讨热疗结合活化放疗对食管癌近期疗效及血糖水平的影响.方法 纳入2018-01/2018-12我院收诊的112例错失手术时机的食管癌患者,随机分为研究组和对照组,各56例,对照组给
目的 探究知信行健康教育模式对糖尿病高危人群影响.方法 选取我辖区2014年5月～2016年5月127例糖尿病高危人群作为本次研究对象.所有患者均采用动态随机化分法,将其分为研究组
目的 讨论踝关节骨折手术治疗,总结合并下胫腓联合分离踝关节骨折手术治疗方案应用效果.方法 选取我院2017年1月-2018年1月收治的100例合并下胫腓联合分离踝关节骨折患者为研
从安全多方计算的观点出发,设计了一个保护隐私的联合求解线性方程组的协议,并严格地分析了协议的安全性。由于用同态加密体制代替了不经意传输协议,本协议比已有方案[1]在信
认证群密钥协商(AGKA)协议能为一群用户产生一个共享的会话密钥,使得群用户间能在公共数据网络进行安全通信。本文对文献[11]中提出的基于身份的多安全群组群密钥协商协议的