论文部分内容阅读
运用形式化方法分析密码协议的安全性已成为网络信息安全领域的研究热点之一。提出一种新的扩展Petri网——LPetri网。并且利用LPetri网对TMN密码协议进行建模,采用模型检测工具Maria分析LPetri网模型的可达性,说明利用LPetri网对安全协议建模的有效性。
基于Maria的TMN协议的LPetri网模型检测
【摘 要】
：
运用形式化方法分析密码协议的安全性已成为网络信息安全领域的研究热点之一。提出一种新的扩展Petri网——LPetri网。并且利用LPetri网对TMN密码协议进行建模,采用模型检测
【机 构】
：
营口理工学院电气工程系,鞍山供电公司
【出 处】
：
现代计算机(专业版)
【发表日期】
：
2017年9期
其他文献
去年以来，四川省平昌县紧抓国家金融扶贫示范县的机遇，推行“政银企农”四方联动，坚持产业先行、金融跟进、多方联动、精准扶贫脱贫。经过实践探索创新，平昌县走出了一条大金融撬
特殊管理者的"特别之处"使他们区别于一般人.这并不像听起来那么神秘.大多数时候,"特别之处"是保持成功的积极习惯的坚强决心.你想加入高效管理者的行列吗?你可从以下七个已
期刊
巴黎与伦敦之间虽然只有一小时的路程,但两座城市的形态就像两地的天气那样如此不同。倘若城市也有性别,那么伦敦好像一个在雨中打着黑布伞的中年男士;巴黎则是一个在阳光下捧着鲜花、忘记了自己年龄的女郎。城市的面貌可以反映出那里的人们怎样生活以及他们的生活理念。伦敦体现了英国人的务实精神和功能主义,巴黎则反映出法国人的浪漫气质和理想主义。 法国的当权者一直有大兴土木的癖好。从“朕即国家”的路易十四,到独搅
综述静态程序分析的方法和工具。采用系统化文献评价方法和文献计量分析方法,通过论文的收集、筛选、内容提取等过程,对大量论文的信息进行总结分析。通过文献管理工具Endnot
SIFT算法对发生旋转、平移、仿射变换后的图像匹配具有很好的效果,同时具有较强的稳定性和鲁棒性。由于快速EMD距离相比欧氏距离在计算特征直方图匹配时更加准确,提出结合快速EMD距离与SIFT的人脸识别算法,改进原有算法的匹配策略,使用快速EMD距离代替欧氏距离计算特征点间的相似性。在YALE人脸库上的实验表明,改进的人脸识别算法比原有算法具有更高的识别率并且对人脸图像的旋转、遮挡、一定程度的仿射变
大学总是想方设法从校友身上募集资金,但总有校友会提供一些"另类"的捐赠,以下是世界上一些名校收到的不同寻常的礼物。1.卫生间(美国科罗拉多大学)以个人名义捐赠一个学院、
科学家研究发现，每过1000年，人类的脸就会缩小2％左右，我们祖先的头和脸都比我们大30％。美国俄亥俄州大学人类学家拉森教授在世界各地收集了数以千计的牙齿、腭骨、头骨。经过仔细比较发现人类的脸存在渐渐变小的趋势。他表示，这种趋势大约开始于1万年前。原始人跟现代人比较，不仅身体强健，脸型也更加粗犷。 从肢体上来讲，今天的人类已经没有办法跟古人比较了，无论是抵抗能力，还是爆发力。甚至于这样的变化也给
1962年肖恩·康纳利向全球的影迷宣布:"我叫邦德--詹姆斯·邦德."在21年间的七部邦德影片中,这位高大、黝黑的苏格兰人表现出的温文尔雅的特工形象,使全世界对他的代
期刊