面向异步网络的安全分布式随机数通用构造

随机数在密码学和区块链领域扮演着极其重要的角色，如密码学中的安全参数生成、共识机制中的委员会重配置以及电子投票的智能合约应用等.近年来针对不依赖可信第三方的分布式随机数生成技术的研究受到了越来越多的关注，其中基于秘密共享的方案数量最多，但普遍通信复杂度较高，而通信复杂度较低的一些方案通常牺牲了随机数的抗偏置性和不可预测性.另外，现有大多数方案基于同步网络模型，网络假设较强，与现实网络环境不符.本文主要研究基于秘密共享的分布式随机数生成技术，抽象出不同方案的共性并兼容特殊性，以及弱化网络假设和优化通信开销.具体贡献如下：(1)提出了交互的分布式随机数生成通用构造.满足伪随机性、唯一性和鲁棒性安全目标，并使用该通用构造对一个分布式随机数生成方案进行了分析，从而更加证明其通用性；(2)设计了面向异步网络的安全分布式随机数生成方案.将现有方案O(n³)和O(f²n²)的通信复杂度降为O(fn²)，将O(fn²)计算复杂度降为O(n²);(3)实现了分布式随机数仿真...     

关于硬件木马电路检测技术分析及发展趋势探讨

本文结合HTH电路的复杂性等特征分析与实际应用现状,研究了HTH电路的具体检测技术方法并对当前热点技术进行对比分析,探讨了HTH电路检测方法的技术发展趋势。     

大型环氧乙烷反应器获得国家科技进步一等奖

<正>中国石化参与研制的我国首台大直径超厚锻件管板环氧乙烷反应器,是我国百万吨乙烯最后一台国产化关键静设备。该反应器实现国产化,结束了我国大乙烯高端静设备长期依赖进口的历史,并在1月9日召开的国家科学技术奖励大会上荣获国家科技进步一等奖。据悉,大型环氧乙烷反应器是"极端条件下重要压力容器的设计、制造与维护"项目中的重要组成部分,由合肥通用机械研究院、南京化学工业公司、中石化洛阳工程公司、中国石化工程建设公司等单位共同完成。该项目取得四个方面的创新成果,特别是实现6     

全国冷冻空调设备标准化技术委员会(SAC/TC238)2014年度工作概要

<正>1标准发布工作2014年,全国冷冻空调设备标准化技术委员会(以下简称"冷标委")归口制定及修订的两项国标、8项行标(表1)已获批准发布。2标准报批工作冷标委于2013年三届四次会议审查通过了1项国标、10项行标,共计11项标准,目前已全部完成报批工作,待国标委、工信部批准发布(表2)。3标准立项工作冷标委的立项始终依据3方面原则:首先要符合国家政策和指导思想,具体体现为国家标准     

KT-DF100A型自动化系统中调谐系统的维护

本文对KT-DF100A型自动化系统中的调谐系统进行了分析,介绍了自动调谐系统所涉及的硬件设备和软件设置等方面的一些维护经验.     

江苏通用科技公司计划在泰国建轮胎厂

正日前,江苏通用科技股份有限公司发布公告,基于公司战略发展需要,随着国际宏观经济与政治环境发生重要变化,轮胎国际贸易壁垒进一步提升,为积极推进公司国际化进程,加快海外生产基地建设,把握泰国轮胎制造成熟产业链的优势资源和优惠政策,公司拟对海外投资项目进行调整,项目实施地由柬埔寨调整为泰国,实施主体调整为通用橡胶(泰国)有限公司。泰国子公司将由通用公司、天马国际(香港)贸易有限公司和无锡     

三星助四川广元网吧服务增值

随着互联网的全面普及发展以及日益激烈的市场竞争,网吧已不再局限于提供单一的上网服务,逐步向综合性休闲消费场所进化转变。位于四川广元的千里缘网吧,紧跟顾客消费需求变化,增添拓展了水吧餐饮等服务内容,并在硬件配备上加大投入力度,引进三星智能数字标牌电视、三星曲面显示器产品,打造明星化的店面宣传形象。体验、服务、环境的全方位革新提升,令千里缘成为当地网吧行业的明星代表,迎来全新的盈利增长。     

基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。