张朋辉
- 作品数:3 被引量:6H指数:2
- 供职机构:国防科学技术大学更多>>
- 发文基金:国家高技术研究发展计划更多>>
- 相关领域:自动化与计算机技术电子电信更多>>
- 计算机硬件漏洞分析方法研究
- 计算机架构的安全性主要涉及软件安全和硬件安全两个方面。面向软件的漏洞分析一直是安全分析领域的主要内容,产生了许多有效的研究方法,使得软件部分的安全性不断提高。而硬件漏洞一方面由于其隐蔽性、抽象性以及复杂性等诸多因素的制约...
- 张朋辉
- 关键词:计算机硬件漏洞分析软硬件协同
- 基于软硬件协同形式验证的固件漏洞分析技术被引量:3
- 2016年
- 为了系统高效地分析固件中潜在的安全隐患,提出了一种基于行为时序逻辑TLA的软硬件协同形式验证方法。通过对固件工作过程中的软硬件交互机制进行形式建模分析,在动态调整攻击模型的基础上,发现了固件更新过程中存在的安全漏洞,并通过实验证实了该漏洞的存在,从而证明了形式验证方法的可靠性。
- 张朋辉田曦楼康威
- 关键词:漏洞分析软硬件协同
- 基于模糊函数的雷达信号脉内特征提取被引量:2
- 2016年
- 脉内特征提取对于雷达辐射源信号分选具有重要的意义。本文采用模糊函数来处理雷达辐射源信号,获取信号的脉内特征并简化,然后采用Karhunen-Loeve(K-L)变换提取简化后模糊函数的特征,最终得到信号的特征参数,为雷达信号分选提供可靠地依据。由于模糊函数与信号的形式有关,并且对噪声的不敏感,K-L变换能够消除各分量的相关性,因此能够有效的提取雷达信号的脉内特征,可分性强,抗干扰性能好,大量的仿真实验验证了此方法的可行性。
- 楼康威田曦张朋辉
- 关键词:雷达信号模糊函数K-L变换特征提取