陈楠

作品数：6被引量：7H指数：2
导出分析报告
供职机构：解放军信息工程大学更多>>
发文主题：可证明安全自动化控制流分析可执行代码数据流分析更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《信息工程大学学报》《计算机应用研究》《计算机工程与设计》《计算机工程》更多>>
所获基金：国家高技术研究发展计划河南省杰出人才创新基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于可执行代码中间表示的控制流分析被引量：2
《计算机工程》2010年第21期31-33,36,共4页窦增杰 王震宇 陈楠 王瑞敏 田佳 
国家"863"计划基金资助项目(2007AA01Z483);河南省高新领域重点攻关基金资助项目(082102210011)
为准确刻画程序的控制流和正确地提取程序控制结构,给出可执行代码控制流分析的整体架构和算法,阐述可执行代码反汇编结果的抽象表示、程序控制流构造等技术。反汇编结果抽象表示采用简化汇编语言中间表示(SAIR)以保证分析的简洁性和严...
关键词：逆向分析 中间表示 控制流 抽象表示 
密码协议安全性证明系统解析器的设计与实现
《计算机应用研究》2010年第9期3529-3532,共4页李安乐 陈楠 顾纯祥 祝跃飞 
国家“863”计划资助项目(2007AA01Z471)
可证明安全性是密码协议安全性评估的重要依据,但手写安全性证明容易出错且正确性难以判定,利用计算机辅助构造游戏序列进而实现自动化证明是当前一种可行的方法。为此提出一种基于进程演算的密码协议形式化描述模型,定义了描述密码协...
关键词：可证明安全 自动化 进程演算 
公钥加密体制自动化安全性证明方法研究
《信息工程大学学报》2010年第4期472-476,492,共6页陈楠 李安乐 祝跃飞 顾纯祥 
国家863计划资助项目(2007AA01Z471)
可证明安全是目前分析密码协议安全性的一种重要方法,但是手工证明的难度较大,正确性也难以保证。利用计算机技术实现可证明安全性的自动化分析是目前的一个研究热点。文章在前人工作的基础上,设计了一个适用于更多密码协议的安全性证...
关键词：可证明安全 自动化 攻击游戏 ElGamal加密体制 
TCG软件栈功能模型分析被引量：3
《信息工程大学学报》2010年第1期71-74,共4页王震宇 窦增杰 田佳 陈楠 余弦 
国家863计划资助项目(2007AA01Z483);河南省高新领域重点攻关项目(082102210011)
在研究可信平台结构基础之上对TCG软件栈架构进行分析,详细阐述TCG软件栈各层的功能。分析TSP对外提供的功能接口,对TSP对外提供的主要对象类进行分析并研究功能接口各个对象类之间的关系。通过以上研究能很好地指导编写可信平台应用程序。
关键词：可信计算平台 TCG软件栈 可信计算组织 可信平台模块 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部