刘怡文

作品数：8被引量：39H指数：3
导出分析报告
供职机构：北京航空航天大学计算机学院更多>>
发文主题：密码协议定理证明信息网格网格代理证书更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《计算机工程与应用》《软件学报》《北京航空航天大学学报》《通信学报》更多>>
所获基金：国家重点基础研究发展计划国家高技术研究发展计划国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-8
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于信道冲激响应不敏感特征的分子通信非相干信号检测被引量：3
《通信学报》2020年第9期49-58,共10页肖利民 徐向荣 韦壮焜 刘圣涵 刘怡文 
国家重点研发计划基金资助项目(No.2017YFB1010000);国家自然科学基金资助项目(No.61772053)。
为解决分子通信中由分子扩散带来的码间干扰(ISI)和背景噪声这2个严峻的挑战,采用4种能抵抗ISI的信号特征表示接收信号的瞬态特性,提出了可靠的不依赖于信道冲激响应(CIR)的非相干分子信号检测算法,并设计了自适应阈值计算方法,且给出...
关键词：分子通信 码间干扰 非相干检测 特征提取 
网络支付协议的形式化安全需求及验证逻辑被引量：2
《通信学报》2004年第4期174-182,共9页刘怡文 李伟琴 
国家"863"高科技发展计划基金资助项目(863-306-ZT05-05-6)
从整个网络支付协议的安全角度出发,提出网络支付协议的多层安全需求模型,包括以认证和密钥分配为基础的基层需求、网络支付协议固有的中层需求(包括保密性、原子性、公平性、完整性、匿名性、不可否认性、可追究性等)、以及面向具体应...
关键词：电子商务协议 形式化验证 安全性 原子性 公平性 匿名性 可追究性 
密码协议的一种基于组合推理的模型验证被引量：2
《通信学报》2003年第9期122-127,共6页刘怡文 李伟琴 冯登国 
国家"973"基金资助项目(G1999035802)
将密码协议与协议中用到的密码算法视为一个系统,基于组合推理技术建立了密码协议系统的形式化模型。采用基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的正确性,实现了密码协议系统的模型...
关键词：密码协议 形式化模型 组合推理 模型检查 
信息网格安全体系结构的研究被引量：23
《北京航空航天大学学报》2003年第7期631-635,共5页刘怡文 李伟琴 韦卫 
阐述了信息网格Grid环境的独特的安全需求以及现有安全技术的不足 ,基于协议分层的模式建立了Grid安全体系结构 ,并着重研究了一站式认证、安全组通信等关键技术 ,为满足Grid环境的安全需求提供了一体化的解决方案 .将该安全体系结构运...
关键词：网格 安全 结构 一站式认证 代理证书 
密码协议的一种安全模型(英文)
《软件学报》2003年第6期1148-1156,共9页刘怡文 李伟琴 冯登国 
国家重点基础研究发展规划(973)~~
将密码协议与密码算法视为一个系统,建立了密码协议系统的一种安全模型.基于假设/保证的组合推理技术提出了新的假设/保证推理规则和假设/保证推理算法,证明了该规则的完备性,实现了密码协议系统的模型检查,并重点解决了系统分解问题、...
关键词：协议验证 安全模型 模型检查 组合推理 
安全协议的形式化需求及验证被引量：4
《计算机工程与应用》2002年第17期125-128,共4页刘怡文 李伟琴 
该文采用近世代数和时序逻辑的方法提出并描述了密码协议的形式化安全需求,并在AT模型的基础上加入信任和知识的非单调逻辑,建立了安全协议的计算模型。利用该计算模型对Denning_Sacco公钥协议进行了验证,发现了对此协议的重放攻击,并...
关键词：安全协议 形式化需求 验证 BAN逻辑 定理证明 密码协议 通信协议 
安全协议分析的界——综合模型检查与Strand Spaces(英文)
《中国科学院研究生院学报》2002年第3期288-294,共7页刘怡文 李伟琴 
Strand Spaces是一种用于分析安全协议的机器证明方法.简要介绍了 Strand Spaces的基本特点,分析了其优劣,提出了构造协议的理想子环的算法,并以此来约束协议入侵者的能力和协议并行运行的次数.将模型检查与 Strand Spaces结合在一起,...
关键词：安全协议分析 模型检查 STRAND SPACES 定理证明 机器证明 安全特性 网络安全 
密码协议的分层安全需求及验证被引量：5
《北京航空航天大学学报》2002年第5期589-592,共4页刘怡文 李伟琴 
将密码协议的安全需求分为浅层需求和深层需求 2个层面 ,阐述了密码协议的分层安全需求 .采用近世代数和时序逻辑的方法定义了形式化描述语言 ,并形式化地描述了密码协议的分层安全需求 .将类BAN逻辑与模型检查相结合 ,在Abadi Tuttle...
关键词：密码协议 安全需求 逻辑代数 形式语言 模型检查 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部