论文部分内容阅读
针对Lee-Yang-Won提出的双因子认证协议,发现原协议存在离线字典攻击,用户假冒攻击且缺少密钥协商,因此对原协议进行了改进,并在形式化模型下证明了新协议的安全性.证明结果显示,新协议克服了原协议存在的安全漏洞,保留了原方案的安全特性.
基于口令与智能卡的可证安全认证密钥协商协议
【摘 要】
：
针对Lee-Yang-Won提出的双因子认证协议,发现原协议存在离线字典攻击,用户假冒攻击且缺少密钥协商,因此对原协议进行了改进,并在形式化模型下证明了新协议的安全性.证明结果
【机 构】
：
中国矿业大学计算机学院,中科院研究生院信息安全国家重点实验室
【出 处】
：
江苏科技大学学报：自然科学版
【发表日期】
：
2012年3期
【基金项目】
：
江苏省2011年度普通高校研究生科研创新计划基金资助项目（CXZZ11_0295）, 信息安全国家重点实验室开放基金资助项目
其他文献
为了减轻人们的工作压力,缓解人们的紧张情绪,按照软件工程理论中软件的开发模型,在需求分析的基础上,概述了基于Android平台的飞机游戏需要设计与实现的基本功能,包括界面设
对一个绿色建筑—招商泰格公寓的全方位介绍。指出绿色建筑需要依靠实实在在的绿色建筑技术,即四节一环保,它必须考虑在全生命周期成本内建筑耗费,还要有先进的咨询理念作为
为开发利用中药渣废弃物,合理利用资源,选取药渣废弃物青冈子壳、刺梨果渣、淫羊藿(药渣)、丹参(药渣)、淫羊藿(药渣)+刺梨果渣为不同基质(菌糠),探讨其对平菇子实体中粗多糖
目的探讨性发育异常的临床分型及治疗方法。方法对61例性发育异常患者的临床表现、生殖器官发育情况、血清性激素水平、染色体核型等进行分析,按照中华妇产科学(2版)新的分型
为探讨桑枝皮的高效利用价值,采用超声波辅助纤维素酶法从桑枝皮中提取了血管紧张素转化酶抑制剂,优化了201×7阴离子树脂分离桑枝皮ACE抑制剂的条件,运用液相色谱-质谱联用
<正>在多位业内人士看来,自国家房地产宏观调控及厦门实行分区精准调控政策落地实施以来,厦门房地产市场已步入深度调整期,但"断崖式"下跌一说,也并不客观。此前,不少人相信"
<正>本刊讯(特约通讯员葛德光)3月28日上午,砀山县梨花节开幕式在砀山汔博城隆重举办。据悉,2017年砀山梨花节以"以花为媒,推动招商,促进发展,惠及群众"为主题,采取"企业举办
期刊