您的位置: 专家智库 > >

文献类型

  • 5篇期刊文章
  • 3篇会议论文
  • 2篇专利

领域

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

主题

  • 4篇代码
  • 4篇信息流
  • 4篇C代码
  • 3篇信息流分析
  • 2篇远程
  • 2篇远程证明
  • 2篇质询
  • 2篇随机化
  • 2篇主观逻辑
  • 2篇完整性
  • 2篇无线
  • 2篇无线局域
  • 2篇无线局域网
  • 2篇镜像
  • 2篇镜像文件
  • 2篇局域
  • 2篇局域网
  • 2篇机化
  • 1篇动态路由
  • 1篇容忍入侵

机构

  • 8篇解放军信息工...
  • 2篇解放军电子工...

作者

  • 10篇方青坡
  • 4篇赵秀凤
  • 3篇郭渊博
  • 2篇单洪
  • 2篇周洪伟
  • 2篇吴果
  • 1篇刘小虎
  • 1篇李杰
  • 1篇王硕
  • 1篇张玉臣

传媒

  • 1篇微电子学与计...
  • 1篇系统仿真学报
  • 1篇信息工程大学...
  • 1篇郑州大学学报...
  • 1篇安徽电子信息...
  • 1篇2006年全...
  • 1篇中国电子学会...
  • 1篇2006年全...

年份

  • 1篇2019
  • 2篇2017
  • 1篇2015
  • 1篇2007
  • 3篇2006
  • 1篇2004
  • 1篇2003
10 条 记 录,以下是 1-10
排序方式:
基于信息流分析的C代码安全编译技术研究
提出一种新的基于信息流分析的C代码安全编译技术.建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全.
赵秀凤郭渊博方青坡
关键词:信息流
文献传递
基于多重完整性远程证明的异常节点检测方法
本发明属于监测区域内节点异常检测方法技术领域,具体涉及基于多重完整性远程证明的异常节点检测方法,包括:将节点镜像文件随机化;利用远程证明协议的方法证明节点的进行验证;利用完整度量方法构造针对节点的质询问题;利用主观逻辑的...
周洪伟原锦辉吴果秦晰方青坡
无线网络——裸露的躯体
该文讨论了无线通信协议中存在的安全方面的漏洞以及由此带来的安全方面的隐患,并提出了几种无线网络可能遭受的攻击,并给出了可能的解决方法.
单洪方青坡
关键词:无线局域网安全隐患
文献传递
基于信息流分析的C代码安全编译技术研究
提出一种新的基于信息流分析的C代码安全编译技术。建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全。
赵秀凤郭渊博方青坡
关键词:信息流
文献传递
半实物网络仿真动态路由方案设计与实现被引量:1
2015年
针对半实物网络仿真动态路由难以实现的问题,在分析半实物网络仿真原理的基础上,提出了动态路由消息转换方法和基于时间分片的障碍同步算法,解决了动态路由的消息转换和系统实时性保证两个关键问题,利用虚拟IP技术解决了半实物网络仿真中的多主机配置问题,采用OSPF路由协议,设计并实现了基于OMNe T++的半实物网络仿真动态路由方案。通过多种虚实结合场景对动态路由协议进行功能验证和可扩展性测试,验证了方案的正确性。
刘小虎张玉臣方青坡孙磊刚
关键词:动态路由实时性
基于容忍入侵的C代码安全编译技术
2007年
提出一种新的基于容忍入侵的C代码安全编译技术.建立信息流的格模型,在保证内存安全的前提下触发信息流安全机制.通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全.
赵秀凤方青坡
关键词:容忍入侵信息流
基于分层结构的Flash数据安全删除框架
2017年
针对Flash数据删除面临的主要威胁,归纳了Flash数据安全删除方案应满足的总体要求。以此为基础,提出了基于分层结构的Flash数据安全删除框架,研究安全的数据删除过程,描述了如何通过安全机制使数据删除的效率和安全性得到双重保障。
方青坡隋然李杰王硕
关键词:安全删除加密
基于多重完整性远程证明的异常节点检测方法
本发明属于监测区域内节点异常检测方法技术领域,具体涉及基于多重完整性远程证明的异常节点检测方法,包括:将节点镜像文件随机化;利用远程证明协议的方法证明节点的进行验证;利用完整度量方法构造针对节点的质询问题;利用主观逻辑的...
周洪伟原锦辉吴果秦晰方青坡
文献传递
基于WPA的无线局域网安全性分析被引量:4
2004年
本文详细分析了最新的无线安全加密体制WPA的规范并对其安全性做了分析,结合目前广 泛使用的WEP加密体制的弱点,分析WPA的相比与WEP的优点,指出了WPA代替WEP成为无线安全屏 障的必然。
方青坡单洪
关键词:WPAWEPWI-FI联盟数据包接入
基于信息流分析的C代码安全编译技术研究
2006年
提出一种新的基于信息流分析的C代码安全编译技术。建立信息流的格模型,通过安全类型系统进行信息流的静态分析来检测程序中信息流的安全漏洞,进而保证C代码的信息流安全。
赵秀凤郭渊博方青坡
关键词:信息流
共1页<1>
聚类工具0