何凡
- 作品数：15 被引量：43H指数：4
- 供职机构：武汉理工大学更多>>
- 发文基金：国家自然科学基金国家高技术研究发展计划教育部重点实验室开放基金更多>>
- 相关领域：自动化与计算机技术建筑科学理学更多>>
- CMM与软件工程融合的应用被引量：6
- 2005年
- 首先阐述了软件能力成熟度模型(CMM)的起因和发展,然后介绍了CMM的理论基础和核心思想,以及融合技术的意义。最后着重结合实例探讨了CMM与软件工程融合的应用,并指出了软件产业的发展趋势。
- 何凡陶强黄伟
- 关键词：软件能力成熟度模型软件工程软件过程能力软件过程改进
- 基于模型检测的可信软件栈测试
- 基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品...
- 何凡张焕国严飞杨飏汪红孟学军
- 关键词：可信计算平台可信软件栈计算树逻辑
- 文献传递
- 基于通用准则的可信计算支撑软件设计方法
- 2018年
- 现有的可信计算支撑软件的规范只定义了软件的功能接口,对其要达到的安全功能需求没有明确的描述,这使得可信计算支撑软件的分析和设计没有明确的安全目标.针对这一问题,结合通用准则CC的思想,提出一种可信计算支撑软件的设计方法,通过分析可信计算支撑软件的安全功能需求,并按照功能类、功能族和组件的层次对其安全功能进行了划分,确定功能组件间的依赖关系,完成了可信计算支撑软件原型的设计,能实现密码支持和完整性保护等安全目标.实验结果表明,该软件支持TPM2.0的接口调用,并能够对中国密码算法SM4提供调用支持.
- 何凡冷静
- 关键词：可信计算平台可信平台模块
- 一种关注前景信息的图像超分辨率重建方法
- 本发明公开了一种关注前景信息的图像超分辨率重建方法，通过PAM模块提取图像的前景信息和高频特征，使用门控网络提取通道域注意力和空间域注意力权重系数，配合非均匀联合损失在反向传播过程中动态修改二者权重。进一步提出PAMNe...
- 何凡彭丽薇邓靖凛吴家俊程艳芬李辰皓
- 可信计算支撑软件测试方法的研究
- 2009年
- 当前可信计算(TC)技术正在蓬勃发展,可信计算平台(TCP)的应用日益广泛,可信计算支撑软件(TCSS)为TCP中的可信平台模块(TPM)提供支持。为了确实保障TCSS的产品质量,需要依照可信计算的规范对其进行测试。提出了一种对TCSS的测试方法,参照信息技术安全评估通用准则(CC)对TCSS的安全功能进行了划分,给出了TCSS测试的模型,并描述了测试原型系统的具体实现,对一个具体的TCSS产品进行了测试。
- 何凡张焕国
- 关键词：可信计算
- 基于群件技术的OA系统和电子签章系统集成的研究
- 随着信息技术的飞速发展,尤其是计算机技术、网络通讯技术、安全技术以及自动化技术的日新月异,为办公自动化系统的发展提供了广阔的空间.我国信息化建设进程的加快,无论是政府还是企业,为了提高办事效率,加快信息的传输速度,都需要...
- 何凡
- 关键词：办公自动化群件电子签章
- 文献传递
- 一种喷嘴及应用该喷嘴的灭火消烟装置
- 本实用新型公开了一种喷嘴及应用该喷嘴的灭火消烟装置，灭火消烟装置包括供水装置和喷嘴，喷嘴包括连接管和旋转喷头，连接管的一端连接旋转喷头，另一端用于连接供水装置，旋转喷头能够相对连接管旋转；旋转喷头的内部设置有空腔，空腔连...
- 王志飞何凡黄晟贤胡少华
- 文献传递
- 可信计算平台测评理论与关键技术研究被引量：14
- 2010年
- 可信计算已经成为国际信息安全领域的新热潮,可信计算平台产品开始走向应用.对于信息安全产品,不经过测评用户是无法放心应用的.本文围绕可信计算平台的测评问题,从建立适合测试的可信计算平台形式化模型入手,建立了一种基于SPA的信任链数学模型,并给出了其复合特性的分析验证方法,通过分析发现远程证明过程存在对可信系统发生安全性危害的潜在因素.针对可信软件栈,研究了其测试用例自动化生成问题,提出一种改进的随机测试用例生产方法,提高了测试用例的质量.最后给出了一种可信计算平台测试原型系统及相关实际测试数据.测试结果表明,该方法发现了现有TCG可信计算平台在设计体系上存在着一些缺陷,同时也发现了若干现有可信计算平台产品存在的缺陷,为可信计算平台技术及产品的改进和发展提供了依据.
- 张焕国严飞傅建明徐明迪杨飏何凡詹静
- 关键词：信息安全可信计算可信计算平台
- 基于模型检测的可信软件栈测试被引量：1
- 2010年
- 基于模型检测理论,提出了一种可信软件栈的测试方法,使用计算树逻辑对可信软件栈的函数调用进行抽象描述,通过验证可信软件栈函数的接口和函数调用是否符合规范,从而确定平台中可信软件栈的正确性.测试结果表明,一些可信计算平台产品中的软件栈不完全符合可信计算组织(TCG)的规范要求.
- 何凡张焕国严飞杨飏汪红孟学军
- 关键词：可信计算平台可信软件栈计算树逻辑
- 基于Lotus Domino/Notes和J2EE的系统集成的实现
- 2005年
- 介绍了Lotus D om ino/N otes和J2EE,论述了Lotus D om ino/N otes和J2EE集成应用的理论依据,着重讨论了OA系统和M IS的系统集成的方法,最后描述了一个信息系统包括办公自动化模块和检验业务管理模块的功能结构,并结合系统的一个模块分析了系统集成的实现.
- 何凡薛胜军
- 关键词：LOTUSDOMINO/NOTESJ2EE系统集成MVC
