方青坡
- 作品数:10 被引量:5H指数:1
- 供职机构:解放军信息工程大学更多>>
- 相关领域:自动化与计算机技术更多>>
- 基于信息流分析的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代码的信息流安全。
- 赵秀凤郭渊博方青坡
- 关键词:信息流