论文部分内容阅读
基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析。除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证、有效地抵抗重放攻击、保证认证信息的机密性,并且具有良好的执行效率。
一个基于活体指纹的用户身份认证协议及其形式化分析
【摘 要】
：
基于认证协议要求,提出了一个基于活体指纹的用户身份认证协议,并运用BAN逻辑对该协议进行了形式化分析。除形式化分析外,还从安全性和执行效率方面对该协议进行了定性分析,分析表明该协议能够使网络上的双方完成双向认证、有效地抵抗重放攻击、保证认证信息的机密性,并且具有良好的执行效率。
【机 构】
：
电子科技大学
【出 处】
：
重庆邮电学院学报(自然科学版)
【发表日期】
：
2004年06期
其他文献
为了提高微细线缠绕工艺及生产效率要求,研制了一种基于STM32f4的嵌入式系统超细金属线(键合线)恒张力高速缠绕设备。该设备以stm32f4为上位机,空心杯直流力矩电机为系统提供
阿昌族锻打制造的户撒刀，有600多年历史，“柔可缠指、削铁如泥”。种植的“户撒软米”香软可口、营养均衡，被誉为新的“水稻之王”。初春时节，阿昌人快乐地舞狮、舞灯，跳青龙白象
由于人体解剖结构的动态特性,病人胸腹部的器官和肿瘤靶区在治疗过程中常会发生运动,计划设计时适形的剂量分布在治疗时可能会偏离靶区,从而影响靶区剂量分布的适形性。为了
从竞技体育异化的社会结构性根源、社会心理机制、哲学性根源3个角度分析竞技体育异化的原因。指出，竞技体育异化的实质是体育人争夺奖牌所对应的社会价值排序，其目的是，使其自
《窝头会馆》是由刘恒编剧、林兆华导演的一部为庆祝新中国成立六十周年献礼的话剧,其主演有何冰、宋丹丹、濮存昕、杨立新、徐帆等,一线的专业演员阵容强有力地支撑起了这部
气阀故障是活塞压缩机最常见的故障类型之一.为了能够准确地检测出气阀的主要故障,从免疫系统反面选择机理出发,结合神经网络,提出了基于免疫神经网络的活塞压缩机气阀故障检
记者赶赴天津蓟县农村调查采访时，正是春节过后农民为春耕春种忙碌的时节，也是乍暖还寒、城里人开始去农村感受自然气息的时候。农民手中的春耕资金是否宽裕？开展农家院的乡村有
报纸
研究了法向圆弧锥齿轮的数控加工原理与技术,设计了成形铣刀,给出了刀具与工件的接触条件以及刀具与工件之间的相对运动.斜航式法向圆弧锥齿轮数控加工实验表明,该锥齿轮数控
本文选择2007—2017年我国制造业上市企业作为研究对象,分析企业资本成本与企业研发投入的互动关系,并进一步考察企业盈余管理对二者关系的调节效应。研究表明:本期的股权资
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield