余磊
- 作品数：43 被引量：57H指数：4
- 供职机构：淮北师范大学更多>>
- 发文基金：安徽省高校省级自然科学研究项目安徽省自然科学基金国家自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学电子电信经济管理更多>>
- 基于主体关联度的安全协议形式化分析方法被引量：3
- 2018年
- 建立在协议主体参数新近一致性上的主体关联度由于能够正确反映协议安全属性与协议结构、消息组件和消息参数的逻辑关系,因此不仅能够为安全协议的正确性分析提供准确严谨的形式化判断依据,还能进一步降低协议分析的复杂度。为此,文章提出一种基于主体关联度的安全协议形式化分析方法。该方法首先在认证测试模型上,通过对消息组件的参数分类,给出协议主体关联度的量化定义;再根据认证测试规则和测试组件上的参数一致性判定条件,建立协议关联性、认证性、协商数据一致性与协议主体关联度的逻辑关联;接着在协议主体关联度上实现对安全协议设计目标的正确性分析。文章运用该方法对Neuman-Stubblebine协议进行分析,准确发现了协议中潜在的隐患及其根源,并证实了协议主体关联度在安全协议正确性分析中的应用可行性和有效性。
- 余磊魏仕民江明明
- 关键词：安全协议形式化分析
- 基于极小元理论的改进MTI认证协议分析
- 2023年
- 针对改进后的MTI协议,通过串空间模型中的极小元理论,对改进MTI协议的一致性和保密性进行分析,验证改进后MTI协议的安全性,得到改进MTI协议可以安全保密地实现协议的目的这一结论。
- 纵汶倍余磊
- 关键词：安全协议串空间
- 一种基于公钥密码系统的认证协议设计及其实现方法
- 本发明公开了信息安全技术领域的一种基于公钥密码系统的认证协议设计及其实现方法，包括客户端、加密模块、用户程序、身份认证服务器、管理服务器、应用服务器、应用接口、系统数据库、数据库管理模块；所述客户端包括支持IEEE8 0...
- 余磊卓泽朋郭宇燕江明明
- 文献传递
- 新工科背景下信息安全专业建设探究被引量：1
- 2020年
- 针对新工科背景下信息安全专业存在的问题,分析淮北师范大学信息安全专业的发展现状,结合学校的实际情况,从师资队伍建设、人才培养体系以及专业特色建设几个方面进行讨论。
- 江明明余磊郭宇燕
- 关键词：信息安全
- 高校办公数据分割和格式化输出批处理方案的设计与VBA实现被引量：2
- 2017年
- 针对高校办公数据分割和排版批量处理过程中手工操作存在的步骤繁杂、效率低下和格式不一致等问题,以及常用数据处理办公软件在数据分割批处理功能上的不足,结合数据分割、排版等操作的特点和VBA在数据处理上的优势,给出数据分割和格式化输出的一种批处理方案,并运用VBA对其程序实现.试验结果表明,该方案不仅能够提高数据分割和格式化输出操作的便捷性和高效性,还能保障数据操作的安全性和正确度,以及数据输出的规范性和一致性.
- 余磊
- 关键词：数据分割格式化输出批处理VBA
- 一种基于可信第三方的秘钥协商协议的设计及其实现方法
- 本发明公开了信息安全技术领域的一种基于可信第三方的秘钥协商协议的设计及其实现方法，包括客户端、数字签名模块、身份鉴别模块、数据公正模块、路由控制服务器、访问控制模块、应用接口、数据加密模块、第三方密钥分配中心以及应用服务...
- 余磊郭宇燕江明明卓泽朋
- 文献传递
- Web渗透测试方法研究被引量：7
- 2019年
- 近年来Web安全漏洞频发,传统的SQL注入、XSS注入、上传漏洞,以及与业务相关的逻辑漏洞一旦被攻击者发现和利用,将对Web安全造成威胁,因此渗透测试对Web安全的研究就显得尤为重要.该文通过搭建测试站点,结合相关工具,设计和实现了一些具体的渗透测试方法对该网站的主要漏洞进行渗透测试,分析Web安全漏洞的原理,并给出修复方案.这些渗透测试方法不仅可以作为Web漏洞检测的依据,还可以作为Web安全教学重要的实践方案.
- 孙梅郭宇燕韩超余磊
- 关键词：WEB安全SQL注入XSS上传漏洞
- 基于格密码的高效无证书签名方案
- 2019年
- 针对标准模型下基于格的无证书签名算法效率较低的问题,本文基于小整数解困难问题,利用混合与消失陷门技术,提出了高效的无证书签名方案.该方案将身份映射到一个矩阵,将消息映射到一个向量,从而提高了签名算法的效率.最后,证明了该方案在小整数解困难问题下是不可伪造的.
- 王艳江明明郭宇燕余磊魏仕民
- 关键词：数字签名
- 一种基于属性的抗合谋攻击的代理重加密方法
- 本发明提供了一种基于属性的抗合谋攻击的代理重加密方法，涉及数据加密技术领域，包括系统参数设置模块：输入安全参数1<Sup>n</Sup>，生成一个系统公开参数params和一个主私钥MSK；私钥生成模块：对于一个属性列表...
- 江明明郭宇燕王艳侯金秋余磊
- 文献传递
- 关于认证测试模型教学的一些注记被引量：1
- 2020年
- 为提高认证测试模型理论的教学效果,采用概念剖析、性质挖掘、方法优化和萃取的方式,从教学角度给出消息组件、测试组件、认证测试结构一些注记,并结合具体安全协议,给出实例说明和论证,以加深学生对认证测试模型概念的理解,消除学生在认证测试方法应用上存在的一些误区,提升学生运用所学理论和技术分析并解决信息安全问题的基本能力.
- 余磊
- 关键词：安全协议形式化方法
