【摘 要】
：
Kao Chow加密协议是由Kao和Chow提出的，他们利用BAN逻辑证明了该协议的认证性，但没有证明该协议的保密性，而且没有说明协议参与实体间得到的新会话密钥是否一致．事实上，由于BAN逻
【机 构】
：
中国科学技术大学计算机科学与技术系,安徽省计算与通讯软件重点实验室
论文部分内容阅读
Kao Chow加密协议是由Kao和Chow提出的，他们利用BAN逻辑证明了该协议的认证性，但没有证明该协议的保密性，而且没有说明协议参与实体间得到的新会话密钥是否一致．事实上，由于BAN逻辑自身的缺陷，它无法用于证明加密协议的保密性．基于此，给出了Kao Chow加密协议的串空间模型，这个模型不仅验证了该协议的认证性，还验证了它的保密性及新会话密钥的一致性．
其他文献
目的探讨胸腔积液患者在无痛内科胸腔镜检查过程中加强围手术期护理干预的价值。方法选取2016年10月至2018年10月厦门市海沧医院收治的接受无痛内科胸腔镜检查的160例胸腔积
<正>评估一位教师的课堂教学效果时,教态是一个非常重要的因素。何为教态?从狭义的意义上来讲,教态是指教师在讲台上所表现出的可见形态的综和,具体而言它包括了眼神交流,面
近年来由于学费上涨过快，许多低收入家庭的学生因难以承受高昂的费用而放弃接受高等教育的机会，人们开始质疑高等教育成本分担的合理性与公平性。本文拟以公平为视角，深入探讨高
临床上经常会遇到一些患者以疼痛为主诉就诊,严重时痛不欲生,但过几天可能又不痛了,这种以急性关节炎和关节周围炎为特征的反复发作的病证,应考虑回纹型风湿症,又名复发性风
男性患者去年8月核磁共振结果显示左膝关节囊、髌上囊少量积液。如今已经大半年了,患者仍能感觉有积液,左膝关节下蹲、走路时不会痛,但膝关节周围肌肉偶尔有点麻,所以患者不
结肠造口包括临时造口及永久性人工肛门两种，是某些病变救治的重要手段。LockartMummery早在1917年即提出造口的护理叫，然而由于临床上仅注意手术技术及术后并发症的防治，造口护
患者最近发现左脚掌处长了几个小疙瘩(如图),感觉是这个冬天才长出来的,摸着比较硬,用力按会有痛感,应该怎样治疗?从皮疹形态和描述来看,这个应该是个跖疣。这是寻常疣的一种
基于MODIS-NDVI数据,提取新疆2001—2016年典型植被物候期,分析新疆不同生态分区的山地-绿洲系统植被物候期的时空演变趋势和空间分异特征,并结合同期气象数据,探讨植被物候
糖尿病足分泌物培养耐甲氧西林金黄色葡萄球菌(MRSA),药敏提示莫西、左氧等敏感,但MRSA感染不能用喹诺酮,理由是什么呢?MRSA感染不推荐单独使用喹诺酮类(奈诺沙星除外),以莫
便秘是儿童常见疾病,药物治疗便秘通常不是第一选择,我们应针对病因采取相应的手段改善。饮食方面,人们通常会想到吃香蕉通便,但这是一种常见的认识误区,尤其是北方的香蕉没