刘志猛

作品数:12被引量:13H指数:2
导出分析报告
供职机构:山东工商学院计算机科学与技术学院更多>>
发文主题:椭圆曲线密码体制密钥交换SVO安全协议会话密钥更多>>
发文领域:自动化与计算机技术电子电信文化科学交通运输工程更多>>
发文期刊:《计算机教育》《通信技术》《计算机与网络》《计算机工程》更多>>
所获基金:国家自然科学基金山东省自然科学基金山东省科技发展计划项目山东省高等学校科技计划项目更多>>
-

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
条 记 录,以下是1-10
视图:
排序:
《计算机网络安全》课程的讲练结合教改探索被引量:2
《现代计算机》2019年第12期76-78,共3页刘志猛 赵燕丽 
山东省普通高校应用型人才培养专业发展计划(No.5001-015-34401);山东工商学院教学改革研究项目(No.11688G201713)
针对《计算机网络安全》课程中密码技术涉及数学知识多、晦涩难懂、在讲授中基础知识与密码应用分开教学的教学实际,根据各章节知识点的相对关系和连贯性,提出一种基于模块化、讲练结合的教学模式。实践证明,这种以先原理后应用、理论...
关键词:应用型本科 模块化 讲练结合 
单路认证密钥交换协议的安全分析
《计算机与网络》2017年第13期73-75,共3页赵燕丽 刘志猛 杜玫芳 
山东省科技发展计划基金资助项目(2014GGX101044);山东省高等学校科研计划基金资助项目(No.J12LJ04)
针对无线传感器网络邻近可信节点受到恶意节点的攻击,对一种基于双线性对的单路节点认证的密钥交换协议(MKM)进行了介绍,协议鉴别了参与节点身份的真实性,并协商出一个共享的会话密钥。为保护可信节点之间数据通信安全建立一个安全通信...
关键词:单路 认证的密钥交换 eCK模型 
基于CK模型的安全节点认证密钥交换协议
《微型机与应用》2017年第9期5-7,共3页刘志猛 赵燕丽 
山东省高等学校科技计划(J12LJ04)
无线传感器网络中的节点常常被部署在非安全的环境中,因而容易遭受假冒等安全威胁。为保护可信节点之间数据通信安全,基于计算性Diffie-Hellman假设,提出一种节点认证与密钥交换协议。推荐方案不仅能实现对参与节点真实身份的鉴别,而且...
关键词:无线传感器网络 节点认证 CK模型 计算性DH假设 
机器数表示与转换的教学设计
《计算机教育》2015年第23期84-87,共4页刘志猛 谢青松 窦全胜 
在机器数讲解中,由具体实例总结机器数数学定义得出表示"口诀"时,往往会造成学生理解困惑。针对这种情况,分析机器数的定义,提出一种处理机器数表示、机器数之间及机器数与真值相互转换的教学新观点。
关键词:机器数 真值 转换 
基于攻击者行为能力的SVO协议分析
《计算机工程》2011年第12期127-129,共3页刘志猛 
国家自然科学基金资助项目(60773053;60970088)
SVO原逻辑不适用于证明基于证书的认证与密钥交换协议安全性问题。为此,提出2个SVO逻辑相关公理,对证书真实性与会话密钥安全性进行判断及验证,并结合Dolev-Yao安全模型,从攻击者行为能力的角度评估密码协议的安全性。经分析证明Mangip...
关键词:安全协议 SVO逻辑 攻击者行为能力 认证协议 
认证的密钥交换协议及SVO逻辑证明
《通信技术》2009年第12期73-75,共3页刘志猛 
国家自然科学基金(60773053)
在环境受限的无线通信网络环境中,身份认证和会话密钥的协商是确保通信双方能否建立安全会话的关键。为使认证和密钥建立协议中采用的密码技术能适合受限通信环境中的应用,提出一个基于身份的认证的密钥建立协议,并使用SVO逻辑证明设计...
关键词:安全协议 密钥交换 逻辑分析 
适应受限环境的认证协议及其SVO逻辑分析被引量:1
《计算机工程》2009年第20期151-152,156,共3页刘志猛 赵燕丽 范辉 原达 
国家自然科学基金资助项目(60773053)
针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥。采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明...
关键词:安全协议 身份认证 会话密钥 SVO逻辑 逻辑分析 
椭圆曲线密码体制中安全曲线的选取被引量:4
《淮海工学院学报(自然科学版)》2008年第1期25-28,共4页刘志猛 赵燕丽 范辉 
国家自然科学基金资助项目(60673153);山东省自然科学基金资助项目(Y2005G09)
椭圆曲线密码是公钥密码体制,它的安全基础是椭圆曲线上的离散对数问题。研究表明,椭圆曲线密码是目前唯一无法用亚指数算法破解的公钥密码。通过详细介绍ECC的数学基础的基础,分析针对椭圆曲线离散对数问题的常见攻击算法,并在最后给...
关键词:有限域 椭圆曲线密码体制 椭圆曲线离散对数问题 
无线网中基于ECC的认证和密钥交换协议
《燕山大学学报》2008年第1期1-3,9,共4页刘志猛 赵燕丽 
国家自然科学基金(60673153);山东省自然科学基金(Y2006G13)
为适应密码技术在无线通信中的应用要求,Aydos、Mangipudi等人以椭圆曲线密码为基础,分别提出了适用于无线通信网络的身份认证和密钥交换协议。而研究发现,这些协议中仍存在中间人攻击、服务后否认、假冒攻击等安全隐患,且不能提供前向...
关键词:椭圆曲线密码体制 相互认证 密钥交换 安全性分析 
安全有效的相互认证和密钥建立协议
《淮海工学院学报(自然科学版)》2007年第2期24-27,共4页刘志猛 范辉 
国家自然科学基金资助项目(60673153);山东省自然科学基金资助项目(Y2005G09)
在无线通信系统中,相互认证和密钥建立协议不仅要在实现实体间的相互认证的基础上建立唯一的共享会话密钥,而且协议本身还应当满足一定的安全要求,如防止假冒攻击、服务的不可否认性等。在结合椭圆曲线密码体制优点的基础上,提出一种适...
关键词:无线通信网络 椭圆曲线密码体制 相互认证和密钥建立 会话密钥 
检索报告 对象比较 聚类工具 使用帮助 返回顶部