Needham-Schroeder私钥协议的改进 被引量：4

1

作者 缪祥华 何大可 《计算机工程》 EI CAS CSCD 北大核心 2006年第17期32-34,共3页

研究了Needham-Schroeder私钥协议,指出了该协议存在的缺陷和漏洞,并给出了一种攻击该协议方法。虽然Needham和Schroeder对原始的协议进行了修改,但修改后的协议仍然存在缺陷。还有其他一些学者也对该协议进行了修改,但是仍然不令人满... 研究了Needham-Schroeder私钥协议,指出了该协议存在的缺陷和漏洞,并给出了一种攻击该协议方法。虽然Needham和Schroeder对原始的协议进行了修改,但修改后的协议仍然存在缺陷。还有其他一些学者也对该协议进行了修改,但是仍然不令人满意。针对原始协议存在的缺陷和漏洞,该文进行了相应的修改,并用BAN逻辑来分析了修改后的协议,说明修改后的协议能够达到协议的目标。 展开更多

关键词 协议分析 BAN逻辑 Needham-schroeder私钥协议

在线阅读 下载PDF 职称材料

Needham-Schroeder协议的认证测试方法形式化分析 被引量：1

2

作者 李廷元 秦志光 +1 位作者 刘晓东 张选芳 《计算机工程与应用》 CSCD 北大核心 2010年第19期100-102,共3页

在安全协议的形式化分析方法中,串空间模型和基于串空间模型的认证测试方法是比较常用的验证方法。针对Need-ham-Schroeder协议存在中间人攻击的缺陷,提出对协议的改进并采用认证测试方法,验证了改进的协议可以满足协议的安全目标。

关键词 安全协议 形式化分析 串空间模型 认证测试方法 Needham-schroeder协议

在线阅读 下载PDF 职称材料

Needham Schroeder协议的安全缺陷与改进

3

作者 石曙东 李之棠 《计算机工程与应用》 CSCD 北大核心 2004年第1期136-137,189,共3页

随着网络的发展协议的安全性越来越受到人们的关注,现在国际上的热点集中在对安全协议的形式化验证方面。通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷的结论并提出改进方案。

关键词 安全协议 BAN逻辑 Needham—schroeder协议

在线阅读 下载PDF 职称材料

Needham-Schroeder协议分析及改进的方案

4

作者 邓永江 《铜陵学院学报》 2006年第3期86-87,共2页

Needham-Schroeder协议是使用KDC实现认证的经典协议,主要功能是完成身份的双向认证,文章对该协议进行分析,指出其不足,并对原有协议进行改进,使之具有更强的安全性和机密性。

关键词 KDC Needham—schroeder协议 密钥交换

在线阅读 下载PDF 职称材料

基于事件逻辑的改进Needham-Schroeder协议安全性证明 被引量：4

5

作者 刘欣倩 肖美华 +2 位作者 程道雷 梅映天 李伟 《计算机工程与科学》 CSCD 北大核心 2015年第10期1850-1855,共6页

安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名... 安全协议是现代网络安全的基础,密码协议的安全性证明是一个挑战性的问题。事件逻辑是一种描述分布式系统中状态迁移的形式化方法,用于刻画安全协议的形式化描述,是定理证明的基础。用事件序语言、事件类和一个表示随机数、密钥、签名和密文的原子类,给出身份认证协议可以被形式化定义和强认证性证明理论。利用该理论对增加时间戳的Needham-Schroeder协议安全性进行证明,证明改进的Needham-Schroeder协议是安全的。此理论适用于类似复杂协议形式化分析与验证。 展开更多

关键词 事件逻辑 改进的Needham-schroeder协议 形式化方法 强认证性理论

在线阅读 下载PDF 职称材料

过渡过程对管道主动降噪控制系统性能影响的研究

6

作者 段龙毅 周静雷 《自动化应用》 2025年第3期39-43,共5页

在有源噪声控制系统中,过渡过程会对管道主动降噪控制产生较大影响,特别是在次级通路的估计中,次级通路估计的准确性将直接影响降噪性能。长管道中的过渡时间较长,系统需消除其不利影响。为此,建立管道有源降噪的物理模型,通过施罗德积... 在有源噪声控制系统中,过渡过程会对管道主动降噪控制产生较大影响,特别是在次级通路的估计中,次级通路估计的准确性将直接影响降噪性能。长管道中的过渡时间较长,系统需消除其不利影响。为此,建立管道有源降噪的物理模型,通过施罗德积分计算冲击响应的过渡时间,分析了过渡时间与次级通路估计的关系,并通过实验验证了结果,确定了过渡过程时间与降噪性能之间的关系。为保证降噪性能的最优,需合理设定测量次级通路的延迟时间,以保障次级通路估计的准确性。 展开更多

关键词 有源噪声控制 过渡过程 施罗德积分

在线阅读 下载PDF 职称材料

亚军最上镜奖NO.07Schroeder Conshica Angelica “我一直都很希望赢得这场比赛”

7

作者 尹英希 本刊记者 +7 位作者 卢北峰 孙正懿 刘占坤 张风 连中华 姜东 赵霄熠 徐乐中 《现代青年》 2016年第10期19-19,共1页

现代青年：获得这个成绩,现在心情怎么样？Schroeder Conshida Angelica：太开心,感觉太不可思议了。现代青年：之前有想过这个结果吗？Schroeder Conshida Angelica：实际上我真的感到非常意外,虽然我一直都很希望赢得这场比赛,能从中... 现代青年：获得这个成绩,现在心情怎么样？Schroeder Conshida Angelica：太开心,感觉太不可思议了。现代青年：之前有想过这个结果吗？Schroeder Conshida Angelica：实际上我真的感到非常意外,虽然我一直都很希望赢得这场比赛,能从中获得荣耀。现在获得亚军,我感到特别惊喜。现代青年：现在你最想感谢的人是谁？Schroeder Conshida Angelica：现在我只想对每个人说声谢谢,大赛组织的非常好,非常感谢。现代青年：你是专业学模特表演的还是？Schroeder Conshida Angelica：不是,我现在还是一个商学院的学生,我在学习商务学。 展开更多

关键词 schroeder ANGELICA 现代青年 人说

原文传递

Schroeder带你看卢森堡皇室深爱的珠宝

8

作者 董乃萌 《芭莎珠宝》 2016年第3期117-117,共1页

5月3日,卢森堡皇室家族来到上海,参加卢森堡皇室珠宝家族Schroeder落户中国的周年庆活动,BAZAAR Jewelry也受邀出席,感受到了现场的美妙气氛。 卢森堡大公储Guillaume王子殿下、卢森堡大公储王妃殿下Stephanie偕卢森堡经济与外贸部首相... 5月3日,卢森堡皇室家族来到上海,参加卢森堡皇室珠宝家族Schroeder落户中国的周年庆活动,BAZAAR Jewelry也受邀出席,感受到了现场的美妙气氛。 卢森堡大公储Guillaume王子殿下、卢森堡大公储王妃殿下Stephanie偕卢森堡经济与外贸部首相Etienne Schneider访华,庆祝卢森堡大公国驻上海总领事馆、卢森堡贸易及投资上海办事处成立10周年。 展开更多

关键词 schroeder 卢森堡大公国 公储 总领事馆 SCHNEIDER 外贸部 珠宝品牌 品牌经理 皇室成员 荷兰国

原文传递

基于认证测试的通用安全协议设计方法 被引量：4

9

作者 李谢华 李建华 杨树堂 《上海交通大学学报》 EI CAS CSCD 北大核心 2006年第3期524-527,共4页

以认证测试方法为基础,提出了一种通用的安全协议形式化设计方法,使用该方法对Needham-Schroeder(NS)公钥协议进行了重新设计.最后通过认证测试方法证明了重新设计的NS协议能够满足安全协议的保密性、身份认证和数据认证的要求,并且有... 以认证测试方法为基础,提出了一种通用的安全协议形式化设计方法,使用该方法对Needham-Schroeder(NS)公钥协议进行了重新设计.最后通过认证测试方法证明了重新设计的NS协议能够满足安全协议的保密性、身份认证和数据认证的要求,并且有效避免了原NS协议存在的中间人攻击问题. 展开更多

关键词 安全协议 认证测试 Needham-schroeder公钥协议

在线阅读 下载PDF 职称材料

一种安全协议的逻辑分析与改进 被引量：2

10

作者 石曙东 李芝棠 《华中科技大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第7期4-6,共3页

采用BAN逻辑对著名的Needham Schroeder(NS)协议建立理想化协议模型 ,利用协议的初始假设和BAN逻辑的公设分析NS协议的安全性 .分析结果表明 ,该协议只有增加初试假设 ,即用户B获得的会话密钥是新的会话密钥的前提下才能达到认证的目标 。

关键词 安全协议 BAN逻辑 Needham-schroeder协议

在线阅读 下载PDF 职称材料

密码协议的SMV分析:实例研究 被引量：1

11

作者 张玉清 朱宏儒 肖国镇 《计算机工程》 CAS CSCD 北大核心 1999年第S1期156-158,共3页

SMV是分析有限状态系统的一种工具。提出了使用SMV来分析密码协议的方法。为了说明这种方法的可村住，用SMV分析了Needham－Schroeder公钥协议。并成功地找到了对此协议的著名攻击．

关键词 模型检测 Needham-schroeder公钥密码协议 SMV

在线阅读 下载PDF 职称材料

安全协议的测试与证明 被引量：1

12

作者 乔海燕 《计算机工程与应用》 CSCD 北大核心 2009年第4期26-29,共4页

提出通过测试来证明安全协议的方法。以NS和NSL协议为例,首先将协议形式化为事件序列,协议的性质可以表示为序列上的性质。协议的完整运行可以系统地生成,因此,协议的性质可以系统地测试。形式化和测试在函数程序设计语言Haskell中完成。

关键词 测试 Needham-schroeder-Lowe协议 函数程序设计

在线阅读 下载PDF 职称材料

加密模式与密码协议的安全性

13

作者 王滨 张少武 马智 《计算机工程与应用》 CSCD 北大核心 2006年第5期125-126,130,共3页

密码协议的设计和安全性分析是困难的,在密码协议中总是以所使用的密码算法是安全的为前提,但是人们却忽略了密码算法的加密模式对密码协议安全性的影响。论文针对一个改进的Needham-Schroeder协议,假设其使用了分组密码的CBC加密模式,... 密码协议的设计和安全性分析是困难的,在密码协议中总是以所使用的密码算法是安全的为前提,但是人们却忽略了密码算法的加密模式对密码协议安全性的影响。论文针对一个改进的Needham-Schroeder协议,假设其使用了分组密码的CBC加密模式,我们通过使用一条旧信息的明密文对来修改当前会话中的信息,从而成功地欺骗用户双方,并分别与他们建立了一个会话密钥,对该协议进行了成功的攻击。结果说明密码算法的加密模式对密码协议的安全性有着巨大的影响。 展开更多

关键词 密码协议 CBC模式 Needham—schroeder认证协议

在线阅读 下载PDF 职称材料

基于矢量网络分析仪的混波室测量可重复性研究

14

作者 何鹏 蒋全兴 +1 位作者 周香 赵才军 《测控技术》 CSCD 2008年第12期77-79,共3页

实验验证了混波室内场的统计特性,给出了基于矢量网络分析仪的测量混波室可重复性的试验方法与配置。用矢量网络分析仪的方法对不同的发射天线方向进行了测试与比较。设计并制造了Schroeder散射体,测试了加入散射体前后混波室测量可重复... 实验验证了混波室内场的统计特性,给出了基于矢量网络分析仪的测量混波室可重复性的试验方法与配置。用矢量网络分析仪的方法对不同的发射天线方向进行了测试与比较。设计并制造了Schroeder散射体,测试了加入散射体前后混波室测量可重复性,测试结果表明Schroeder散射体对混波室测量可重复性有一定的改善。 展开更多

关键词 混波室 可重复性 schroeder散射体

在线阅读 下载PDF 职称材料

用于室内环境说话人识别的混响补偿方法

15

作者 曾向阳 王强 《西北工业大学学报》 EI CAS CSCD 北大核心 2015年第3期420-425,共6页

针对训练和识别环境不同而导致室内说话人识别系统识别率显著下降的问题,提出了一种基于差异化特征提取的混响补偿方法。与使用传统MFCC特征的识别阶段不同,该方法在训练阶段通过Schroeder反向积分在mel频带获得房间声能量衰减曲线,并... 针对训练和识别环境不同而导致室内说话人识别系统识别率显著下降的问题,提出了一种基于差异化特征提取的混响补偿方法。与使用传统MFCC特征的识别阶段不同,该方法在训练阶段通过Schroeder反向积分在mel频带获得房间声能量衰减曲线,并使用该曲线补偿纯净信号的MFCC特征,以模拟实际室内混响场声信号特征;同时,通过联合应用相对谱滤波(RASTA)与倒谱均值规整(CMN)处理MFCC特征,进一步抑制房间通道效应对语音信号影响。针对不同混响程度房间中实测数据的识别结果表明,该方法可以显著提高识别率,具有良好的抑制混响作用。 展开更多

关键词 协方差矩阵 能量衰减 实验 特征提取 识别控制系统 集成 混响 原理图 稳定性 测试 倒谱均值规整 混响补偿方法下MFCC特征识别 MFCC特征提取 相对谱滤波 混响补偿方法 混响模型 房间脉冲响应 schroeder反向积分 说话人识别

在线阅读 下载PDF 职称材料

几种数字混响器模型的比较与分析 被引量：4

16

作者 周婧洁 陈建平 吉晓东 《南通大学学报（自然科学版）》 CAS 2010年第2期23-28,共6页

给出几种数字混响器模型,从简单的梳状滤波器混响模型到较复杂的Moorer混响模型,对各种模型的原理、结构和参数进行了分析和研究,运用Matlab软件进行了仿真实现,根据系统的脉冲响应和频率特性,讨论和比较了各种模型的优缺点.研究和仿真... 给出几种数字混响器模型,从简单的梳状滤波器混响模型到较复杂的Moorer混响模型,对各种模型的原理、结构和参数进行了分析和研究,运用Matlab软件进行了仿真实现,根据系统的脉冲响应和频率特性,讨论和比较了各种模型的优缺点.研究和仿真结果表明:全通滤波器混响模型能够实现一定质量的人工混响效果,同时结构相对简单;Moorer模型则具有最好的声音自然度,但结构和参数设计较为复杂. 展开更多

关键词 数字混响器 梳状滤波器 全通滤波器 schroeder模型 Moorer模型

在线阅读 下载PDF 职称材料

复合低温热敏变色储能材料的研制 被引量：10

17

作者 吴智磊 马晓光 李青 《纺织学报》 EI CAS CSCD 北大核心 2011年第10期10-15,共6页

分别以结晶紫内酯为发色体,以双酚A为显色剂,以具有储能作用的高级脂肪醇(CR-2)为溶剂,制备出低温热敏变色储能材料。通过实验对比发色体、显色剂及溶剂不同比例时储能材料的热敏变色性能,确定出发色体、显色体、溶剂的最佳搭配比例。... 分别以结晶紫内酯为发色体,以双酚A为显色剂,以具有储能作用的高级脂肪醇(CR-2)为溶剂,制备出低温热敏变色储能材料。通过实验对比发色体、显色剂及溶剂不同比例时储能材料的热敏变色性能,确定出发色体、显色体、溶剂的最佳搭配比例。依据施罗德理论对二元储能材料(CR-2、CR-3)进行复合,并按同样比例取代CR-2作为变色材料的介质,从而拓宽了可逆低温热敏变色材料变色温度的范围。结果表明:发色体、显色剂与溶剂的最佳质量比为1∶2.5∶40;通过DSC分析可知,复合后的变色材料同时也是一种优良的储能材料。 展开更多

关键词 复合 低温热敏变色 储能 施罗德理论

在线阅读 下载PDF 职称材料

广义斯奈尔定律与声超表面 被引量：8

18

作者 朱一凡 梁彬 程建春 《应用声学》 CSCD 北大核心 2018年第1期53-62,共10页

给出了广义斯奈尔定律的相关理论推导,并总结回顾了之前的几种设计,包括声人工结构表面和几种声超表面的案例。首先,以人工结构表面为例,以解析推导为主,结合数值模拟和实验结果,证明了人工窄井结构的异常反射现象。随后,我们回顾了声... 给出了广义斯奈尔定律的相关理论推导,并总结回顾了之前的几种设计,包括声人工结构表面和几种声超表面的案例。首先,以人工结构表面为例,以解析推导为主,结合数值模拟和实验结果,证明了人工窄井结构的异常反射现象。随后,我们回顾了声超表面的设计方法,包括折叠空间式和亥姆赫兹腔式两种典型的结构化设计。最后,我们重点回顾了一种厚度仅为1/20波长的声超表面,用于设计超薄声扩散体,称为声超表面施罗德扩散体。传统的施罗德扩散体是40年前提出的建筑声学领域的经典设计,而我们提出的声超表面施罗德扩散体在中心频率具有同样优质的漫反射效果。另外,通过混合不同目标频率的超表面单元,可以设计宽带的超薄施罗德扩散体,其带宽接近于商业化的施罗德扩散体,这个例子充分展示了声超表面在实际场合的应用潜能。 展开更多

关键词 广义斯奈尔定律 声超表面 波阵面操控 施罗德扩散体

在线阅读 下载PDF 职称材料

NS协议的形式化分析与改进 被引量：1

19

作者 李之棠 石曙东 解云峰 《计算机工程与科学》 CSCD 2004年第2期1-3,共3页

随着网络的发展,协议的安全性越来越受到关注,现在国际上的热点集中在对安全协议的形式化验证和分析方面。本文通过使用BAN逻辑证明Needham-Schroeder协议的安全性,得出其存在的缺陷并提出改进方案。

关键词 网络安全 Needham-Schmeder协议 数据加密 数字签名 数据传输

在线阅读 下载PDF 职称材料

基于源镜像法的混响滤波器的设计与性能研究

20

作者 童颖 顾亚平 +1 位作者 杨小平 张俊 《网络新媒体技术》 2015年第1期24-27,共4页

为模拟不同环境下的混响效果,改善音频音质,本文设计了一种基于ARC600可配置处理器的数字混响系统。为设计一种房间参数可调的混响器,本文结合室内几何声学的特性,采用源镜像法得到前期混响的滤波器参数,采用改进的Schroeder模型模拟后... 为模拟不同环境下的混响效果,改善音频音质,本文设计了一种基于ARC600可配置处理器的数字混响系统。为设计一种房间参数可调的混响器,本文结合室内几何声学的特性,采用源镜像法得到前期混响的滤波器参数,采用改进的Schroeder模型模拟后期混响的特性,其中低通滤波器用来模拟空气对高频的吸收作用。用MATLAB软件对该系统进行仿真,仿真结果表明此混响算法能逼真的模拟厅堂的自然混响特性。最后依据ARC600内存结构对算法进行优化,运算速度提高了40%以上,增强了该系统在DSP平台上运行的实时性。 展开更多

关键词 数字混响系统 源镜像法 schroeder模型 ARC600

在线阅读 下载PDF 职称材料