郝耀辉

作品数：18被引量：35H指数：3
导出分析报告
供职机构：解放军信息工程大学更多>>
发文主题：密码协议入侵检测容忍入侵入侵检测方法形式化验证更多>>
发文领域：自动化与计算机技术电子电信文化科学理学更多>>
发文期刊：《高技术通讯》《信息工程大学学报》《系统仿真学报》《计算机工程与设计》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划河南省科技创新杰出青年基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于网络科学理论的“星链”卫星网络模型构建与分析
《信息工程大学学报》2024年第6期639-645,共7页张德语 郝耀辉 李崇辉 杨原 
国家社会科学基金(21BXW057)。
为研究激光通信终端(LCT)有效距离及星间链路(ISL)对“星链”卫星网络属性的影响,针对“星链”系统中各卫星节点及节点间关系,依据网络科学理论、轨道学和LCT性能,设定8类LCT有效距离与3种ISL规则,构建“星链”卫星网络模型。通过对比...
关键词：星链 网络科学 星间链路 模型构建 有效距离 
基于二分网络的分布式;服务组合系统建模研究
《系统仿真学报》2018年第1期1-7,17,共8页郝耀辉 韩继红 郭虹 刘树新 
国家自然科学基金(61202362;61472447);全军军事类博士研究生资助课题(2014JY171)
分布式服务组合系统在军事、通信等领域被广泛地应用,为深入理解系统的特性,基于二分网络模型的结构形式对其进行了建模研究,使用平均场理论分析了负载均衡和随机选择两种连边方式下,服务节点度分布与终端节点满足Poisson分布的期望值...
关键词：二分网络 分布式服务组合 平均场理论 负载均衡 
UMLsec自动分析验证工具的研究与设计
《计算机应用与软件》2014年第8期32-37,共6页王飞 李波 郭渊博 郝耀辉 
河南省科技创新杰出青年计划项目(104100510025)
在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架,研究设计了自动分析验证<>的验证插件。利用该验证插件分析验证了一个加密协议实例,从...
关键词：UMLsec 安全关键系统 支持工具 
面向用例安全关键系统开发方法研究被引量：1
《计算机应用与软件》2013年第8期134-138,共5页王飞 郭渊博 郝耀辉 李波 
河南省科技创新杰出青年计划项目(104100510025)
面向用例模型的安全性分析方法是从系统需求文档中提取用例模型,给出其安全性分析规范,并将用例模型集成为合成使用模型。利用umlsec构造型描述安全性,并实现相应的安全性验证工具进行验证,从而避免后期考虑安全性的风险与成本,提高了...
关键词：安全性 用例模型 umlsec 
基于Hoare逻辑的密码软件形式化验证系统被引量：2
《计算机工程》2012年第3期121-123,共3页郝耀辉 郭渊博 罗婷 燕菊维 
国家"863"计划基金资助项目"基于规范的容忍入侵中间件关键技术与平台"(2007AA01Z405);河南省科技创新杰出青年计划基金资助项目(104100510025)
在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实现为例,对其功能正确性、保险性和信息流安全性进行验证,结果表...
关键词：HOARE逻辑 密码软件 形式化验证 程序规范 RC4算法 
基于ACSL的密码软件形式化验证方法
《信息安全与通信保密》2011年第7期76-78,81,共4页罗婷 郭渊博 郝耀辉 
在分析通用软件形式化验证方法的基础上,这里设计提出了一种专门针对密码软件安全性的形式化验证方法。该方法采用ACSL(ANSI/ISO C Specification Language)语言对密码软件的安全性进行形式化描述,并采用自动证明与辅助证明相结合的方法...
关键词：ACSL 码软件 安全性 定理证明 形式化验证 
基于.NET平台的SYN Flood攻击测试的实现被引量：6
《计算机工程与设计》2011年第6期1918-1921,共4页夏春涛 杜学绘 郝耀辉 王婷 
国家863高技术研究发展计划基金项目(2009AA01Z438)
为解决SYN Flood攻击测试问题,基于.NET平台设计实现了一个SYNFlood攻击测试软件。分析了TCP协议建立连接的三次握手过程,探讨了SYNFlood攻击的原理。在分析TCP/IP报文格式的基础上,采用C#语言定义了报文首部结构,给出了计算校验和的方...
关键词：NET平台 SYN洪流 IP欺骗 原始套接字 攻击测试 
基于USB加密锁的软件防盗版方法被引量：4
《计算机工程》2010年第23期119-120,123,共3页郝耀辉 刘洪波 郑礼 葛长涛 
国家"863"计划基金资助项目"基于规范的容忍入侵中间件关键技术与平台"(2007AA01Z405)
为解决现有软件防盗版方法易于破解和使用不便的问题,设计实现一种基于USB加密锁的软件防盗版新方法。该方法先在USB加密锁内写入一个用户密钥,在软件第一次启用时将USB加密锁内的唯一性密钥和用户密钥同时写入计算机注册表中,在软件运...
关键词：USB加密锁 防盗版 密钥 
操作系统课程的启发式教学研究与探讨被引量：11
《计算机教育》2010年第8期87-90,共4页李景峰 刘伟 郝耀辉 周会娟 
本文针对操作系统课程传统课堂教学方式存在的缺陷,通过分析启发式教学特点,指出在操作系统课程运用启发式教学模式的重要意义;并以请求分页存储器系统为例,详细说明启发式教学在操作系统课程中的实施方法;最后探讨了启发式教学对教师...
关键词：操作系统 启发式 虚拟存储器 请求分页存储器 
基于SOA和BPEL构建销售管理系统被引量：2
《计算机应用与软件》2010年第6期53-56,共4页刘洪波 张俭鸽 郭渊博 郝耀辉 
863计划项目(2007AAD1E405)
针对目前大多数汽车制造企业对业务流程敏捷化的需求,分析了面向服务架构SOA和业务流程执行语言BPEL的特点,提出了基于SOA和BPEL构建销售管理系统,将系统中的核心模块订单处理业务功能按基本服务、合成服务、组合服务进行了设计与实现,...
关键词：销售管理系统 SOA BPEL 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部