检索结果-南通市图书馆

CMQV+:An authenticated key exchange protocol from CMQV

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

Science china(information sciences) 2012年第7期55卷 1666-1674页

作者： li hui 1,2 & wu chuankun 1 1 state key laboratory of information security,institute of software,chinese academy of sciences,beijing 100190,china 2 Graduate University of chinese academy of sciences,beijing 100049,china state key laboratory of information security Institute of Software Chinese Academy of Sciences Beijing China Graduate University of chinese academy of sciences Beijing China

Ustaoglu presents a secure and efficient key exchange protocol named CMQV,based on the design rationales of HMQV and *** with the latter two protocols,on one hand,CMQV achieves high performance of HMQV,and on the other,it is proven secure in eCK model as NAXOS ***,CMQV enjoys the security proof under gap Diffie-Hellman assumption as indicated by its *** this paper,we propose a variant of CMQV,called CMQV+,which is proven secure under a weaker assumption (*** Diffie-Hellman assumption) in eCK model with random oracles while maintaining the high-performance feature of CMQV as much as possible.

关键词： key exchange eCK model trapdoor-test technique provable security CDH assumption

^(178)Hf同核异能态激发与退激路径研究

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

原子核物理评论 2024年第1期41卷 256-262页

作者：贺子阳吴晓光蒋伟李聪博周振翔孙琪郭明伟吴鸿毅李智焕樊瑞睿唐靖宇李天晓胡守扬智宇宋金兴李沛玉栾广源张奇玮王朝辉陈雄军胡世鹏钟健甘林张智程张苏雅拉吐王德鑫孙保华庞萱郑云李笑梅阮锡超华辉中国原子能科学研究院北京102413 中国科学院高能物理研究所北京100049 散裂中子源科学中心广东东莞523803 北京大学物理学院北京100871 深圳大学物理与光电工程学院广东深圳518060 内蒙古民族大学物理与电子信息学院内蒙古通辽028000 北京航空航天大学物理学院北京100191

具有长寿命高激发态的同核异能素在国家战略安全和储能领域有重要的意义,其关键技术在于掌握人工诱发同核异能素快速退激到基态。近些年该项技术研究遇到了瓶颈,需从原子核结构研究的角度出发,通过对同核异能素的形成、受激激发和退激... 详细信息

具有长寿命高激发态的同核异能素在国家战略安全和储能领域有重要的意义,其关键技术在于掌握人工诱发同核异能素快速退激到基态。近些年该项技术研究遇到了瓶颈,需从原子核结构研究的角度出发,通过对同核异能素的形成、受激激发和退激机制的深入研究,突破遇到的瓶颈,进而掌握诱发同核异能素快速退激到基态的关键技术。本工作是在实验技术方面利用白光中子束流轰击Hf靶,创新性地建立了由氟化钡探测器阵列GTAF-Ⅱ进行全能量测量与高纯锗探测器进行特征γ射线测量,再结合白光中子飞行时间测量组成的三重符合测量系统,通过对实验数据的分析发现了^(178)Hf同核异能态激发到过渡能级并快速释放的迹象。

关键词： ^(178)Hf同核异能素诱发衰变核能释放多探头多参数伽马谱符合测量装置

维普期刊数据库

系统保护中跨区直流频率调制与紧急功率支援的协调控制

在线全文

学校读者我要写书评

暂无评论

电力系统自动化 2020年第22期44卷 31-36页

作者：李兆伟方勇杰黄慧吴雪莲朱玲郄朝辉刘福锁李威华北电力大学电气与电子工程学院北京市102206 南瑞集团有限公司(国网电力科学研究院有限公司) 江苏省南京市211106 智能电网保护和运行控制国家重点实验室江苏省南京市211106

为了保障中国特高压交直流混联电网的安全稳定运行,国家电网有限公司积极开展电网系统保护的构建,以提升电网的综合安全防控能力。但随着跨区直流作为灵活控制资源在系统保护中的应用,必须考虑直流功率快速变化会同时对送受端电网造成... 详细信息

为了保障中国特高压交直流混联电网的安全稳定运行,国家电网有限公司积极开展电网系统保护的构建,以提升电网的综合安全防控能力。但随着跨区直流作为灵活控制资源在系统保护中的应用,必须考虑直流功率快速变化会同时对送受端电网造成影响。在梳理中国电网系统保护建设的基础上,系统分析了基于频率响应的直流频率调制对大区电网系统保护的影响,进而从保障电网安全稳定运行和提高跨区控制资源利用效率的角度,提出了综合电网就地和远方信息的直流频率调制与紧急功率支援的协调控制方案,实现大区电网系统保护间的协调动作。最后,基于实际电网仿真算例验证了所提控制方案的有效性。

关键词：系统保护直流频率调制直流紧急功率支援协调控制频率安全

维普期刊数据库

在线全文

学校读者我要写书评

暂无评论

可信系统性质的分类和形式化研究综述

软件学报 2022年第7期33卷 2367-2410页

作者：王淑灵詹博华盛欢欢吴昊易士程王令泰金翔宇薛白李静辉向霜晴向展毛碧飞计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学北京100049 华为技术有限公司可信理论研究室广东深圳518129

计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开... 详细信息

计算机系统被应用于各种重要领域,这些系统的失效可能会带来重大灾难.不同应用领域的系统对于可信性具有不同的要求,如何建立高质量的可信计算机系统,是这些领域共同面临的巨大挑战.近年来,具有严格数学基础的形式化方法已经被公认为开发高可靠软硬件系统的有效方法.目标是对形式化方法在不同系统的应用进行不同维度的分类,以更好地支撑可信软硬件系统的设计.首先从系统的特征出发,考虑6种系统特征:顺序系统、反应式系统、并发与通信系统、实时系统、概率随机系统以及混成系统.同时,这些系统又运行在众多应用场景,分别具有各自的需求.考虑4种应用场景:硬件系统、通信协议、信息流以及人工智能系统.对于以上的每个类别,介绍和总结其形式建模、性质描述以及验证方法与工具.这将允许形式化方法的使用者对不同的系统和应用场景,能够更准确地选择恰当的建模、验证技术与工具,帮助设计人员开发更加可靠的系统.

关键词：可信系统形式化方法性质分类验证方法和工具

维普期刊数据库