【摘 要】
：
用BR模型对TLS握手协议进行了计算分析与安全性证明.TLS握手协议作为典型的认证密钥交换协议,可以自然结合到BR认证协议计算模型分析框架当中.对该协议主要通信过程进行了总
论文部分内容阅读
用BR模型对TLS握手协议进行了计算分析与安全性证明.TLS握手协议作为典型的认证密钥交换协议,可以自然结合到BR认证协议计算模型分析框架当中.对该协议主要通信过程进行了总结、建模和分析,证明当协议所采用的公钥加密函数和消息认证函数均满足计算模型安全性要求时,TLS握手协议在BR计算模型下是安全的.
其他文献
通过对中药类保健食品组方进行统计和分析,为今后研发新的改善记忆类中药保健食品提供重要参考。
在新时代的企业发展中,共青团有着重要的作用,保障共青团工作的有效开展,可以促进企业的高速发展。在新形势下,企业的共青团工作面临前所未有的挑战和困难,只有克服这些困难,
新中国成立以来共开展了八次大型的基础教育课程改革,中学历史课程作为基础教育的一部分也经历了八次改革,其课程性质与教学目标随时代发展有了重大变化。高中历史教学目标作
借助1983—1993年间收集的历史样品,并通过移栽和浇水试验,研究纯粹的降水因子对大针茅水分利用效率的影响.结果表明,无论是在时间尺度还是移栽实验中,降雨量对大针茅的水分
<正>9月20日,田阳县那满镇内江村举行新旧班子交接仪式,村"两委"旧班子向新当选的班子"交棒",而备受群众关注的村"两委"财务也得到公开。"以前从村‘两委’班子退出来,由于财
目的观察伯克纳鼻腔喷入对过敏性鼻炎的疗效,并对其治疗机制进行分析探讨。方法将76例过敏性鼻炎患者随机分为两组,对照组口服扑尔敏、1%麻黄素滴鼻;实验组采用伯克纳鼻腔喷
作为社会学的基本问题,个人与社会的关系一直受到学界的关注。如何从研究个人着手,却以摆脱个人为中转点,最终对整体社会进行分析研究,似乎成为了难以逾越的悖论。作为经典社
目的了解标准化尘螨疫苗特异性免疫治疗在成人和儿童过敏性鼻炎的疗效比较。方法对28例成人和22例儿童过敏性鼻炎患者用标准化尘螨疫苗特异性免疫治疗3年以上进行评价。结果
公安宣传写作具有政治性、新闻性、专业性、社会性等特点。公安宣传写作应遵循正面宣传为主、内容真实准确、服从工作大局、遵守宣传纪律等原则。
前一段时间,美国《海军时报》等媒体曾报道,瑞典海军“哥特兰”号常规攻击潜艇已经抵达美国圣迭戈北岛海军航空站,正式开始充当“假想敌”协助美海军进行反潜训练。美国海军