科研专业方向
研究领域：
计算机及终端设计与制造技术
研究方向：
研究计算机系统攻击技术,可信计算,可信操作系统理论与开发,操作系统的形式化描述与验证,计算机主机系统与网络系统的行为监控,密码技术与PKI 技术应用
黄教授
教授
江苏南京市
科研重点分布
近年科研重点
2014
访问控制 分布式 模型驱动架构 策略精化 策略冲突分析 片上多核处理器 共享资源争用 性能损失预测2019
自动形式化规约 自动化验证 定理证明器 交互式定理 形式化验证科研产出增长曲线
历年科研产出
学科论文分布
互联网技术：103
计算机软件及计算机应用：43
电信技术：15
自动化技术：4
电力工业：3
计算机硬件技术：2
总数:
161
展开
>
- 产学研合作
- 基金课题
- 荣誉&成就
- 科研成果
产学研合作
合作信息
| 合作单位 | 合作论文数量 |
|---|---|
| 常熟理工学院计算机科学与工程学院 | 8 |
| 南京审计学院信息科学学院 | 7 |
| 河海大学计算机及信息工程学院 | 5 |
| 扬州大学信息工程学院计算机科学与工程系 | 5 |
| 江苏南大苏富特软件股份有限公司 | 3 |
| 伦敦大学国王学院 | 3 |
| 扬州大学信息学院计算机科学与工程系 | 3 |
| 中国电子科技集团公司第三十二研究所 | 2 |
| 中国地质大学 | 2 |
| 江南计算技术研究所 | 2 |
| 解放军理工大学指挥自动化学院 | 2 |
| 中国矿业大学计算机学院 | 2 |
| 南京南瑞信息通信科技有限公司 | 2 |
| 南京航空航天大学信息科学与技术学院 | 2 |
| 解放军理工大学工程兵工程学院网络信息中心 | 2 |
| 南京南瑞集团公司信息通信技术分公司 | 1 |
| 计算机软件新技术国家重点实验室 | 1 |
| 南京工业大学信息学院 | 1 |
| 江苏省国家税务局信息中心 | 1 |
| 盐城市地税局信息中心 | 1 |
| 大庆测试服务技术分公司 | 1 |
| 软件新技术国家重点实验室 | 1 |
| 中国人民武装警察部队无锡支队通信股 | 1 |
| 南京理工大学紫金学院 | 1 |
| 南瑞集团有限公司 | 1 |
| 南瑞集团有限公司(国网电力科学研究院有限公司) | 1 |
| 国网江苏省电力有限公司 | 1 |
| 北京邮电大学网络空间安全学院 | 1 |
| 南京陆军指挥学院信息作战与指挥系 | 1 |
| 杭州师范大学杭州市电子商务与信息安全重点实验室 | 1 |
| 中国矿业大学计算机学院信息安全系 | 1 |
| 河海大学计算机工程学院 | 1 |
| 海南省海口市92830部队自动站 | 1 |
| 中国电科第28研究所C4ISR技术国防科技重点实验室 | 1 |
| 南大苏富特软件股份有限公司 | 1 |
| 中国电子科技集团公司第28研究所C~4ISR技术国防科技重点实验室 | 1 |
| 南京工业大学电子与信息工程学院 | 1 |
| 中国电子科技集团公司第二十八研究所C4ISR技术国防科技重点实验室 | 1 |
展开全部
基金课题
| 论文标题 | 基金名称 |
|---|---|
| 浏览器权能监控技术研究 | 国家高技术研究发展计划 |
| 基于最佳并行度的任务依赖图调度 | 国家863高科技项目基金 |
| DAPRA测试分析和IDS测试方法研究 | 国家863计划2001AA142010 |
| 一种半聚类的异常入侵检测算法 | 国家863计划项目 |
| 一种轻量级的Android内核保护监控器 | 国家863计划基金资助项目 |
| 网络入侵检测系统安全性能检测研究 | 国家科技攻关项目基金 |
| 移动家乡代理接入死锁的解决方法 | 国家自然科学基金资助项目 |
| 面向服务的角色访问控制技术研究 | 国家自然科学基金 |
| 基于SR-IOV的虚拟机防火墙设计与实现 | 国家863计划基金资助项目 |
| 高速网络下的分布式实时入侵检测系统 | 国家八六三高技术研究发展计划基金项目 |
| 移动Agent系统中的安全问题和技术研究综述 | 本课题研究得到国家863高科技发展计划 |
| 基于CCM的软件构件组装技术的研究 | 国家自然科学基金 |
| 基于CCM的应用服务器及关键技术研究 | 国家自然科学基金 |
| 基于系统调用特征的入侵检测研究 | 国家 8 63计划 |
| 分类异常点检测算法及在IDS模型中的应用 | 国家863计划资助项目 |
| 基于改进多目标遗传算法的入侵检测集成方法(英文) | 国家自然科学基金No.60303023国家高技术研究发展计划 |
| 一种利用域名系统支持主机移动的路由协议(英文) | Foundation Item:National Project 863 |
| 基于文化算法的负载均衡自适应机制 | 国家863高技术研究发展计划基金项目 |
| 基于状态转换图的入侵检测模型STGIDM | 国家863高技术 |
| 综述:关于IPv6安全性问题的研究 | 国家863计划项目 |
| 一种基于地址、协议转换方式的高性能IPv6/IPv4安全网关 | 国家863计划项目 |
| 开放式系统的攻击取证和系统恢复机制Eudemon的设计及实现 | 国家863高技术研究发展计划课题资助 |
| 基于小样本标记实例的数据流集成入侵检测模型 | 国家自然科学基金 |
| 一种基于第三方的抗抵赖邮件协议 | 江苏省自然科学基金资助项目 |
| 面向入侵检测的基于多目标遗传算法的特征选择 | 国家863计划 |
| MIPv6协议的切换算法的发展及其安全性研究 | 国家自然科学基金项目 |
| 一种高效多模式匹配算法及其在NIDS上的应用 | 国家863计划资助项目 |
| 自治网络中信任信誉模型的安全现状研究 | 国家自然科学基金项目 |
| 基于分段保护的内核模块隔离机制 | 国家自然科学基金 |
| 支持路径选择与快速切换的移动网络接入路由器安全Mesh（英文） | 国家八六三高技术研究发展计划项目基金 |
| 分布式应用访问控制策略精化与冲突分析技术 | 国家863项目:以支撑电子商务为主的网络操作系统研制 |
| 一种轻量级的SYNFlooding攻击检测方法 | 国家863高技术研究发展基金 |
| 基于可信级别的多级安全策略及其状态机模型 | 江苏省自然科学基金～～ |
| 基于数据挖掘的异常入侵检测系统研究 | 国家863计划2001AA142010 |
| 汇编级顺序语句块的自动形式化规约及其验证 | 国家电网公司2018年总部科技项目可信嵌入式操作系统关键技术研究 |
| 一种轻量级的SYNFlooding攻击检测方法 | 国家863高技术研究发展基金 |
| 多核环境下一种支持动态预测性能损失的方法 | 国家自然科学基金项目 |
| 基于Dempster-Shafer证据理论的端口扫描检测方法 | 国家高技术研究发展计划 |
| 基于StrandSpace的移动计算安全协议设计与正确性证明 | 国家自然科学基金 |
| 多保护域进程模型及其实现 | 江苏省自然科学基金 |
| 一个分层隔离的操作系统内核 | 国家自然科学基金资助项目 |
| 蜜罐重定向机制的设计与实现 | 国家863高技术研究发展计划基金资助项目分布式网络监控与预警系统 |
| 一种基于Hurst参数的SYNFlooding攻击实时检测方法 | 国家高技术研究发展计划 |
| 动态共享库保护方法研究 | 国家863计划基金资助项目分布式可信计算系统研究 |
| 主动攻击响应技术研究 | 国家 8 63高科技发展计划资助项目 |
| 使用补偿非参数CUSUM方法检测DDoS攻击 | 国家高技术研究发展计划 |
| 使用补偿非参数CUSUM方法检测DDoS攻击 | 国家自然科学基金资助项目 |
| 使用补偿非参数CUSUM方法检测DDoS攻击 | 江苏省高技术研究计划基金资助项目 |
展开全部
荣誉&成就
暂无荣誉成就信息
科研成果
- 期刊论文
- 技术成果
- 专利
基于数据分类的循环不变式自动生成
SG-Edge:电力物联网可信边缘计算框架关键技术
EdgeKeeper：一种适应泛在电力物联网的可信边缘计算框架（英文）
DBox：宏内核下各种设备驱动程序的高性能安全盒
汇编级顺序语句块的自动形式化规约及其验证
汇编级顺序语句块的自动形式化规约及其验证
微内核架构内存管理的形式化设计和验证方法研究
VMSPY:一种自动化的虚拟机客户机系统函数截获和控制方案
VSOS-HAM:基于Isabelle/HOL的OS内核硬件抽象模型和形式化验证方法研究
基于微内核的电力专用安全操作系统技术研究
KCapISO:一种基于HybridHP的宏内核操作系统载入模块权能隔离方案
操作系统汇编级形式化设计和验证方法
操作系统形式化设计与安全需求的一致性验证研究
一种轻量级的Android内核保护监控器
基于SR-IOV的虚拟机防火墙设计与实现
Windows平台应用程序权限能力控制研究
分布式应用访问控制策略精化与冲突分析技术
多核环境下一种支持动态预测性能损失的方法
一种轻量级的Android内核保护监控器
基于SR-IOV的虚拟机防火墙设计与实现
微内核架构文件系统的形式化设计与验证方法研究
微内核架构多线程机制的形式化设计研究
一个多级信息访问控制系统的研究与设计
微内核架构下的驱动监控
快速上下文切换调度算法
基于微内核的VTOS安全核设计与实现
操作系统形式化设计与验证综述
HybridHP:一种轻型的内核完整性监控方案及其形式化验证
基于LLVM的栈数据保护
Windows应用程序敏感数据保护研究
基于行为的云计算访问控制安全模型
基于硬件辅助虚拟化技术的反键盘记录器模型
基于MLL-AT的网络攻击建模方法研究
一个基于硬件虚拟化的内核完整性监控方法
一种嵌套移动路由器的转交地址配置方法
基于不干扰理论的隔离语义描述及隔离策略的自动化验证方法研究
基于不干扰理论的信道控制策略及其自动化验证方法
基于序列比对的SQL注入攻击检测方法
基于内核机制的非法连接监控研究与设计
基于隔离区的信息保护模型研究
动态共享库保护方法研究
动态共享库保护方法研究
多穴嵌套网络移动的快速切换算法
支持负载均衡和路由优化的网络移动增强协议
应用扩张矩阵理论的攻击特征提取
基于函数签名的控制流监控方法
打印监控审计技术研究
新加密文件系统的研究与实现
Windows消息钩子的拦截和清除
自治网络中信任信誉模型的安全现状研究
自治网络中信任信誉模型的安全现状研究
微内核完整性保障研究与应用
支持路径选择与快速切换的移动网络接入路由器安全Mesh（英文）
基于双线性配对的可证安全的代理签名方案
支持路径选择与快速切换的移动网络接入路由器安全Mesh（英文）
移动家乡代理接入死锁的解决方法
基于J2ME的移动支付安全方案研究
移动家乡代理接入死锁的解决方法
Web服务会话实体认证协议的改进
一种基于Nutos访问控制的内核实现机制
MIPv6协议的切换算法的发展及其安全性研究
MIPv6协议的切换算法的发展及其安全性研究
系统服务Rootkits隐藏行为分析
一种使用RBAC模拟实施BLP的方法
入侵检测系统研究进展
一种轻量级的SYNFlooding攻击检测方法
一种轻量级的SYNFlooding攻击检测方法
基于StrandSpace的移动计算安全协议设计与正确性证明
一种基于Hurst参数的SYNFlooding攻击实时检测方法
基于StrandSpace的移动计算安全协议设计与正确性证明
一种基于Hurst参数的SYNFlooding攻击实时检测方法
使用补偿非参数CUSUM方法检测DDoS攻击
一种混合式网络入侵检测系统
使用补偿非参数CUSUM方法检测DDoS攻击
混合多策略视图安全模型
基于改进多目标遗传算法的入侵检测集成方法(英文)
基于网络处理器的零拷贝技术
通过时间同步提高分布式入侵检测系统的检测率
基于七号信令的收入保障系统
一种基于地址、协议转换方式的高性能IPv6/IPv4安全网关
基于小样本标记实例的数据流集成入侵检测模型
面向入侵检测的基于多目标遗传算法的特征选择
基于限定令牌的木马防护系统设计
PABCS:一种用于并行入侵检测的流量划分算法
一种半聚类的异常入侵检测算法
基于CCM的软件构件组装技术的研究
基于CCM的应用服务器及关键技术研究
分类异常点检测算法及在IDS模型中的应用
综述:关于IPv6安全性问题的研究
基于可变推理机的病毒检测技术
DDoS攻击IP追踪及攻击源定位技术研究
基于软件体系结构连接器的构件组装技术研究
局域网行为管理系统的设计与实现
检测病毒与垃圾邮件融合的分层合作过滤方案
分类异常点检测算法及在IDS模型中的应用
一个非确定系统的不干扰模型
一种高效多模式匹配算法及其在NIDS上的应用
基于Apache的低交互蜜罐设计与实现
基于动态行为和特征模式的异常检测模型
利用高精度时间戳提高入侵检测率
基于网络处理器的高性能并行网络监控系统
省级政府网络信息安全示范工程
基于安全增强操作系统的网络安全防护系统NSS-1
基于安全增强操作系统的证书管理系统SoftCA
软件函数形式语义及形式化证明脚本自动生成方法
基于高速缓存着色的资源共享和隔离的混合关键实时系统
基于多内核页表的内核动态数据隔离以及保护技术
基于KVM虚拟化的网络服务隔离设计
基于静态数据引用链的Linux文件系统完整性验证方法
一种支持内核模块隔离的消息服务模块的设计方案
一种针对Linux内核页表隔离的功能调用改造方法
基于状态的文件系统完整性远程证明方法
一种自动处理语义冲突的SeLinux策略模块合并方法
一种基于makefile文件依赖的源码分析方法
在虚拟机管理器中动态无侵的应用进程函数调用监控方法
客户控制解密私钥且服务器实施加解密云存储数据加密法
基于硬件辅助虚拟化技术的进程内存保护方法
基于硬件辅助虚拟化技术的进程内存保护方法
基于保护模式与虚拟化机制实现操作系统安全核设计方法
基于可信硬件与虚拟机的微内核操作系统完整性保护方法
基于高速网络数据处理平台的入侵检测方法和系统
一种基于通信网络的电子发票的生成和交互使用方法
一种基于NP和BS的千兆NIDS并行处理的方法
展开全部
数据信息来源于网络，若有侵权请联系客服