协议安全性分析

作品数：41被引量：154H指数：7
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：肖美华胡捍英孙海波林东岱唐刚更多>>
相关机构：解放军信息工程大学西安电子科技大学华东交通大学哈尔滨工业大学更多>>
相关期刊：《软件导刊》《科学技术创新》《网络安全技术与应用》《计算机工程与应用》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江西省自然科学基金国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于HCPN模型的TLS1.3协议安全性分析
《网络安全与数据治理》2022年第11期49-58,共10页陈真好 田学成 
传输层(Transport Layer Security,TLS)协议是保证网络传输安全的重要标准协议,实现了数据加密和数据完整性以及身份验证。由于TLS协议一直存在很多安全漏洞,因此不断更新。目前最新版本TLS1.3(RFC 8846)已经发布,较之前TLS1.2(RFC 5246...
关键词：TLS1.3 CPN Tools TLS1.3握手协议 形式化分析 
5G协议安全性分析及潜在攻击手段可行性分析
《中文科技期刊数据库（全文版）工程技术》2021年第4期130-131,共2页郭鹏 缪蔚 
本文根据调研5G相关协议的最新进展,总结了5G系统的空口安全特性,并针对5G NSA和SA两种网络架构,详细分析了IMSI捕获、信号阻断、内容截获和修改等网络攻击手段的可行性。总体来说,5G NSA网络下现有攻击手段受到的影响不大,而5G SA网络...
关键词：5G NSA 5G SA 用户隐私保护 接入层安全 网络攻击 
基于PKI的5G-DHAKA协议安全性分析被引量：1
《网络空间安全》2019年第11期64-73,共10页李晓红 刘福文 齐旻鹏 粟栗 杨星星 
国家自然科学基金项目:泛在接入条件下移动应用安全管家技术研究(项目编号:61572349)
第五代移动通信(5G)系统的安全性接入问题逐渐成为了研究热点。目前,演进分组系统(EPS)使用认证和密钥协商(AKA)协议对入网用户进行身份认证以增强网络接入安全性,然而该协议不完善的身份管理机制会导致用户身份泄露、长期密钥泄露,在...
关键词：EPS-AKA 身份认证 拒绝服务攻击 
基于Lowe分类法的5G网络EAP-AKA’协议安全性分析被引量：16
《电子与信息学报》2019年第8期1800-1807,共8页刘彩霞 胡鑫鑫 刘树新 游伟 赵宇 
国家自然科学创新研究群体基金(61521003);国家自然科学基金(61801515)~~
移动网鉴权认证协议攻击不断涌现,针对5G网络新协议EAP-AKA’,该文提出一种基于Lowe分类法的EAP-AKA’安全性分析模型。首先对5G网络协议EAP-AKA’、信道及攻击者进行形式化建模。然后对Lowe鉴权性质进行形式化描述,利用TAMARIN证明器...
关键词：网络安全 安全锚点密钥 EAP-AKA’ Lowe分类法 Dolev-Yao敌手模型 TAMARIN 
基于Modbus/TCP协议安全性分析及安全框架设计被引量：2
《科学技术创新》2018年第9期90-91,共2页董巧 
重点分析了工业控制系统Modbus/TCP协议的安全性,并针对Modbus/TCP协议存在的明文传输的问题,提出了一个Modbus/TCP协议的安全框架。该框架采用Trivium密码算法、RSA加密算法混合加密的方法解决了明文传输问题,保证了Modbus/TCP协议的...
关键词：工业控制系统 MODBUS/TCP协议 安全框架 
基于时间戳私钥签名技术的Nayak-T协议安全性分析
《计算机工程与科学》2017年第12期2252-2259,共8页肖美华 梅映天 李伟 李娅楠 钟小妹 宋子繁 
国家自然科学基金(61163005;61562026);江西省自然科学基金(20161BAB202063);江西省对外科技合作项目(20151BDH80005);江西省主要学科学术和技术带头人资助计划(2017BCB22015)
随着信息网络的快速发展,云服务走进人们视野,云环境下信息安全问题成为人们关注的焦点。Nayak协议是一种云环境下基于口令身份认证,实现双向认证和会话密钥交换的协议。针对Nayak协议存在的中间人攻击,提出改进协议Nayak-T。Nayak-T协...
关键词：Nayak协议 Nayak—T协议 模型检测 私钥签名 时间戳 
基于有色Petri网的铁路时间同步网协议安全性分析被引量：4
《铁道学报》2017年第10期82-88,共7页张友鹏 张昊磊 王虹 
随着时间同步技术在铁路领域的发展,能够实时地保证时间同步协议NTP的安全运行变得至关重要。由于NTP协议自身具备一定的安全缺陷,因此,对NTP协议的安全机制进行分析十分必要。考虑到NTP协议的无连接特性,使用有色Petri网建立其在正常...
关键词：时间同步协议 漏洞 有色PETRI网 入侵 逆向状态分析法 
基于选择明文攻击的WPA2-Enterprise协议安全性分析
《信息工程大学学报》2017年第4期448-453,共6页张协力 顾纯祥 陈熹 
河南省科技创新杰出青年基金资助项目(134100510002)
描述一种针对PEAP认证突破的新思路,在满足一定网络配置条件下,将已有LEAP协议破解思路结合选择明文攻击方法应用到PEAP协议的认证突破中。实验表明,在采用PEAP认证的无线网络满足一些设置条件时,攻击者可以在几分钟内获取合法用户认证...
关键词：PEAP协议 LEAP协议 AP欺骗 中间人攻击 选择明文攻击 
三量子态量子密钥分发协议安全性分析被引量：5
《激光与光电子学进展》2017年第12期435-440,共6页王者 姚治海 苟立丹 王晓茜 
国家自然科学基金(11305020;11547242;11647054);吉林省教育厅"十三五"科学技术研究规划项目(吉教科合字2016第354号)
研究了具有优秀安全性的PBC00协议。为了便于制备偏振态与实现协议,将PBC00协议的偏振态改为|1〉、|0〉和|+〉。为了分析协议的安全性,假设窃听者使用截获重发的方式对量子密钥分发(QKD)过程进行窃听,分析了窃听者可能使用的测量基矢,...
关键词：量子光学 量子通信 BB84协议 三量子态量子密钥分发协议 安全性分析 
电力智能单元传输规约安全性分析模型研究
《计算机科学》2016年第S2期329-337,共9页马媛媛 陈喆 汪晨 费稼轩 黄秀丽 
国家电网公司项目:电网智能化单元传输规约安全分析及增强技术研究资助
电力智能单元传输规约的安全性是保障智能电网中智能通信实现高速、可靠、安全的基础。为了构建适用于电力智能单元传输规约的安全性分析模型,概述了主流的协议安全性分析理论与方法。基于符号模型的形式化方法包括逻辑推理、模型检验...
关键词：协议安全性分析 符号模型 计算模型 计算可靠的形式化方法 电力智能单元传输规约 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部