【摘 要】
：
网络安全是网络空间安全的一个重要研究领域,网络安全协议则是实现网络安全的核心技术.在2017年最新发布的TLS1.3协议是实现网络安全的一个关键传输层安全协议,因此其安全性
【机 构】
：
深圳大学传播学院; 武汉大学政治与公共管理学院; 中南民族大学计算机科学学院;
【基金项目】
：
中国博士后基金项目(2016M602370);国家自然科学基金一般项目(61272497);教育部人文社会科学重点研究基地重大项目(15JJD630009)
论文部分内容阅读
网络安全是网络空间安全的一个重要研究领域,网络安全协议则是实现网络安全的核心技术.在2017年最新发布的TLS1.3协议是实现网络安全的一个关键传输层安全协议,因此其安全性受到了人们的广泛关注.为了验证TLS1.3协议的安全性,尤其是秘密性和认证性,尝试基于符号模型,首先基于Applied PI演算对TLS1.3协议进行形式化建模,进而使用非单射性建模认证性,然后将针对TLS1.3协议的Applied PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析,实验结果表明TLS 1.3协议具有良好的认证性和机密性.
其他文献
通过对医疗大数据的特点、发展现状进行分析，探讨借助于大数据技术分析处理医疗卫生行业产生的海量数据的应用前景，对常见疾病临床诊疗提供参考，为医院精细化管理提供依据，为个体
该文以长春市老年人互助养老意愿问卷调查数据为依据，对影响老年人互助养老意愿的个人因素进行了研究。研究发现，性别、年龄、配偶状况、受教育程度、经济状况、生活自理程度等
针织内衣是纺织服装市场最受消费者关注的服装品种之一，包括贴身内衣、装饰内衣、塑身内衣、练功衣等，其面料具有伸缩性、柔软性、透气性等优点。面对市场上品种繁多、琳琅满目
“哪些人需要服钙片?”这是人们最常问的问题,其实在人的漫漫一生中,“两个头儿和一个中段期”最容易缺钙。“两个头”:一个是在新生儿期、婴幼儿期、青春期的孩子们因生长发
目的：观察星状神经节阻滞对全脑缺血再灌注后家兔海马CA1区凋亡基因bax，bcl-2表达的影响，分析其对脑缺血再灌注损伤的效应及其作用。方法：实验于2004-08／2005-02在郧阳医学院附属
煤层气是一种具有很大开发价值的清洁能源,我国煤层气的储量十分丰富,但是受到煤储层地质条件复杂、渗透率低等条件的影响,我国煤层气开采效率较低,限制了煤层气的开发。因此
应用电化学方法研究了在不同的酸度条件下,钼酸钠对钢铁磷化过程的影响.实验结果表明,磷化液中添加钼酸钠对钢铁材料的磷化过程和耐蚀性具有独特的作用.酸度及钼酸钠的浓度对
目的探讨思维导图在经皮冠状动脉介入治疗(PCI)术后患者健康教育中的应用效果。方法选取2017年1~10月南昌市某三级甲等医院心血管内科收治的100例冠心病住院患者作为研究对象
<正>党的十六届三中全会《决定》明确指出,“建立归属清晰、权责明确、保护严格、流转顺畅的现代产权制度”。我认为,产权归属清晰是现代产权制度的核心,而流转顺畅是现代产