搜索筛选:
搜索耗时3.0534秒,为你在为你在102,285,761篇论文里面共找到 29 篇相符的论文内容
发布年度:
[学位论文] 作者：郝耀辉,,
来源：解放军信息工程大学 年份：2017
近十几年来,以Barabasi、Holme为代表的研究人员,采用随机或蓄意攻击策略,对多种模型网络和真实网络的结构脆弱性进行了深入的分析和研究,取得了许多有建设性的成果。在这些...
[期刊论文] 作者：郝耀辉,
来源：中学生作文指导 年份：2019
小学体育课是小学教育中非常关键的 部分,小学生因为年龄小,本身注意力非常容易分散, 这对教师来说是一种挑战,小学体育课的实际开展 中,教师要积极开展素质拓展训练,促进学...
[期刊论文] 作者：郝耀辉,
来源：中国现代教育装备 年份：2007
本文介绍了Authorware通过0DBC访问数据库的基本方法，讲解了习题课件的制作过程，扩展了huthorware的应用范围。...
[期刊论文] 作者：郝耀辉,
来源：沿海经贸 年份：2002
《消费者权益保护法》第四十九条规定，经营者提供商品或者服务有欺诈行为的，应当按照消费者的要求增加赔偿其受到的损失、增加赔偿的金额为消费者购买商品的价款或者接受服务的费用的一倍。这就是所谓消法“双倍赔偿”的直接法律依据。根据这一规定，消费者要求双倍......
[期刊论文] 作者：郝耀辉,
来源：饮食保健 年份：2018
目的 探讨前列腺素E1联合血必净对糖尿病肾病患者氧化应激水平的影响.方法 90例糖尿病肾病患者分别给予前列腺素E1、血必净和联合治疗,比较三组治疗总有效率及对患者氧化应激...
[期刊论文] 作者：郝耀辉,
来源：饮食保健 年份：2018
目的 观察高通量血液透析对尿毒症患者微炎状态和高磷血症的改善作用.方法 60例持续性血液透析尿毒症患者随机分为观察组和治疗组,分别进行高通量血液透析和常规低通量血液透...
[期刊论文] 作者：郝耀辉,郭渊博,刘伟,,
来源：网络安全技术与应用 年份：2008
本文提出了一种安全协议入侵检测方法,能动态监视安全协议运行,实时检测协议上的攻击。文中详细介绍了该方法的工作原理,并通过检验IKE协议上的MIM攻击,验证此方法可行。...
[期刊论文] 作者：郝耀辉,郭渊博,卢昱,,
来源：高技术通讯 年份：2009
针对密码协议在实际运行中遭受攻击的问题，设计了自适应容忍入侵的密码协议安全运行防护系统。该防护系统主要由入侵检测模块和容忍入侵模块组成。入侵检测模块采用基于特征和......
[期刊论文] 作者：罗婷,郭渊博,郝耀辉,,
来源：信息安全与通信保密 年份：2011
在分析通用软件形式化验证方法的基础上,这里设计提出了一种专门针对密码软件安全性的形式化验证方法。该方法采用ACSL(ANSI/ISO C Specification Language)语言对密码软件的安全性进行形式化描述,并采用自动证明与辅助证明相结合的方法,能够对软件的实现是否满......
[期刊论文] 作者：郝耀辉,李安娜,郭渊博,刘伟,,
来源：通信技术 年份：2008
在密码协议的实际运行中,为保护密码协议安全运行,针对密码协议上攻击产生的原因,文中设计了两种能容忍入侵的密码协议自适应调整策略:算法自适应调整策略和参数自适应调整策...
[期刊论文] 作者：王飞, 郭渊博, 郝耀辉, 李波,,
来源：计算机应用与软件 年份：2013
面向用例模型的安全性分析方法是从系统需求文档中提取用例模型,给出其安全性分析规范,并将用例模型集成为合成使用模型。利用umlsec构造型描述安全性,并实现相应的安全性验...
[期刊论文] 作者：李景峰,刘伟,郝耀辉,周会娟,
来源：计算机教育 年份：2010
本文针对操作系统课程传统课堂教学方式存在的缺陷,通过分析启发式教学特点,指出在操作系统课程运用启发式教学模式的重要意义;并以请求分页存储器系统为例,详细说明启发式教...
[期刊论文] 作者：王飞,李波,郭渊博,郝耀辉,,
来源：计算机应用与软件 年份：2014
在基于UMLsec模型开发的安全关键系统中,为了验证UMLsec模型描述的安全需求是否满足,提出一种支持自动分析验证UMLsec模型工具框架,研究设计了自动分析验证的验证插件。利用该验证插件分析验证了一个加密协议实例,从而说明了该工具能自动分析验证UMLsec模型描述......
[期刊论文] 作者：王飞,郭渊博,李波,郝耀辉,,
来源：计算机应用 年份：2013
针对自然语言描述的安全苛求软件需求规格中安全特性不准确、不一致等问题,提出一种基于UMLsec安全特性验证方法。该方法在UML需求模型类图和顺序图的基础上,为核心类的安全特性自定义构造型、标记和约束,完成UMLsec模型构建;之后,使用设计实现的UMLsec支持工具......
[期刊论文] 作者：郝耀辉,郭渊博,刘伟,李景锋,,
来源：微计算机信息 年份：2008
本文结合特征入侵检测和异常入侵检测技术,提出了一种在密码协议运行中,能动态监视安全协议运行,实时检测其上攻击的方法,详细介绍了该方法的工作原理,并通过实例验证了此方...
[期刊论文] 作者：郝耀辉,郭渊博,刘伟,李景锋,,
来源：计算机应用研究 年份：2008
提出了一种在密码协议运行中,基于有限自动机原理检测其上攻击的方法,详细介绍了该方法的工作原理,并通过实例验证了此方法的可行性,最后给出了该检测方法原型系统的测试结果。......
[期刊论文] 作者：寇红召,郝耀辉,郭渊博,刘伟,,
来源：通信技术 年份：2008
文中设计实现了一种在密码执行过程中,检测密码协议上攻击的入侵检测模型,给出了该模型的组成结构,并依据实例,详细介绍了该模型进行入侵检测的原理,及实现入侵检测的方法和...
[会议论文] 作者：罗婷,郭渊博,郝耀辉,李虎,
来源：第四届中国计算机网络与信息安全学术会议(CCNIS2011) 年份：2011
“代码重构”后的程序，可能因为重构编码过程中引入了一些错误而无法正确实现原程序功能，所以需要对其正确性进行验证。但是目前直接证明程序正确性仍难以实现，提出将程序正确性证明转化为程序等价性证明的观点，并提出采用基于合成方法的定理证明技术证明程序等价。......
[期刊论文] 作者：郝耀辉,刘洪波,郑礼,葛长涛,
来源：计算机工程 年份：2010
为解决现有软件防盗版方法易于破解和使用不便的问题,设计实现一种基于USB加密锁的软件防盗版新方法。该方法先在USB加密锁内写入一个用户密钥,在软件第一次启用时将USB加密...
[期刊论文] 作者：郝耀辉,郭渊博,罗婷,燕菊维,
来源：计算机工程 年份：2012
在Hoare逻辑理论和ACSL语法规范的基础上,设计一种针对密码软件的形式化验证系统,由程序规范、验证推理规则、可靠性策略、验证推理等模块组成。以OpenSSL中RC4算法的软件实...
相关搜索：
