检测模型在安全协议分析中的应用

来源 :计算机工程 | 被引量 : 0次 | 上传用户:tscy123
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以认证测试方法为基础提出一种检测模型,通过对消息类型的检测和核对能够明确消息的初始产生主体,进而对主体的身份进行认证。将检测模型同认证测试方法相结合,能够克服原有认证测试方法缺乏判断消息初始产生者的缺点,从而在安全协议的分析中能够检测出协议可能存在的安全漏洞。通过对Neuman-Stubblebine协议的安全性验证表明,该方法能够有效地检测到原认证测试方法无法发现的类型攻击。
其他文献
我国盛产梅花鹿、马鹿、驯鹿和白唇鹿等。鹿为我国传统的珍贵药用动物,鹿身上很多部位及其产品在我国均有着悠久的药用历史。迄今已有28个部位及其加工品被应用于滋补强身和治
摘要 分析江西省养猪业环境污染的原因,并提出相应的防治对策,以为江西养猪业的健康发展提供参考。  关键词 养猪业;环境污染;原因;防治对策;江西省  中图分类号 X592 文献标识码 A 文章编号 1007-5739(2013)18-0213-01  江西省养猪业经过多年的快速发展,在丰富人们生活的同时,也导致越来越多的污染问题,如饮用水源污染、鱼类非正常死亡、良田被毁等,养猪业环境污染治理已迫在
俊原在公司的营销部工作,经常出差、开会。忙得连节假日都很少休息。随着人到中年,公司考虑他体力不够,特别照顾他坐办公室。然而,俊人虽是空闲下来了,可心理上却感到异常的空虚无
进行昭通市昭阳区不同地膜同田对比试验研究,结果表明:可降解膜增温保墒效果与普通膜差异不大,产量以12滋m利马格兰处理最高。但为减少铺膜成本,可减少降解膜的厚度,以利于膜
阅读原本就是教师、文本和师生三者之间进行对话的过程,在阅读教学当中,教师需要发挥学生的主体性作用,通过对学生阅读实践和阅读感知能力的培养,使学生认识到更加广阔的世界,并发展出更加具有发散性和多样化的罗辑思维。教师在语文阅读教学当中,需要对其原本的教学方式进行转化,通过情境的创设培养学生的语文素养,这样才更加符合目前新国标对于学生语文能力培养的要求。   一、钻研对话文本,追寻作者的创作心境   语
【案例背景】思辨能力是成为高素质人才所必须具备的能力,在竞争日益激烈的社会环境中,思辨能力的重要性愈发凸显。所谓思辨能力就是指思考辨析的能力,它强调的是经过自己认
提出一种基于熵能和广义高斯分布的运动目标检测算法。通过自适应的局部阈值选取算法获得与图像中不同区域噪声相匹配的分割阈值。使用均值法构造背景图像并使用减背景法得到差分图,根据熵能原理利用背景图像序列的差分图获取分割阈值的训练样本,采用广义高斯分布模型描述得到的样本,通过分析广义高斯分布的尺度参数对检测结果的影响来获取合适的尺度参数,并通过计算样本落于分割阈值内的概率得到合适的分割阈值。实验结果表明,
新课标明确规定:立德树人,增强文化自信,充分发挥语文课堂的育人功能。其实,中华民族历来重视教育,尤其重视德育教育。如孔子教学生以"文、行、忠、信";孟子教学生以"仁义礼
你这一生,有没有一篇文章,每次读它写它对你来说如同是享用了一场文字精神的飨宴?我就有,特别是在心中不宁静时,我就会写它:“元丰六年十月十二夜,解衣欲睡,月色入户,欣然起
高阶CIC滤波器的补偿滤波器通带内波纹较大,且幅值增长很快,会引起补偿后的CIC滤波器通带不平坦和阻带放大,影响了它的性能的提高。实际中往往只采用低阶的CIC滤波器,并且放