安全协议分析

作品数：42被引量：90H指数：5
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：杨明罗军舟龙士工缪祥华唐朝京更多>>
相关机构：解放军信息工程大学东南大学贵州大学上海交通大学更多>>
相关期刊：《计算机光盘软件与应用》《计算机仿真》《铁道学报》《中国科技成果》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划江苏省高技术研究计划项目广西壮族自治区自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于模型检测的TLS协议实现库安全性分析被引量：8
《系统工程与电子技术》2021年第3期839-846,共8页毕兴 唐朝京 
针对传统模糊测试方法虽能发现传输层安全性(transport layer security,TLS)协议实现库内存漏洞,但无法找到其中逻辑漏洞的问题,基于模型检测的方法,提取TLS协议实现库的状态机模型,建立协议安全属性模型,寻找协议实现中可能存在的异常...
关键词：安全协议分析 传输层安全性 有限状态机 模型检测 
WLAN安全协议分析与防范攻击方法的研究被引量：1
《信息系统工程》2019年第2期76-76,共1页罗毅侃 
近年来,WLAN已广泛应用于各种生活领域。例如医疗、生活社区、机场车站、校园等。现如今我们的生活已经离不开互联网,在线订购食品,预订车票等等。现阶段WLAN的热点覆盖为了满足人们的通信需求,在咖啡馆、图书馆等许多地方都有覆盖,可...
关键词：WLAN 安全协议 攻击方法 
基于状态机学习算法的TLS实现库安全性分析被引量：2
《系统工程与电子技术》2018年第12期2810-2815,共6页毕兴 唐朝京 
国家自然科学基金(61672527)资助课题
通过状态机学习算法,可以提取传输层安全(transport layer security,TLS)协议的实现库状态机模型来分析其安全性。当前在状态机学习中需要解决状态机学习时间随目标系统状态数增长而呈指数级增长的问题。提出一种改进的状态机学习算法,...
关键词：有限状态机 安全协议分析 传输层安全协议 
网络安全协议在计算机通信技术当中的作用被引量：4
《数码世界》2017年第10期216-216,共1页杨领 
随着计算机网络的快速发展,人们生活的方方面面都和网络有联系,网络为人们提供便利的同时也存在一些网络安全问题,例如网络诈骗,窃取网络数据等,因此网络安全问题越来越被人们所重视。网络安全的基础是网络安全协议,这项协议是人们通过...
关键词：网络安全协议 计算机通信技术 安全协议分析 安全协议设计 
网络安全协议在计算机通信技术当中的作用与意义被引量：19
《计算机光盘软件与应用》2014年第12期186-186,188,共2页秦俊波 
网络安全协议是营造网络安全环境的基础,是构建安全网络的关键技术。设计并保证网络安全协议的安全性和正确性能够从基础上保证网络安全,避免因网络安全等级不够而导致网络数据信息丢失或文件损坏等信息泄露问题。在计算机网络应用中,...
关键词：网络安全协议 计算机通信技术 安全协议分析 安全协议设计 
改进型有色Petri网的安全协议分析被引量：2
《计算机工程与科学》2013年第7期60-63,共4页张卉 李续武 赵媛莉 校云超 
利用有色Petri网分析安全协议时存在空间爆炸问题,对此提出了构建入侵者成功攻击安全协议所需知识集RI与入侵者可以获得的知识集KI,并定义入侵成功函数的改进型有色Petri网。利用改进型有色Petri网对具体的Helsinki协议和TMN协议进行了...
关键词：有色PETRI网 安全协议 攻击成功函数 
基于CSP方法的移动自组织网络认证协议TAM的分析与改进
《通信学报》2013年第S1期58-66,共9页刘礼才 殷丽华 郭云川 孙燕 
国家自然科学基金资助项目(61100181;61070186;61100186)~~
针对移动自组织网络认证协议应对安全威胁、满足安全目标的有效性问题,提出了采用基于通信顺序进程(CSP,communicating sequential process)和模型检测的协议分析方法,对移动自组织网络的代表性认证协议TAM进行分析、建模、检验并改进...
关键词：移动自组织网络 认证协议 安全协议分析 通信顺序进程 TAM 
电子商务安全协议分析被引量：4
《开封大学学报》2012年第3期90-93,共4页沈二波 
对两种常见网络协议的结构进行了分析与比较,通过实际网络环境操作,验证了SSL协议的安全性。
关键词：电子商务 网络支付安全 WARE Shark网络监听 SSL协议 
电子商务的安全协议分析被引量：2
《网络安全技术与应用》2011年第3期17-19,10,共4页覃如贤 
本文对目前用于保障电子商务安全的一些典型协议进行了简要介绍,重点介绍了SSL协议和SET协议,对它们的作用,解决的关键问题及安全性等进行了描述。并对SSL协议和SET协议进行了简要的比较。
关键词：电子商务 安全 协议 网络 
安全协议:信息安全保障的灵魂——安全协议分析研究现状与发展趋势被引量：10
《中国科学院院刊》2011年第3期287-296,共10页薛锐 雷新锋 
信息社会对于信息保障技术手段提出了极大的挑战。安全协议作为信息安全保障的灵魂,越来越凸显出其关键和纽带作用。对安全协议的安全性分析则是信息时代一个重要而无法回避的关键问题。文章通过总结安全协议分析的研究现状与发展趋势,...
关键词：安全协议 密码学 形式化方法 研究现状 发展趋势 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部