张海宾
- 作品数：49 被引量：23H指数：3
- 供职机构：西安电子科技大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术电子电信生物学更多>>
- 一种基于知识图谱的互联网态势评估方法
- 本发明公开了一种基于知识图谱的互联网态势评估方法，包括：构建网络安全知识图谱本体；收集网络数据识别威胁情报信息清洗得到网络基本事件；提取告警信息与网络数据合并；确定各数据的知识类别；对不同知识类别数据构建知识图谱存储；对...
- 车沅熹杨锐黄泽宇戚玉涛张海宾李晓军
- 离散时间区间时序逻辑可满足性的判定被引量：4
- 2010年
- 目前还没有模型检查的方法自动检测模型是否满足时间区间时序逻辑描述的性质.我们约束时间域到离散时间,证明了离散时间区间时序逻辑的可满足性是可判定的,因而是可模型检查的.提出了时间正则图模型,通过从离散时间区间时序逻辑到时间正则图的构造,提出了基于该逻辑的判定算法,该算法可以推广到其它的时序逻辑模型检查,并优于现有的基于自动机的时序逻辑判定方法.
- 朱维军张海宾周清雷
- 关键词：可满足性判定
- 多速率混合系统的符号化可达性分析被引量：2
- 2007年
- 针对目前还没有专门的数据结构处理多速率混合系统的符号化可达性问题,定义了多速率区域来表示和处理多速率自动机的无穷状态空间,从而把多速率混合系统的符号化可达性分析等价地转化成多速率区域上的3种操作,即并操作、变量重赋值操作和控制状态上的时间流逝操作.从理论上证明了多速率区域在这3种操作上的封闭性,同时定义了矩阵数据结构不同上限矩阵(DCM),并用其存储多速率区域,这样就得到了一种专门处理多速率混合系统符号化可达性分析的数据结构.理论上证得,DCM可以大大降低可达性分析算法的复杂度.
- 张海宾段振华
- 关键词：可达性分析
- 基于机器学习的恶意软件家族主要特征提取和可视化方法
- 本发明涉及计算机技术、机器学习和信息安全领域，尤其涉及基于机器学习的恶意软件家族主要特征提取和可视化方法，包括特征选择、家族分类、特征贡献度提取、归一化处理和可视化步骤；通过静态或动态分析收集恶意软件样本行为数据，选择特...
- 周家兴 姚铮阮涛张海宾张扬
- 多速率混合系统的模型检查被引量：1
- 2008年
- 研究了初始化的多速率混合系统的模型检查问题,即检验初始化的多速率自动机是否满足某个混合区间时序逻辑公式描述的性质.首先定义了一套转换规则把混合区间时序逻辑公式转化为区间时序逻辑公式.接着定义了初始化的多速率自动机状态空间上的等价关系及其对应的域自动机,并且通过构造域自动机对应的标注有限状态自动机,把初始化的多速率混合系统的模型检查问题等价地转换成了可解的区间时序逻辑的模型检查问题.利用区间时序逻辑的模型检查算法加上上述的转换规则,就可以解决初始化的多速率混合系统的模型检查问题.
- 张海宾段振华
- 关键词：区间时序逻辑
- 基于双层优化和博弈分析的海上对抗防御策略优化方法
- 本发明公开了一种基于双层优化和博弈分析的海上对抗防御策略优化方法，包括：构建海上对抗防御模拟场景；针对该场景以防御单位的来袭目标防御纵深之和以及防御区重叠面积之和为优化目标建立上层的多目标优化模型，求解得到针对防御单位位...
- 张海宾 马梓超 杨淼 戚玉涛 姚婧 李晓军
- 边缘网络智能安全防护关键技术及应用
- 张海宾孙文曾颖明王鹏王超刘志强
- 边缘网络作为支撑能源、交通、制造等重要行业和领域公共通信和智能服务的关键综合信息基础设施，一旦遭到破坏丧失功能，将严重危害国家安全、国计民生。然而，作为支撑“新基建”等国家战略的边缘网络在智能化与安全化转型中面临着数据可...
- 关键词：
- 关键词：网络安全
- 一种基于GPS信号特征的时间欺骗检测方法
- 本发明公开了一种基于GPS信号特征的时间欺骗检测方法，包括：在GPS原始数据中提取原始数据；基于K路通道的载噪比和多普勒频率，得到当前时刻对应的时间窗内每路通道的载噪比的方差、以及多普勒频率的方差；基于每路通道的载噪比的...
- 魏晓敏王由甲张海宾李玥宋祁朋马建峰
- 基于空域映射与频域加性扰动的对抗样本生成方法及装置
- 本发明公开了一种基于空域映射与频域加性扰动的对抗样本生成方法和装置，涉及计算极视觉的图像识别技术领域，解决了现有技术中在为图像中的像素点添加扰动时，容易被察觉后导致的图像失真；该方法包括：获取原始图像；对原始图像上的像素...
- 张海宾王海涛王冰吕敏杰周相南杨学武唐舒楠
- 基于机器学习的无人机物理攻击检测与恢复方法及装置
- 本发明公开了一种基于机器学习的无人机物理攻击检测与恢复方法及装置，涉及信息安全技术领域，解决了现有技术在各类无人系统攻击检测时的局限性的问题；该方法包括：获取数据集，并对数据集进行预处理，得到处理后的数据；构建机器学习模...
- 魏晓敏徐怡珍张海宾李玥宋祁朋马建峰
