您的位置： 专家智库 > >

田楠

作品数：4 被引量：0H指数：0
供职机构：国防科学技术大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇专利
  • 1篇学位论文

领域

  • 4篇自动化与计算...

主题

  • 1篇对等网
  • 1篇对等网络
  • 1篇信息特征
  • 1篇源程序
  • 1篇整数
  • 1篇数据泄露
  • 1篇特征词
  • 1篇通信
  • 1篇区块
  • 1篇网络
  • 1篇线性规划
  • 1篇泄露
  • 1篇历史信息
  • 1篇漏洞
  • 1篇漏洞检测
  • 1篇逻辑公式
  • 1篇敏感信息
  • 1篇开销
  • 1篇可满足性
  • 1篇合法

机构

  • 4篇国防科学技术...

作者

  • 4篇田楠
  • 3篇李强
  • 3篇李腾飞
  • 1篇马春来
  • 1篇张健

年份

  • 2篇2023
  • 1篇2021
  • 1篇2012
共 4 条 记 录，以下是 1-4
全选 清除 导出
排序方式：
多面体抽象域的整数实现及效率改进方法
计算机软件中往往涉及许多数值型变量，例如循环计数、数组下标、缓冲区长度等。这些数值型变量的取值范围对于程序中数值相关运行时错误（如除零错、数组越界等）的检测至关重要。抽象解释理论为变量值范围分析提供了一个通用框架，抽象域...
田楠
关键词：线性规划
文献传递
一种数据泄露风险评估方法
本发明公开了一种数据泄露风险评估方法，属于信息安全技术领域，包括：获取信息系统的数据泄露历史信息，并对数据泄露历史信息进行处理，构造数据泄露信息特征词集合；将数据泄露信息特征词集合中的特征词与涉密敏感信息库中的敏感信息进...
李强余祥田楠李腾飞陈立哲舒展翔李孟霖
文献传递
一种对等网络信任数据存储模型的构建方法
本发明公开了一种对等网络信任数据存储模型的构建方法，包括建立用于信任数据存储的区块链TChain；根据建立的区块链TChain构建实体间区块链的验证和同步机制；对得到的区块链TChain的完整性、连续性，以及合法性进行算...
余祥巫岱玥李强舒展翔李腾飞陈立哲田楠
一种基于符号执行的释放重引用漏洞检测方法
本发明公开了一种基于符号执行的释放重引用漏洞检测方法，包括基于符号执行系统，建立释放重引用漏洞检测策略，得到检测释放重引用漏洞的准则与基本方法；根据符号执行系统，建立释放重引用漏洞检测算法；根据释放重引用漏洞检测算法进行...
余祥李腾飞李强陈立哲张健马春来田楠
全选 清除 导出
共1页<1>
聚类工具0