-
郭华
-

-

- 所属机构:北京航空航天大学
- 所在地区:北京市
- 研究方向:自动化与计算机技术
- 发文基金:国家自然科学基金
相关作者
- 李舟军

- 作品数:266被引量:1,862H指数:22
- 供职机构:北京航空航天大学计算机学院
- 研究主题:安全协议 数据挖掘 信息检索 网络安全 形式化验证
- 陈晨

- 作品数:39被引量:6H指数:1
- 供职机构:北京航空航天大学
- 研究主题:指令集 切片 单指令多数据 口令 明文
- 张霖

- 作品数:244被引量:1,753H指数:19
- 供职机构:北京航空航天大学
- 研究主题:云制造 建模仿真 资源服务 存储介质 仿真模型
- 刘建伟

- 作品数:498被引量:711H指数:12
- 供职机构:北京航空航天大学
- 研究主题:身份 网络 拜占庭容错 哈希函数 量子网络
- 陶飞

- 作品数:364被引量:3,612H指数:27
- 供职机构:北京航空航天大学
- 研究主题:孪生 云制造 资源服务 模型构建 异构
- 基于模型检测的多轮FR协议验证被引量:1
- 2008年
- 随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素。本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质。重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件。
- 郭华庄雷张习勇李舟军
- 关键词:电子商务协议时间自动机UPPAAL
- 一种面向工业APP开发的群智化任务分配平台
- 本发明通过人工智能领域的方法,实现了一种面向工业APP开发的群智化任务分配平台。系统包括用于注册开发者的注册单元、用于用户发布开发任务的发布单元、开发者推荐模型和开发任务推荐模型;所述发布单元由用户发布开发任务,所述开发...
- 孙海龙郭华齐斌航
- 制造云构建关键技术研究被引量:152
- 2010年
- 阐述了云制造系统中"制造云"的构建过程,并对制造云构建过程中所涉及的主要关键技术做了较深入的探讨。给出了制造云及制造云服务的相关说明,对云制造模式下的资源进行了详细分类。在此基础上,围绕分散资源的感知、虚拟接入、服务化和云服务部署等关键问题展开了研究,并提出了制造能力元描述模型,为最终实现高效、智能的云制造系统提供了支持。结合产品全生命周期设计、仿真阶段任务需求,依据所提构建方法与关键技术,初步开发了一个面向设计仿真的云服务平台原型。
- 张霖罗永亮陶飞任磊郭华
- 关键词:云制造云服务制造资源云计算物联网
- 基于双线性对和密钥循环的计算可靠性分析
- 近年来,对安全协议符号方法的计算可靠性分析是一个研究热点.本文对一类使用双线性对和对称加密原语构造的安全协议进行分析,给出其符号模型及相应计算解释,并证明符号分析的计算可靠性,即:在BDDH假设下,当对称加密机制满足多项...
- 张帆李舟军郭华
- 关键词:计算机技术数据安全可靠性分析
- 文献传递
- 胃肠道间质瘤的螺旋CT诊断
- 本文作者搜集35例经手术或内窥镜病理证实并有较完整螺旋CT检查资料的胃肠道间质瘤病例资料,探讨GISTS的螺旋CT表现特征及价值.
- 高剑波陈蓓嫣杨学华郭华陈学军周志刚岳松伟
- 关键词:胃肠道间质瘤螺旋CT诊断影像学特征
- 文献传递
- 一种基于寄存器优化的SM4快速软件实现方法
- 本发明公开了一种基于寄存器优化的SM4快速软件实现方法,该方法包括:基于比特切片方法和AVX2(Advanced Vector Extension 2)指令集,对64组明文数据并行加解密,在明文数据编排中,引入了数据打包...
- 郭华陈晨 刘源灏 龚子睿 张习勇
- 航空装备可靠性维修性保障性决策支持系统研究
- 可靠性、维修性、保障性(RMS)是提高航空装备综合作战效能的有力武器.该文结合中国航空装备的RMS管理现状,根据装备系统工程理论,对航空装备寿命周期中的RMS工作进行了全面的分析和研究,确定了寿命周期中通用且重要的RMS...
- 郭华
- 关键词:可靠性维修性保障性决策支持系统航空装备
- 文献传递
- 基于模型检测的不可靠环境下电子商务协议分析被引量:1
- 2007年
- 随着网络的大规模应用,电子商务协议的运行环境越来越不可靠。本文用模型检测的方法分析了不可靠环境下电子商务协议的安全性质。结果表明:安全的电子商务协议在不可靠环境下运行时有可能不再保持安全性质。当安全性质违背时,借助由自动验证工具UPPAAL生成的消息序列查找原因并对协议进行修改。经验证,修改后的协议在不可靠的环境下保持安全性质。
- 马怀磊郭华庄雷
- 关键词:电子商务协议原子性UPPAAL
- 一种基于频率和熵的口令策略生成框架
- 2023年
- 文本口令具有实现简单、可部署性强的优点,是当前最主要的身份认证技术之一,口令安全至关重要,合理的口令生成策略有助于提升口令安全。文章针对已有基于频率的口令策略生成器HTPG中因为仅使用频率作为口令分类标准,从而只反映了口令的流行性的问题,设计了基于频率和熵的口令策略生成器框架(FEPG),创新性地引入熵作为口令复杂性的衡量标准,通过Zipf分布和正态分布构建了基于频率和熵的口令四分类方法,并使用口令强度评价工具zxcvbn验证了四分类的有效性。FEPG通过比较弱口令与低频高熵口令的差异,提供了一套修改策略,并在模拟用户修改口令行为后,使用概率上下文无关语法(PCFG,probabilisticcontext-freegrammar)进行测试,结果表明,经过FEPG强化的口令比经过HTPG强化的口令被成功猜测的比例下降了69.30%,验证了FEPG的有效性。
- 朱浩郭华郭华刘伟伟
- 一种允许群组用户身份撤销的云存储数据安全审计方法
- 本发明公开了一种允许群组用户身份撤销的云存储数据安全审计方法,分为如下六个步骤,(1)生成密钥(KeyGen),(2)计算重签名密钥(ReKey);(3)生成签名(Sign),(4)生成重签名(ReSign);(5)生成...
- 郭华李舟军
- 文献传递