一种基于一次性口令的增强Kerberos协议方法及其形式化分析

来源 :信息网络安全 | 被引量 : 0次 | 上传用户:sasaruru
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Kerberos协议是分布式网络中一种重要的基于可信第三方认证协议,广泛应用于各主流操作系统以及云计算、无线网络等场景,但容易受到口令猜测攻击、重放攻击等。虽然基于公钥密码学的PKINIT协议可以增强Kerberos协议对这些攻击的抵抗能力,但需引入过多的计算资源和通信代价。为此,文章提出并实现了一种基于一次性口令机制以增强Kerberos协议安全性的方案,并基于BAN逻辑进行形式化分析。实验结果显示,该方案与PKINIT协议相比,计算复杂度降低,初始认证服务所需时间减少为PKINIT协议的67.7%,并
其他文献
自从2003年国家启动精品课程建设计划以来,该评价指标体系一直在更新。本文对历年来国家精品课程评审指标体系的变化进行分析。结合高职高专院校英语课堂教学的现状,说明了现
目的:探讨E-cadherin、β-catenin和CathepsinD在食管鳞状细胞癌(ESCC)组织中的表达及其与临床病理特征的关系。方法:采用免疫组织化学EnVision二步法检测60例ESCC组织和15例
目的:研究Ki-67与P27在良恶性肾上腺皮质肿瘤中的表达情况,探讨它们作为鉴别良恶性肾上腺皮质肿瘤的生物学参考指标的可行性。方法:采用免疫组化法(SP),检测12例正常肾上腺,1
【目的】乳腺外派杰氏病(EMPD)是一种少见但通常预后较好的皮肤恶性肿瘤,但有少数病人的疾病容易出现进展,最后致死。为了更好地认识EMPD,探寻理想的疾病侵袭性预测指标,本研
当一家开发商面临在原本贫穷落后的城市打造一座现代化工业园区的时候,它应该如何实现产业与地产城市的结合?在这方面,华夏幸福基业股份有限公司(华夏幸福,600340.SH)以PPP模式在河
报纸
电化学DNA生物传感器是近几年迅速发展起来的一种全新的生物传感器,具有灵敏度高、响应快、操作简便、微型化、价格低廉等优点,对临床医学和遗传工程的研究具有深远的意义和
以济南小清河流域为研究区域,通过选择有代表性的生态影响因子,采用GIS技术和层次分析法对小清河流域进行生态敏感性分析,为小清河流域生态环境保护和开发利用提供依据。结果
提出了一种汽车鸣笛声定位系统用以协助执法部门锁定违章鸣笛车辆。该系统采用分布在立体空间的五元麦克风阵列,整个定位系统由三个模块组成。首先根据鸣笛声的频域特性检测
语言教学是帮助幼儿学习语言内容和学会应用语言的。由于教育的现代化,农村幼儿园的语言教学也出现了小班额教育。针对小班额教育进行相应的语言教学是极其重要的,文章主要探
重新认知“五四反对派”的正面价值是全面理解“五四”的题中应有之义.五四新文化运动中首 次与新青年交锋的林纾,是被文学史固化乃至丑化的“反对派”,其小说《荆生》和《妖