WAPI密钥管理协议的PCL证明 被引量：7

1

作者 铁满霞 李建东 王育民 《电子与信息学报》 EI CSCD 北大核心 2009年第2期444-447,共4页

该文利用协议合成逻辑(PCL),对WAPI密钥管理协议进行了模块化正确性证明。首先,分析了相对独立的单播密钥协商与组播密钥通告协议,在满足一定的工作环境下,证明其分别具有SSA与KS特性,且与协议的实体与会话个数无关:接着,根据顺序合成... 该文利用协议合成逻辑(PCL),对WAPI密钥管理协议进行了模块化正确性证明。首先,分析了相对独立的单播密钥协商与组播密钥通告协议,在满足一定的工作环境下,证明其分别具有SSA与KS特性,且与协议的实体与会话个数无关:接着,根据顺序合成规则与阶段合成定理,由于参与协议运行的实体避免了基于同一BK担当AE和ASUE两种角色,且每个子协议的运行都不干扰或不破坏其他子协议的环境条件,故WAPI密钥管理协议具有所需的安全属性,达到协议设计目标。 展开更多

关键词 无线局域网 无线局域网鉴别与保密基础结构 密钥管理协议 协议合成逻辑 安全性证明

下载PDF 职称材料

宽带无线IP系统移动终端的安全接入技术 被引量：3

2

作者 铁满霞 吴靖 +1 位作者 唐厚俭 李建东 《小型微型计算机系统》 CSCD 北大核心 2003年第12期2075-2078,共4页

针对目前宽带无线IP系统移动终端的接入现状 ,本文基于公钥密码机制 ,提出了一种宽带无线IP系统移动终端的安全接入技术 .该技术是无线通信技术、网络技术及密码技术相结合的产物 ,它不仅解决了目前无线IP系统中移动终端没有接入控制与... 针对目前宽带无线IP系统移动终端的接入现状 ,本文基于公钥密码机制 ,提出了一种宽带无线IP系统移动终端的安全接入技术 .该技术是无线通信技术、网络技术及密码技术相结合的产物 ,它不仅解决了目前无线IP系统中移动终端没有接入控制与非安全接入问题 ,而且完成了移动终端的接入控制 ,实现了其通信保密功能 .持有证书的移动终端既可以本地接入 ,也可以异地登录 ,从而保障了其通信漫游功能 .理论分析与实验结果均表明 ,该方案不仅切实可行 ,而且相比目前技术具有无可比拟的安全性 . 展开更多

关键词 宽带无线IP系统 安全接入 通信保密 移动终端 无线通信

下载PDF 职称材料

一种适用于IBSS网络的无线接入认证协议 被引量：2

3

作者 铁满霞 李建东 +1 位作者 张变玲 黄振海 《电子与信息学报》 EI CSCD 北大核心 2008年第1期6-9,共4页

针对目前无线局域网接入认证协议WAPI与RSNA在IBSS模式下运行复杂及密钥管理协议存在DoS攻击等问题,该文采用实体认证角色的自适应选择策略,对密钥管理协议进行改进,提出了一种安全性更强、执行效率更高的适用于IBSS网络的无线接入认证... 针对目前无线局域网接入认证协议WAPI与RSNA在IBSS模式下运行复杂及密钥管理协议存在DoS攻击等问题,该文采用实体认证角色的自适应选择策略,对密钥管理协议进行改进,提出了一种安全性更强、执行效率更高的适用于IBSS网络的无线接入认证协议,并利用CK模型对其进行了分析。分析结果表明:在密钥加密算法是CCA安全及密钥导出算法是伪随机的前提下,协议在UM下是SK-secure的。最后,以WAPI协议为例,给出新协议与原始协议的性能对比。 展开更多

关键词 无线局域网 IBSS 认证协议 Canetti-Krawczyk 模型 安全分析

下载PDF 职称材料

WAPI协议的可用性分析与改进 被引量：2

4

作者 铁满霞 李建东 王育民 《计算机科学》 CSCD 北大核心 2007年第10期84-87,102,共5页

本文分析WAPI安全关联建立过程存在的脆弱性。由于WAPI协议没有强调可用性,因此攻击者可通过来受保护的管理帧引入DoS攻击,本文对其造成的危害进行详细讨论,并给出合理的防御措施。为提高协议的健壮性与可用性,本文还讨论了协议失败的... 本文分析WAPI安全关联建立过程存在的脆弱性。由于WAPI协议没有强调可用性,因此攻击者可通过来受保护的管理帧引入DoS攻击,本文对其造成的危害进行详细讨论,并给出合理的防御措施。为提高协议的健壮性与可用性,本文还讨论了协议失败的恢复手段,提出了一种改进的WAPI协议实施方案,在尽可能不改变原有协议的框架和封装结构的前提下,最大程度降低或避免所讨论的DoS攻击。 展开更多

关键词 无线局域网 WAPI 安全性 可用性

下载PDF 职称材料

基于线性预测系数自适应前后向量化的可变速率MELP语音编码 被引量：3

5

作者 铁满霞 王都生 樊昌信 《电子与信息学报》 EI CSCD 北大核心 2001年第9期919-923,共5页

该文基于LPC的自适应前后向量化技术,提出了一种可变速率的混合激励线性预测MELP语音编码算法。该算法中,采用当前语音帧(前向LPC)或前面某帧已合成语音帧(后向LPC)进行线性预测,当采用后向LPC时,只需传输时间序列编码,故减少了LPC系数... 该文基于LPC的自适应前后向量化技术,提出了一种可变速率的混合激励线性预测MELP语音编码算法。该算法中,采用当前语音帧(前向LPC)或前面某帧已合成语音帧(后向LPC)进行线性预测,当采用后向LPC时,只需传输时间序列编码,故减少了LPC系数的平均编码比特。计算机模拟表明,该算法与标准MELP算法合成的语音质量相当,但显著减少了LPC的传输带宽,从而明显降低了MELP平均编码速率。 展开更多

关键词 混合激励线性预测编码 线性预测 自适应前后向量化 可变速率 语音编码

下载PDF 职称材料

网络安全体系结构研究 被引量：7

6

作者 铁满霞 谢延廷 《航空计算技术》 1999年第1期49-52,共4页

详细讨论了基于防火墙的Ｉｎｔｅｒｎｅｔ网络信息安全体系结构，并指出了防火墙自身的局限性以及未来安全体系结构的发展趋势。

关键词 网络 信息安全 安全体系结构 防火墙 互联网

下载PDF 职称材料

快速傅立叶变换的多机并行计算 被引量：9

7

作者 铁满霞 董运红 《航空计算技术》 2000年第3期5-7,共3页

快速傅立叶变换 (FFT)运算速度相比离散傅立叶变换 (DFT)提高了 1至 2个数量级 ,但当离散信号的有限序列太长时 ,FFT算法同样也无法满足实时系统的需要。本文提出一种基于共享存储的多处理机计算FFT的并行算法 ,并给出该算法的性能分析... 快速傅立叶变换 (FFT)运算速度相比离散傅立叶变换 (DFT)提高了 1至 2个数量级 ,但当离散信号的有限序列太长时 ,FFT算法同样也无法满足实时系统的需要。本文提出一种基于共享存储的多处理机计算FFT的并行算法 ,并给出该算法的性能分析。计算机仿真实验表明 ,该FFT并行算法有效、高速 ,适合于实时处理系统。 展开更多

关键词 快速傅立叶变换 并行算法 多处理机系统 FFT

下载PDF 职称材料

宽带无线IP系统体系结构研究 被引量：1

8

作者 铁满霞 段玲玲 《航空计算技术》 2002年第1期24-27,30,共5页

介绍了无线局域网的特点与标准 ,详细论述了无线局域网的拓扑结构及应用方式 ,设计了一种基于此的宽带无线IP网络体系结构的实现方案。

关键词 无线局域网 拓扑结构 体系结构 宽带无线IP技术

下载PDF 职称材料

一种实用的Ad hoc网络鉴别路由协议AARP

9

作者 铁满霞 李建东 王育民 《计算机科学》 CSCD 北大核心 2008年第8期42-45,共4页

针对Ad hoc网络的鉴别路由协议ARAN存在路由查找过程复杂、计算复杂度高、缺乏会话密钥协商等缺点,本文提出了一种简单实用的鉴别路由协议AARP。该协议避免采用公钥加密算法,简化了路由查找过程,降低了计算复杂度,利用节点对路由消息的... 针对Ad hoc网络的鉴别路由协议ARAN存在路由查找过程复杂、计算复杂度高、缺乏会话密钥协商等缺点,本文提出了一种简单实用的鉴别路由协议AARP。该协议避免采用公钥加密算法,简化了路由查找过程,降低了计算复杂度,利用节点对路由消息的签名,有效抵制了各种恶意攻击,同时利用DH交换,完成会话密钥协商。本文还通过CK模型分析了AARP协议的安全性,结果表明:若DDH假设成立、数字签名算法可抵抗选择消息攻击,则AARP协议在UM下是SK-secure的,且具有完善的前向保密性PFS、已知密钥安全KKS等属性。相比ARAN协议,AARP对于通常节点资源受限的A dhoc网络而言,更为实用。 展开更多

关键词 AD HOC 路由安全 公钥体制 ARAN AARP

下载PDF 职称材料

基于ARAN的按需安全路由协议

10

作者 铁满霞 李建东 黄振海 《计算机应用》 CSCD 北大核心 2007年第1期92-94,共3页

在鉴别路由协议ARAN的基础上,提出了一种改进型IARAN协议。该协议简化了路由查找过程及其协议分组定义,并结合民用应用特点,使路由查找更为简捷。IARAN相比ARAN路由性能好、计算复杂度低、存储需求量小,可更好地适用于不同领域。对于Ad ... 在鉴别路由协议ARAN的基础上,提出了一种改进型IARAN协议。该协议简化了路由查找过程及其协议分组定义,并结合民用应用特点,使路由查找更为简捷。IARAN相比ARAN路由性能好、计算复杂度低、存储需求量小,可更好地适用于不同领域。对于Ad hoc中通常资源受限的节点,IARAN更为实用。 展开更多

关键词 路由安全 公钥体制 AD hoe鉴别路由协议

下载PDF 职称材料

网络信息安全的加密技术

11

作者 铁满霞 谢延廷 《电子科技》 1999年第1期18-20,共3页

为保证网络的信息安全，本文研究了加密技术在Internet中的身份验证、电子邮件及数字签名等方面的应用以及密钥管理技术，充分阐述了加密技术对网络的信息安全是至关重要的。

关键词 计算机网络 网络安全 加密技术

下载PDF 职称材料

一种新型的光电跟踪微机控制机床

12

作者 铁满霞 《机床》 CSCD 1993年第7期29-31,共3页

关键词 光电跟踪 微机控制 机床

下载PDF 职称材料

一种实用的双向跟踪基音周期平滑算法 被引量：6

13

作者 王都生 铁满霞 樊昌信 《电子学报》 EI CAS CSCD 北大核心 1999年第10期108-110,共3页

本文运用动态规划技术，提出了一种实用的双向跟踪基音周期平滑算法．实验结果表明，在用多带激励时域自相关法估计基音周期时，结合该算法对基音周期进行双向跟踪平滑处理。

关键词 双向跟踪 基音跟踪 动态规划 语音信号处理

下载PDF 职称材料

光电跟踪微机控制机床系统中若干关键量算法的研究

14

作者 铁满霞 《机床电器》 1994年第3期22-26,共5页

本文是继本刊93年第1期“介绍一种新型的光电跟踪微机控制机床的工作原理”和93年第3期“新型光电跟踪微机控制机床的工作原理及其实现”两篇文章这后，在剖析系统控制软件程序的基础上．对光电跟踪过程中访形曲线的走向角θ、机床纵横... 本文是继本刊93年第1期“介绍一种新型的光电跟踪微机控制机床的工作原理”和93年第3期“新型光电跟踪微机控制机床的工作原理及其实现”两篇文章这后，在剖析系统控制软件程序的基础上．对光电跟踪过程中访形曲线的走向角θ、机床纵横向进刀速度Vx、Vy及探头纵横向线圈电流补偿量△Ix、△Iy等关键量算法作进一步研究的文章。至此，读者便会对从西德HeinrichZeidler公司引进的这套光电跟踪微机控制机床系统的工作原理，在硬软件上有一个全面的、透彻的、定性和定量的了解。 展开更多

关键词 光电跟踪 计算机控制 计算 机床

下载PDF 职称材料

机载FDDI高速数据通信系统 被引量：3

15

作者 王世奎 铁满霞 杨建茜 《航空学报》 EI CAS CSCD 北大核心 2002年第2期120-124,共5页

为了满足航空电子通信技术发展的需求 ,提出了基于 FDDI标准的机载高速光纤通信网络体系结构 ,论述了该通信系统的总体设计思想和硬软件实现方案 ,最后简述了机载

关键词 光纤通信 FDDI标准 航空电子 数据通信系统

下载PDF 职称材料

基于数学形态学的集成电路真实缺陷图像滤波 被引量：3

16

作者 王俊平 郝跃 铁满霞 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2001年第2期211-214,共4页

在集成电路真实缺陷检测中 ,缺陷图像的滤波程度直接影响到后续处理的结果 .通过对若干幅实际集成电路真实缺陷图像的分析 ,提出一种基于数学形态学的集成电路真实缺陷图像滤波方法 ,该方法不仅能滤除非冗余物缺陷 ,而且能滤除冗余物缺... 在集成电路真实缺陷检测中 ,缺陷图像的滤波程度直接影响到后续处理的结果 .通过对若干幅实际集成电路真实缺陷图像的分析 ,提出一种基于数学形态学的集成电路真实缺陷图像滤波方法 ,该方法不仅能滤除非冗余物缺陷 ,而且能滤除冗余物缺陷内部噪声 。 展开更多

关键词 缺陷图像 数字形态学 集成电路 图像滤波

下载PDF 职称材料

一种实时基音检测算法 被引量：3

17

作者 王都生 铁满霞 樊昌信 《电子学报》 EI CAS CSCD 北大核心 2000年第10期9-11,共3页

为了克服目前诸多基音周期检测算法迟延较大的缺点 ,本文提出了一种基音周期的实时检测算法 .实验结果表明 :该算法可在当前帧内实时提取精确的基音周期估计值 ,减少了传统的自相关基音检测算法因平滑处理而带来的编码迟延 .

关键词 基音检测 实时性 语音编码 算法

下载PDF 职称材料

2.4kbit/s多带混合激励线性预测语音编码器的模拟 被引量：3

18

作者 王都生 铁满霞 樊昌信 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2000年第4期476-479,共4页

基于LPC参数模型 ,引入了混合激励源、非周期脉冲、自适应谱增强、脉冲散布及傅氏幅度模型来进一步改善合成语音的质量 .计算机模拟及非正式的语音试听结果表明 ,新的多带混合激励线性预测语音编码器在 2 4kbit/s编码速率重建的语音质... 基于LPC参数模型 ,引入了混合激励源、非周期脉冲、自适应谱增强、脉冲散布及傅氏幅度模型来进一步改善合成语音的质量 .计算机模拟及非正式的语音试听结果表明 ,新的多带混合激励线性预测语音编码器在 2 4kbit/s编码速率重建的语音质量接近于 4 8kbit/sCELP算法的质量 . 展开更多

关键词 语音编码器 多带混合激励 线性预测

下载PDF 职称材料

用于Ad hoc网络的鉴别路由协议及性能分析 被引量：2

19

作者 李建东 黄振海 铁满霞 《计算机应用》 CSCD 北大核心 2005年第9期2066-2069,2077,共5页

剖析了多跳Ad hoc网络AODV与DSR路由协议的安全漏洞,并指出安全路由协议的设计需求。本文详细介绍了一种Ad hoc的鉴别路由协议ARAN,该协议采用公钥密码技术,利用节点对路由消息的签名,有效地抵制了各种恶意攻击,虽然在某种程度上增加了... 剖析了多跳Ad hoc网络AODV与DSR路由协议的安全漏洞,并指出安全路由协议的设计需求。本文详细介绍了一种Ad hoc的鉴别路由协议ARAN,该协议采用公钥密码技术,利用节点对路由消息的签名,有效地抵制了各种恶意攻击,虽然在某种程度上增加了计算复杂度,提高了节点存储量,但仍不失为一种有效的按需安全路由协议,可以满足无线多跳Ad hoc网络在各种应用领域对路由的安全需求。 展开更多

关键词 路由安全 公钥体制 AD hoc鉴别路由协议

下载PDF 职称材料

IC真实缺陷图像的分色 被引量：1

20

作者 王俊平 郝跃 +1 位作者 任春丽 铁满霞 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2000年第5期668-672,共5页

在彩色IC缺陷图像的检测与识别系统中 ,通常采用分色技术来降低图像识别的难度 .该文利用 3种方法 (HSV彩色模型、HLS彩色模型及明度信息 )对IC缺陷图像进行了分色处理 ,并对其结果做了主客观评价 。

关键词 真实缺陷图像 分色 彩色模型 集成电路 图像识别

下载PDF 职称材料