您的位置: 专家智库 > >

郭华

作品数:62 被引量:436H指数:6
供职机构:北京航空航天大学更多>>
发文基金:国家自然科学基金国家教育部博士点基金中央高校基本科研业务费专项资金更多>>
相关领域:自动化与计算机技术医药卫生电子电信理学更多>>

文献类型

  • 24篇专利
  • 22篇期刊文章
  • 7篇会议论文
  • 6篇学位论文
  • 2篇科技成果

领域

  • 35篇自动化与计算...
  • 4篇电子电信
  • 3篇医药卫生
  • 2篇理学
  • 1篇生物学
  • 1篇机械工程
  • 1篇文化科学
  • 1篇文学

主题

  • 8篇用户
  • 8篇指令集
  • 8篇云制造
  • 6篇电子商务
  • 6篇电子商务协议
  • 6篇商务
  • 6篇UPPAAL
  • 5篇网络
  • 5篇协商协议
  • 5篇密钥协商
  • 5篇密钥协商协议
  • 5篇反序
  • 4篇异或
  • 4篇异或运算
  • 4篇切片
  • 4篇加密
  • 3篇单指令多数据
  • 3篇云计算
  • 3篇软件实现
  • 3篇切片技术

机构

  • 51篇北京航空航天...
  • 13篇郑州大学
  • 8篇解放军信息工...
  • 4篇中国科学院
  • 2篇北京理工大学
  • 2篇邢台学院
  • 1篇国防科学技术...
  • 1篇河南经贸职业...
  • 1篇聊城大学
  • 1篇北京卫星信息...
  • 1篇华北水利水电...

作者

  • 61篇郭华
  • 15篇李舟军
  • 12篇陈晨
  • 9篇刘建伟
  • 9篇陶飞
  • 9篇张霖
  • 8篇张习勇
  • 7篇王闯
  • 6篇庄雷
  • 4篇张帆
  • 4篇罗永亮
  • 4篇任磊
  • 3篇徐畅
  • 3篇周恩光
  • 3篇张江霄
  • 2篇高莹
  • 2篇冯春辉
  • 2篇吴爽
  • 2篇高剑波
  • 2篇周志刚

传媒

  • 3篇计算机科学
  • 2篇计算机集成制...
  • 2篇电子学报
  • 2篇清华大学学报...
  • 2篇密码学报
  • 2篇第五届信息安...
  • 1篇电子与信息学...
  • 1篇数学学报(中...
  • 1篇计算机研究与...
  • 1篇计算机工程与...
  • 1篇计算机工程与...
  • 1篇工程数学学报
  • 1篇微计算机信息
  • 1篇北京邮电大学...
  • 1篇计算机教育
  • 1篇中国科技论文
  • 1篇网络空间安全...
  • 1篇2003年全...
  • 1篇2010全国...
  • 1篇第五届中国信...

年份

  • 1篇2024
  • 5篇2023
  • 5篇2022
  • 3篇2021
  • 4篇2020
  • 3篇2019
  • 1篇2016
  • 2篇2015
  • 5篇2014
  • 4篇2013
  • 5篇2012
  • 2篇2011
  • 5篇2010
  • 1篇2009
  • 3篇2008
  • 3篇2007
  • 4篇2006
  • 1篇2005
  • 1篇2004
  • 1篇2003
62 条 记 录,以下是 1-10
排序方式:
基于模型检测的多轮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.最后,在标准模型下给出系统的安全证明,该系统具有不可伪造性、最优匿名性、不可重复花费性和不可诬陷性.
张江霄李舟军高延武冯春辉郭华
共7页<1234567>
聚类工具0