刘志猛
- 作品数：17 被引量：18H指数：2
- 供职机构：山东工商学院计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金山东省自然科学基金山东省科技发展计划项目更多>>
- 相关领域：自动化与计算机技术电子电信文化科学交通运输工程更多>>
- 安全有效的相互认证和密钥建立协议
- 2007年
- 在无线通信系统中,相互认证和密钥建立协议不仅要在实现实体间的相互认证的基础上建立唯一的共享会话密钥,而且协议本身还应当满足一定的安全要求,如防止假冒攻击、服务的不可否认性等。在结合椭圆曲线密码体制优点的基础上,提出一种适于无线通信网络中的相互认证和密钥建立协议,不仅能有效防止上述攻击,还适于在无线终端设备上应用。
- 刘志猛范辉
- 关键词：无线通信网络椭圆曲线密码体制会话密钥
- 认证的密钥交换协议及SVO逻辑证明被引量：1
- 2009年
- 在环境受限的无线通信网络环境中,身份认证和会话密钥的协商是确保通信双方能否建立安全会话的关键。为使认证和密钥建立协议中采用的密码技术能适合受限通信环境中的应用,提出一个基于身份的认证的密钥建立协议,并使用SVO逻辑证明设计协议的安全目标。
- 刘志猛
- 关键词：安全协议密钥交换逻辑分析
- 椭圆曲线密码体制中安全曲线的选取被引量：4
- 2008年
- 椭圆曲线密码是公钥密码体制,它的安全基础是椭圆曲线上的离散对数问题。研究表明,椭圆曲线密码是目前唯一无法用亚指数算法破解的公钥密码。通过详细介绍ECC的数学基础的基础,分析针对椭圆曲线离散对数问题的常见攻击算法,并在最后给出一种完整的安全椭圆曲线选择方法。
- 刘志猛赵燕丽范辉
- 关键词：有限域椭圆曲线密码体制椭圆曲线离散对数问题
- 无线网中基于ECC的认证和密钥交换协议
- 2008年
- 为适应密码技术在无线通信中的应用要求,Aydos、Mangipudi等人以椭圆曲线密码为基础,分别提出了适用于无线通信网络的身份认证和密钥交换协议。而研究发现,这些协议中仍存在中间人攻击、服务后否认、假冒攻击等安全隐患,且不能提供前向保密性。为此,本文提出一个安全的身份认证和密钥交换协议,经验证说明该协议不仅能防止上述安全隐患,而且执行效率更好,适于为无线通信环境中用户端与服务器间进行相互认证,建立一个双方共享的会话密钥。
- 刘志猛赵燕丽
- 关键词：椭圆曲线密码体制密钥交换
- 基于屏蔽明文的椭圆曲线加密算法
- 使用椭圆曲线作为公钥密码体制的基础是定义在有限域上的椭圆曲线上的点构成的阿贝尔群，并且使定义其上的离散对数问题的求解是非常困难的。在选取适合密码系统的安全椭圆曲线和基点算法的基础上，给出一种屏蔽明文椭圆曲线加密算法，并列...
- 赵燕丽刘志猛刘欣荣
- 关键词：公钥密码体制加密算法
- 文献传递
- 基于攻击者行为能力的SVO协议分析
- 2011年
- SVO原逻辑不适用于证明基于证书的认证与密钥交换协议安全性问题。为此,提出2个SVO逻辑相关公理,对证书真实性与会话密钥安全性进行判断及验证,并结合Dolev-Yao安全模型,从攻击者行为能力的角度评估密码协议的安全性。经分析证明Mangipudi协议未能提供前向安全且存在假冒攻击的安全缺陷,因此给出一个在Dolev-Yao安全模型下可证明安全的解决方案。
- 刘志猛
- 关键词：安全协议SVO逻辑
- 适应受限环境的认证协议及其SVO逻辑分析被引量：1
- 2009年
- 针对认证协议在受限通信网络环境中的应用和安全问题,提出一种基于椭圆曲线密码技术的认证协议,使用对称密码为协议中的交互信息提供机密性,在协议最后生成参与者共享的会话密钥。采用扩展的SVO逻辑对推荐协议进行形式化分析,结果证明该协议的安全性符合要求。
- 刘志猛赵燕丽范辉原达
- 关键词：安全协议身份认证会话密钥SVO逻辑逻辑分析
- 基于屏蔽明文的椭圆曲线加密算法
- 使用椭圆曲线作为公钥密码体制的基础是定义在有限域上的椭圆曲线上的点构成的阿贝尔群, 并且使定义其上的离散对数问题的求解是非常困难的。在选取适合密码系统的安全椭圆曲线和基点算法的基础上,给出一种屏蔽明文椭圆曲线加密算法,并...
- 赵燕丽刘志猛刘欣荣
- 关键词：椭圆曲线密码体制加密算法
- 基于DM642的视频监控系统硬件设计被引量：11
- 2007年
- 介绍嵌入式视频监控系统的工作过程。本文采用TI公司新推出的专用多媒体处理芯片TMS320DM642作为主控芯片,实现了同时采集4路有声视频以及本地回放的功能,有效降低了成本,提高了系统利用率。系统主要由DM642模块、存储模块、视频模块、音频模块和电源模块等几部分组成,文中对这些模块一一进行了介绍。
- 赵燕丽刘志猛
- 关键词：视频监控TMS320DM642I^2C总线
- 单路认证密钥交换协议的安全分析
- 2017年
- 针对无线传感器网络邻近可信节点受到恶意节点的攻击,对一种基于双线性对的单路节点认证的密钥交换协议(MKM)进行了介绍,协议鉴别了参与节点身份的真实性,并协商出一个共享的会话密钥。为保护可信节点之间数据通信安全建立一个安全通信信道。通过在e CK模型下对MKM协议的分析结果表明,协议提出的安全模型不允许敌手通过查询并获取参与节点的长期私钥,限制了敌手的攻击能力,并且该协议不具备前向安全、抗密钥泄漏假冒等安全属性。
- 赵燕丽刘志猛杜玫芳
