密码协议

作品数：270被引量：695H指数：11
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：王亚弟张玉清肖国镇韩继红陈克非更多>>
相关机构：解放军信息工程大学西安电子科技大学上海交通大学中国科学技术大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金国家高技术研究发展计划国家重点基础研究发展计划国家教育部博士点基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机应用x
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于半监督子空间聚类的协议识别方法
《计算机应用》2021年第10期2900-2904,共5页朱玉娜 张玉涛 闫少阁 范钰丹 陈韩托 
针对现有的基于统计特征的协议识别方法选择识别特征时未考虑不同协议个体之间的差异的问题,结合半监督学习和模糊子空间聚类(FSC)方法,提出了一种半监督子空间聚类协议识别方法(SSPIA)。首先,将有标签的样本流转化为成对约束信息,从而...
关键词：密码协议 协议识别 统计特征 半监督学习 子空间聚类 
通用可组合安全计算的信任模型研究
《计算机应用》2012年第5期1371-1374,共4页张妤 阴建强 胡杰 
国家863计划项目(2007AA01Z405)
通用可组合(UC)安全计算的存在性需要刻画某种基础假定的信任模型的支持。针对国内对于UC安全计算的信任模型研究甚少的现状,研究了UC安全性的本质要求及其对UC安全计算的限制,得出了使用这些信任模型的根本原因,进而分析了国外用来刻...
关键词：密码协议 通用可组合 安全计算 基础假定 信任模型 
一种基于问题求解理论的密码协议形式模型
《计算机应用》2007年第2期303-307,共5页赵宇 王亚弟 韩继红 范钰丹 赵琦 
国家973计划项目资助(TG19990358.01)
提出了一种基于问题求解理论的密码协议模型,给出了模型的基本语法以及基于ρ演算的形式语义,明确了模型推理过程中涉及到的一些关键性的概念和命题。该模型具有以下特点能够对密码协议进行精确的形式化描述;具有合理可靠的可证明语义;...
关键词：密码协议 形式模型 问题求解理论 ρ演算 运算语义 
一种新的密码协议分析方法及其应用
《计算机应用》2006年第5期1087-1089,共3页文静华 张梅 李祥 
贵州省自然科学基金资助项目(20042111);贵州省教育厅自然科学基金资助项目(2004219)
针对传统时序逻辑把协议看成封闭系统进行分析的缺点,提出一种新的基于策略的ATL(AlternatingtimeTemporalLogic)逻辑方法分析密码协议。最后用新方法对NeedhamSchroeder协议进行了严格的形式化分析,结果验证了该协议存在重放攻击。工...
关键词：密码协议 安全性 形式化分析 ATL 
《计算机应用》2005年第25卷总目次
《计算机应用》2005年第12期2971-2988,共18页
关键词：算法设计 入侵检测系统 黄皓 彩色图像 人脸识别 小波变换 关联规则挖掘 决策树分类算法 图像分割 分布式拒绝服务 密码协议 通信协议 文本分类 《计算机应用》 目次 
一种自动密码协议分析方法
《计算机应用》2005年第9期2089-2091,共3页宁小军 黄刘生 周智 
安徽省教育厅重点科研项目(2003KJ049ZD)
密码协议是构建网络安全环境、保护信息系统安全的重要手段之一,然而分析其固有缺陷和揭示入侵攻击行为,却是一件非常困难的事情。文中通过综合基于逻辑和模型检测的密码协议分析方法,提出了一种基于目标提取和消息模式匹配的自动密码...
关键词：密码协议 协议分析 模型检测 
串空间模型的原理与应用被引量：2
《计算机应用》2005年第8期1747-1749,1752,共4页谭立力 刘璟 谢鸿波 谭兴烈 
现代通信国家重点实验室基金资助项目(51436040305DZ4001);国家重点基础研究发展规划资助项目(G1999035803)
介绍了安全协议形式化分析方法串空间模型的基本概念,给出了检查消息机密性的定理的变形公式,形式化地证明了由未泄漏私钥签字的消息起源于诚实主体串,并利用上述结论检验了BAN修改后的CCITTX.509(3)协议的机密性和认证性。
关键词：密码协议 串空间 CCITT X.509协议 
密码协议的Promela语言建模及分析被引量：11
《计算机应用》2005年第7期1548-1550,共3页龙士工 王巧丽 李祥 
贵州省自然科学基金资助项目(20043029)
给出了利用SPIN模型检测分析密码协议的一般方法。作为一个实例,对NeedhamSchroeder公钥密码协议用Promela语言建模,并利用SPIN进行了分析验证,发现了其安全漏洞。该方法很容易推广到有多个主体参与的密码协议的分析。
关键词：密码协议 模型检测 SPIN PROMELA 
密码协议的符号模型检测及分析被引量：3
《计算机应用》2005年第1期138-140,共3页龙士工 罗文俊 李祥 
贵州省自然科学基金资助项目(20043029);贵州工业大学校内基金资助项目(2004402)
对密码协议模型检测的方法作了理论上的研究,并用SMV检测工具给出了一个实际分析的例子。结果表明,利用符号模型检测方法分析并发现密码协议重放攻击的漏洞是一种行之有效的方法。
关键词：密码协议 符号模型检测 SMV 
产生“一次一密”会话密钥的抗重放攻击鉴别协议被引量：1
《计算机应用》2003年第7期24-25,共2页逯海军 祝跃飞 
国家973项目(G1999035804);自然科学基金资助项目(90204015;19931010);河南省杰出青年基金资助项目(0212001400)
文章在抗重放攻击的身份认证协议的基础上,提出了一种新的产生会话密钥的协议,在身份认证后的协议执行的每一步,利用DIFFIE HELLMAN算法产生的密钥作为移位寄存器的初态,由移位寄存器产生适当长度的密钥流作为会话密钥,且此密钥只使用一...
关键词：密码协议 身份认证 会话密钥 移位寄存器 一次一密 公钥密码 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部