刘怡文
【姓名】 刘怡文
【职称】 高级工程师;
【研究领域】 电信技术;互联网技术;计算机软件及计算机应用;
【研究方向】 计算机网络、分子通信、网络安全等
【发表文献关键词】 模型检查,安全协议分析,SMV,NRL,FDR,Strand Spaces,定理证明,BAN逻辑,Strand,逻辑代数,密码协议,形式化,组合推理,安全模型,形式语言,安全协议,密钥,类BAN逻辑,...
【工作单位】 北京航空航天大学
【曾工作单位】 北京航空航天大学;
【所在地域】 北京
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/9 8 5 7 109 1416
中国期刊全文数据库    共找到8篇
[1]肖利民;徐向荣;韦壮焜;刘圣涵;刘怡文;.基于信道冲激响应不敏感特征的分子通信非相干信号检测[J]通信学报.2020,(09)
[2]刘怡文,李伟琴,韦卫.信息网格安全体系结构的研究[J]北京航空航天大学学报.2003,(07)
[3]刘怡文,李伟琴,冯登国.密码协议的一种安全模型(英文)[J]软件学报.2003,(06)
[4]刘怡文,李伟琴,冯登国.密码协议的一种基于组合推理的模型验证[J]通信学报.2003,(09)
[5]刘怡文,李伟琴.网络支付协议的形式化安全需求及验证逻辑[J]通信学报.2004,(04)
[6]刘怡文,李伟琴.安全协议分析的界——综合模型检查与Strand Spaces(英文)[J]中国科学院研究生院学报.2002,(03)
[7]刘怡文,李伟琴.密码协议的分层安全需求及验证[J]北京航空航天大学学报.2002,(05)
[8]刘怡文,李伟琴.安全协议的形式化需求及验证[J]计算机工程与应用.2002,(17)
更多