搜索结果: 1-15 共查到“信息与通信工程 验证”相关记录48条 . 查询时间(0.55 秒)
中国科学院软件所在区块链跨链协议验证方面取得进展（图）
网络协议 分析
2023/11/13
2023年11月13日，中国科学院软件研究所计算机科学国家重点实验室的科研人员，撰写的题为Formal Analysis of IBC Protocol的研究论文，被网络协议方面的重要国际会议ICNP 2023接收（the 31st IEEE International Conference on Network Protocols）。该研究首次形式化分析了区块链跨链通讯协议IBC（Inter-B...
2023年1月15日11时14分45秒，山东产业技术研究院齐鲁二号、三号卫星在太原发射成功。中科院空天信息创新研究院（中国科学院空天信息创新研究院）将牵头组织开展齐鲁一号（2021年4月27日发射）、齐鲁二号、三号卫星在轨星间激光通信组网、在轨智能处理与协同应用服务等天基资源网络化服务体系的关键技术在轨验证，为我国未来构建网络化、智能化的天基信息服务体系奠定技术基础。
中国科学技术大学成功验证构建天地一体化量子通信网络的可行性（图）
成功验证 天地一体化 量子通信网络 可行性
2021/1/7
北京时间2021年1月7日凌晨，中国科学技术大学潘建伟及其同事陈宇翱、彭承志等与中国科学院上海技术物理研究所王建宇研究组、济南量子技术研究院及中国有线电视网络有限公司合作，在国际学术期刊Nature杂志上发表了题为“跨越4600公里的天地一体化量子通信网络”（An integrated space-to-ground quantum communication network over 4,600...
西安邮电大学通信与信息工程学院2018年国家自然科学基金——云电子医疗系统中可验证外包计算的多权威属性基加密技术研究项目
西安邮电大学通信与信息工程学院 2018年 国家自然科学基金 云电子 医疗系统 加密技术 研究 项目
2018/10/11
西安邮电大学通信与信息工程学院2018年国家自然科学基金——云电子医疗系统中可验证外包计算的多权威属性基加密技术研究项目。
无证书强指定验证者多重签名
无证书公钥密码学 指定验证者多重签名 不可伪造性 双线性对
2016/7/4
为了满足在司法行政、电子政务等领域的应用需求，提出了无证书强指定验证者多重签名的概念和敌手模型，利用双线性对构造了第一个无证书强指定验证者多重签名方案，在计算双线性Diffie-Hellman问题和计算Diffie-Hellman问题假设下证明了该方案是存在性不可伪造的，而且该方案满足强指定验证者签名和多重签名应具备的性质。方案执行效率高，生成的指定验证者多重签名长度仅为160 bit，签名验证时...
强不可伪造的基于身份服务器辅助验证签名方案
基于身份服务器辅助验证签名 强不可伪造性 合谋攻击 标准模型
2016/7/4
标准模型下的基于身份签名方案大多数是存在性不可伪造的，无法阻止攻击者对已经签名过的消息重新伪造一个合法的签名，并且验证签名需要执行耗时的双线性对运算。为了克服已有基于身份签名方案的安全性依赖强和计算代价大等缺陷，提出了一个强不可伪造的基于身份服务器辅助验证签名方案，并在标准模型下证明了新方案在合谋攻击、自适应选择身份和消息攻击下是安全的。分析结果表明，新方案有效减少了双线性对的计算量，大大降低了签...
中国科学家提出并验证有望缓解通信“黑障”新方法
黑障 飞船 通信
2016/4/14
西安电子科技大学空间科学与技术学院教授李小平带领的研究团队，日前提出一种与重返大气层的飞船保持连续通信的新方法，并且在地面原理性实验中得到验证。这一通信方式有望缓解通信“黑障”问题，而且也可被用在其他10马赫以上超音速飞行器上，例如未来的空天飞机。尤其是这种新通信方法无须携带附加设施，且具备工程应用潜力 。
基于QA-NIZK证明系统的高效简短可验证洗牌方案
简短可验证洗牌 可变性 电子投
2015/9/25
电子投票中为保护投票者的隐私，要由一系列混合服务器对选票进行洗牌操作，为保证洗牌操作的诚实
性，需要可验证洗牌方案。现有简短可验证洗牌方案的证明大小要依赖于混合服务器的数量和投票者的数量，效
率较低。基于近来的一个高效的QA-NIZK证明系统构建了一个高效的简短可验证洗牌方案，不管有多少混合器
和投票者其证明大小都是O(1)，即常量大小。具有其独立的意义是在构建中指出原QA-NIZK证明系统...
基于人在环的指控系统验证信息采集系统研究
指控系统 人在环 验证 信息采集
2015/3/11
针对指控系统验证过程中因信息采集难而导致试验分析难于量化的问题，在对基于人在环指控系统验证试验过程产生的数据进行分析、抽象基础上，提出了基于外挂的信息采集方法，具体描述了采集系统的体系结构、支撑技术和实现方法；开发出一种不干扰原系统正常运行的试验信息自动采集系统，为指控系统验证定量分析提供了重要支撑；系统测试表明：所研究的信息采集系统达到预期目的。
国家863计划“超深探地雷达系统及其产业化”主题项目完成外场试验验证（图）
863计划 雷达系统
2014/12/31
十室承担的国家863计划“超深探地雷达系统及其产业化”主题项目于2014年12月11日~20日在内蒙古自治区银肯塔拉沙漠、巨金山矿区和小井子磁铁矿区完成了探测性能外场试验验证。
2014年11月28日，国家自然科学基金委重点项目群“工程系统建模与验证的新理论和新方法”研讨会在我校召开。本次会议面向我国制造、航空航天和国防等行业的快速发展所带来的工程系统复杂性和不确定性日益增长问题，围绕工程系统控制、故障诊断与监控以及运行指标综合优化所涉及的建模与验证问题，研讨如何建立新的系统建模理论、方法和软硬件实现技术。会议由国家自然科学基金委员会信息科学部主办、华东理工大学化工过程控...
选择密文安全的可验证Mix-Net协议
混合网络 秘密混洗证明 选择密文安全 电子选举
2014/10/14
提出了一种在选择密文攻击下可证明安全的可验证Mix-Net协议。在Wikstr?m Mix-Net方案基础上,引入了新的密钥生成算法和秘密混洗零知识证明构造方法,提高了安全性。在不暴露输入密文与输出明文匹配关系的条件下,任何人都可以根据Mix服务器公布的证据验证输出结果的正确性,即满足可公开验证性;任意发送者还可以追踪和检验自己输入的密文的处理过程,即满足发送者可验证性。基于随机预言机假设证明了该...
SKA中国验证天线组装成功完成（图）
SKA 中国验证天线组装
2014/9/17
2014年8月17日，由SKA天线国际工作包联盟中方成员，中国电子科技集团公司第54研究所自主研制的SKA中国验证天线（DVAC）吊装成功完成。这标志着SKA天线关键技术之一——大尺度单块反射面设计与制造技术取得重大突破。DVAC为赋形双偏置格里高利型式，采用碳纤维复合材料整体成型和表面金属化技术，是中方设计和制造的首个此类型宽频带天线。其主反射面长18米、宽15米，是目前国际上最大尺度的单块反射...
由于无线传感器网络节点的无人值守性，攻击者很容易捕获并复制节点，利用节点的安全证书把复制节点发布到无线传感器网络的各个角落，进而秘密发动各种攻击。文中提出一类新的分布式节点复制攻击检测协议，协议采用随机区域单元映射和域内随机线选验证相结合的方法进行攻击检测。仿真结果显示，协议的随机验证特性使网络能量消耗均匀，延长网络的生存周期。域内线选验证使协议的通信开销和储存开销较低并具有较高的检测率。