【摘 要】
：
本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性,串空间模型可以避免状态空间爆炸的问 题,
论文部分内容阅读
本文提出了一种改进的BAN逻辑与串空间相结合的安全协议形式化分析方法,此方 法将两种方法的优点结合,可以有效地分析协议的安全性,串空间模型可以避免状态空间爆炸的问 题,而通过引入改进的BAN逻辑公式,使得协议分析的自动化程度提高了。
This paper presents an improved BAN logic and string space security protocol formal analysis method, the method combines the advantages of the two methods can effectively analyze the security of the protocol, the string space model can avoid the state space explosion Problem, and by introducing improved BAN logic formula, the degree of automation of protocol analysis is improved.
其他文献
采用富集筛选法从杜仲根中分离到5株具有ACC脱氨酶活性的内生细菌，利用纸片法测定它们的抑菌活性，通过生理生化试验和16S rRNA序列分析对分离菌株进行鉴定，并用大肠杆菌表达
9月6日,香港艺人刘德华正式被中国残疾人联合会聘为“爱心大使”,北京奥组委执行副主席汤小泉为他颁发了证书。
On September 6, Hong Kong artist Andy Lau was officially
本文通过对杜仲胶的化学组成、化学结构、分子链的三大特征(柔性连、含双键、有序链)的介绍，主要阐述了杜仲胶硫化过程出现的三阶段不同的微观结构以及对应的三种不同的宏观性
应用小鼠对四种络合剂的~(170)Tm内污染促排效果进行了比较性研究。结果表明,~(170)Tm内污染后,立即给促排剂400μM/kg,Ca-DTPA效果最好;在延迟给促排剂情况下,Zn-DTPA与Ca-D
中国营养学会第三届微量元素学术讨论会暨微量元素学会成立大会于1990年4月18日至21日在武汉召开。湖北省卫生厅李清泉厅长,省、市科协主席吴明光,王国祥副主席、同济医科大
在纺织工业中,女工约占工人总数的70～80％,纺织女工在生产过程中遇到的职业危害,其中最主要的是噪声。噪音可以影响妇女健康,是引起纺织女工月经病的重要因素。研究表明,噪音可
电动车已普及城市和农村,但最大的缺点是跑不远、如果没电推着走、许多骑电动车的顾客都尝试过没电的滋味。能像摩托车加油站一样普及多好,但是电动车加电站还是空白,急需完
绿色农业的概念是由中国绿色食品协会2003年10月在联合国亚太经合理事会主办的"亚太地区绿色食品与有机农业市场通道建设国际研讨会"上提出的.绿色消费观念将成为21世纪
1989年5月我们采用试管滤纸培养法,对1101名农村居民进行了粪检(实检1014人,受检率为92.10％),检出粪类圆线虫感染者8例,感染率为0.79％。男性5例,女性3例,感染率分别为0.93％(5/5
本文通过对杜仲橡胶资源开发前景的分析，阐述了我国杜仲的种植空间以及栽培技术，并从国际竞争力、国土绿化率、农民收入、人居环境等方面阐述了推进杜仲橡胶资源的培育的重大意