【摘 要】
：
首先从攻击者上下文与进程表达式2个方面对标准应用PI演算进行扩展,然后从协议状态的角度,应用扩展后的应用PI演算对协议抗拒绝服务攻击性进行建模,提出一个基于定理证明支持
【基金项目】
：
国家民委基金资助项目(10ZN09);国家自然科学基金资助项目(60603008);中南民族大学自然科学基金资助项目(YZZ09008);武汉市科技型中小企业技术创新基金资助项目(SZY11008)~~
论文部分内容阅读
首先从攻击者上下文与进程表达式2个方面对标准应用PI演算进行扩展,然后从协议状态的角度,应用扩展后的应用PI演算对协议抗拒绝服务攻击性进行建模,提出一个基于定理证明支持一阶定理证明器ProVerif的抗拒绝服务攻击性自动化证明方法,最后应用ProVerif分析与验证了JFK协议与IEEE 802.11四步握手协议抗拒绝服务攻击性,发现IEEE 802.11四步握手协议存在一个新的拒绝服务攻击,并且针对IEEE 802.11四步握手协议存在的拒绝服务攻击提出了改进方法。
其他文献
<正>位于浙江丽水市莲都区碧湖镇的下南山村,是丽水市级文物保护单位,现存40多幢夯土外墙的老房子,最老的一处房子距今已有400多年的历史,始建于明朝万历年间,是一个名副其实
为了保证金属选区烧结3D打印的成型质量,就要给金属选区烧结过程中气氛保护,从而防止金属在烧结过程中氧化。本文从理论上分析了金属选区烧结3D打印机气氛保护系统的原理及构
<正>0前言铅酸蓄电池由于开路电压高,放电电压平稳, 原材料丰富易得,价格便宜,获得了广泛的应用。随着科学技术的迅猛发展,铅酸蓄电池的品种不断增多,性能不断改进,其应用领
本文简述了沈阳古城的历史沿革,并经过广泛的调查和分析,对城中重点的历史建筑进行了排列.为如何制定沈阳市历史建筑保护法规和采取有效的保护措施提供了有价值的参考意见.
影响作物生产的土壤因素会随着耕作管理措施的变化而改变，研究目前条件下影响作物生产的主要土壤因素并分析其变化的原因，可以为作物的生产和管理提供重要决策支撑。本文以江西
随着电子产业的发展,电子产品的功能扩展离不开各式各样的电镀插件。多数工厂对电镀插件的外观质量检测技术还停留在手工抽检或半自动化检测阶段,难以满足大批量的质检任务,
使用铜仁市10个国家气象站1965~2014年50a的6~8月的常规观测资料,利用基于模糊数学和信息扩散理论,对铜仁市夏旱灾害风险进行了实例分析,并结合Surfer软件对夏旱进行了风险区
应用ＮＯＡＡ气象卫星ＡＶＨＲＲ资料探讨了监测贵州干旱的３种方法，即植被指数法、第４通道遥感下垫面亮温法和植被供水指数法。结果表明，植被供水指数与地面干旱指数相关性最好，其空间分布与地面旱情
赵献可,字养葵,号医巫闾子。明末鄞县人。其说宗薛己。以命门学说的贡献驰誉医林。著有《医贯》、《邯郸遗稿》等书传世。
一名党员就是一面旗帜，一个支部就是一座堡垒。面对这场没有硝烟的抗击新冠肺炎疫情战斗，北岸开发区各级基层党组织和广大党员坚决贯彻落实习近平总书记重要指示精神，把人民群众