郭华
- 作品数：62 被引量：427H指数：6
- 供职机构：北京航空航天大学更多>>
- 发文基金：国家自然科学基金国家教育部博士点基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术医药卫生电子电信理学更多>>
- 基于模型检测的多轮FR协议验证被引量：1
- 2008年
- 随着网络的大规模应用,越来越多的协议在并发环境中执行,时间也成为协议中一个重要因素。本文对公平交换协议Franklin/Reiter协议加入了时间因素,用时间自动机对其建模,并用自动验证工具UPPAAL验证了单轮协议的性质。重点验证了并发环境中多轮协议的执行情况,最后给出了协议在多轮情况下正常执行需满足的条件。
- 郭华庄雷张习勇李舟军
- 关键词：电子商务协议时间自动机UPPAAL
- 一种面向工业APP开发的群智化任务分配平台
- 本发明通过人工智能领域的方法，实现了一种面向工业APP开发的群智化任务分配平台。系统包括用于注册开发者的注册单元、用于用户发布开发任务的发布单元、开发者推荐模型和开发任务推荐模型；所述发布单元由用户发布开发任务，所述开发...
- 孙海龙郭华齐斌航
- 制造云构建关键技术研究被引量：152
- 2010年
- 阐述了云制造系统中"制造云"的构建过程,并对制造云构建过程中所涉及的主要关键技术做了较深入的探讨。给出了制造云及制造云服务的相关说明,对云制造模式下的资源进行了详细分类。在此基础上,围绕分散资源的感知、虚拟接入、服务化和云服务部署等关键问题展开了研究,并提出了制造能力元描述模型,为最终实现高效、智能的云制造系统提供了支持。结合产品全生命周期设计、仿真阶段任务需求,依据所提构建方法与关键技术,初步开发了一个面向设计仿真的云服务平台原型。
- 张霖罗永亮陶飞任磊郭华
- 关键词：云制造云服务制造资源云计算物联网
- 基于双线性对和密钥循环的计算可靠性分析
- 近年来,对安全协议符号方法的计算可靠性分析是一个研究热点.本文对一类使用双线性对和对称加密原语构造的安全协议进行分析,给出其符号模型及相应计算解释,并证明符号分析的计算可靠性,即:在BDDH假设下,当对称加密机制满足多项...
- 张帆李舟军郭华
- 关键词：计算机技术数据安全可靠性分析
- 文献传递
- 胃肠道间质瘤的螺旋CT诊断
- 本文作者搜集35例经手术或内窥镜病理证实并有较完整螺旋CT检查资料的胃肠道间质瘤病例资料,探讨GISTS的螺旋CT表现特征及价值.
- 高剑波陈蓓嫣杨学华郭华陈学军周志刚岳松伟
- 关键词：胃肠道间质瘤螺旋CT诊断影像学特征
- 文献传递
- 一种允许群组用户身份撤销的云存储数据安全审计方法
- 本发明公开了一种允许群组用户身份撤销的云存储数据安全审计方法，分为如下六个步骤，（1）生成密钥（KeyGen），（2）计算重签名密钥（ReKey）；（3）生成签名（Sign），（4）生成重签名（ReSign）；（5）生成...
- 郭华李舟军
- 文献传递
- 一种适用于多网关无线传感器网络的双因素认证密钥协商协议
- 本发明提出了一种适用于多网关无线传感器网络的双因素认证密钥协商协议。本发明分为5个阶段：初始化阶段、注册阶段、登录阶段、认证阶段、密钥更改阶段。在用户认证部分采用模糊验证和honeywords的方法，有效地抵抗基于被盗智...
- 郜雅郭华王如思陈晨
- 文献传递
- 某汽车生产管理系统的设计与实现
- 郭华
- 一种基于Android端的SM4快速软件实现方法及装置
- 本发明提供了一种基于Android端的SM4算法的快速软件实现方法，该方法包括：预处理待加密或解密的文件和密钥；将所述文件和密钥持久化至Android客户端的数据库并保存；所述Android客户端访问所述数据库，对所述待...
- 王闯郭华陈晨李浩民刘建伟
- 文献传递
- 基于花费链最优匿名的等长可传递电子现金系统被引量：5
- 2015年
- 针对现有的可传递电子现金系统在传递协议中电子现金长度和传递次数成正比的问题,利用Groth-Sahai证明系统和累加器原理,首次提出花费链构建法,并在标准模型下构建一个具有最优匿名性的传递协议中电子现金长度不变的可传递电子现金系统.基于花费链构建法,用户无需存储任何花费凭证;与现有系统相比,在传递协议中,用户传递电子现金的长度是常量;在安全性上,新系统具有最优匿名性,即全匿名性、完美匿名性1和完美匿名性2.最后,在标准模型下给出系统的安全证明,该系统具有不可伪造性、最优匿名性、不可重复花费性和不可诬陷性.
- 张江霄李舟军高延武冯春辉郭华
