检索结果-内蒙古大学图书馆

第四届中国计算机网络与信息安全学术会议(CCNIS2011)

作者：郭显冯涛袁占亭兰州理工大学计算机与通信学院甘肃兰州 730050 兰州理工大学计算机与通信学院甘肃兰州 730050 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安 710071

分析了网络编码系统DCAR“编码+路由”发现过程存在的安全问题，提出了适用于编码感知安全路由协议的安全目标，设计了基于网络编码系统DCAR的编码感知安全路由协议DCASR，DCASR 协议利用密码学机制保证可信路由建立和正确编码机会发现... 详细信息

分析了网络编码系统DCAR“编码+路由”发现过程存在的安全问题，提出了适用于编码感知安全路由协议的安全目标，设计了基于网络编码系统DCAR的编码感知安全路由协议DCASR，DCASR 协议利用密码学机制保证可信路由建立和正确编码机会发现。为建模多跳无线网络特征和分析路由协议安全性，引入线程位置和线程位置相邻概念，扩展安全系统逻辑LS2，提出了分析路由协议安全性的逻辑LS2-RP。LS2-RP 用线程邻居集及邻居集的变化描述多跳无线网络的动态拓扑关系，用广播规则模型化多跳无线网络广播通信特征。最后，用LS2-RP 协议编程语言描述了DCASR 协议，用LS2-RP的谓词公式和模态公式描述DCASR 协议的安全属性，用LS2-RP逻辑证明系统分析了DCASR 协议的安全性，证明DCASR 协议能够满足安全目标。

关键词：多跳无线网络安全路由协议网络编码

来源：评论

学校读者我要写书评

暂无评论

基于IBC策略驱动的组播内容分发方案

引用

系统工程与电子技术 2010年第12期32卷 2707-2710页

作者：苏锐丹丁振国周利华西安电子科技大学教育部计算机网络与信息安全重点实验室陕西西安710071

针对内容分发应用中的组播加密方案和多接收者加密方案所存在的动态组密钥管理复杂、计算和通信代价高等问题,分析了内容分发系统的典型安全需求,采用基于身份密码学提出了一种新的面向群组的安全内容分发系统模型与方案,经安全性与性... 详细信息

针对内容分发应用中的组播加密方案和多接收者加密方案所存在的动态组密钥管理复杂、计算和通信代价高等问题,分析了内容分发系统的典型安全需求,采用基于身份密码学提出了一种新的面向群组的安全内容分发系统模型与方案,经安全性与性能分析表明,方案满足接收方访问控制、发送方鉴别与防抵赖、策略加密等安全要求。将发送方的计算和通信代价降为O(1),同时具有密钥管理简单、组密钥更新开销小和易于实现等特点,能方便地应用于商业的组播内容分发系统。

关键词：内容分发组播基于身份密码学组密钥管理策略驱动

来源：评论

学校读者我要写书评

暂无评论

利用信任模型构建安全路由协议

引用

北京邮电大学学报 2010年第3期33卷 48-51页

作者：余旺科马文平严亚俊杨元原西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

为在没有固定基站或中心节点的移动Ad Hoc网络中实现身份认证机制,提出了一种无需任何信任第3方认证服务器的动态信任模型.在该模型中,邻居节点间通过相互认证来建立路由信息.利用该动态信任模型组建了一个可信任的Ad Hoc网络.分析结果... 详细信息

为在没有固定基站或中心节点的移动Ad Hoc网络中实现身份认证机制,提出了一种无需任何信任第3方认证服务器的动态信任模型.在该模型中,邻居节点间通过相互认证来建立路由信息.利用该动态信任模型组建了一个可信任的Ad Hoc网络.分析结果表明,本协议增强了网络安全性,提高了路由建立效率.

关键词： Ad Hoc网络安全动态信任模型路由协议认证

来源：评论

学校读者我要写书评

暂无评论

对比特搜索生成器的猜测确定攻击

引用

电子与信息学报 2010年第12期32卷 2925-2929页

作者：贾艳艳胡予濮高军涛西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

针对具有低重量反馈多项式的比特搜索生成器(BSG),利用猜测确定攻击的思想提出了一种快速密钥恢复攻击。该算法基于BSG序列的差分构造特点,首先由截获的密钥流恢复出候选差分序列,然后用反馈多项式对候选差分序列进行校验,以此减少需要... 详细信息

针对具有低重量反馈多项式的比特搜索生成器(BSG),利用猜测确定攻击的思想提出了一种快速密钥恢复攻击。该算法基于BSG序列的差分构造特点,首先由截获的密钥流恢复出候选差分序列,然后用反馈多项式对候选差分序列进行校验,以此减少需要求解的L维线性方程系统的数量,从而大大减少了算法所需的复杂度。理论分析和仿真结果表明,对于反馈多项式的重量小于10的BSG,该算法明显优于现有的攻击方法。特别地当反馈多项式的重量为3时,该算法能够将最好的攻击结果O(L320.5L)降低到O(L20.5L)。

关键词：流密码密码分析学比特搜索生成器猜测确定攻击复杂度分析

来源：评论

学校读者我要写书评

暂无评论

无证书体制下的多接收者签密密钥封装机制

引用

电子与信息学报 2010年第9期32卷 2249-2252页

作者：孙银霞李晖李小青西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

无证书签密密钥封装机制(CLSC-KEM)与数据封装机制共同构成无证书混合签密方案。该文提出一个新的概念:无证书体制下的多接收者签密密钥封装机制(mCLSC-KEM)。给出了mCLSC-KEM的定义以及安全模型,并构造了一个具体的方案。该方案比一般... 详细信息

无证书签密密钥封装机制(CLSC-KEM)与数据封装机制共同构成无证书混合签密方案。该文提出一个新的概念:无证书体制下的多接收者签密密钥封装机制(mCLSC-KEM)。给出了mCLSC-KEM的定义以及安全模型,并构造了一个具体的方案。该方案比一般性构造(对每个接收者分别运行CLSC-KEM)高效很多,其密钥封装仅需计算1个双线性对,且对应的数据封装仅需运行1次对称加密,而一般性构造需计算n个双线性对和n次数据封装(设n个接收者)。在随机预言模型下,基于Gap双线性Diffie-Hellman问题,该文的方案是可证明安全的。

关键词：密码学无证书签密密钥封装机制多接收者双线性对可证明安全随机预言模型

来源：评论

学校读者我要写书评

暂无评论

布尔函数的代数攻击

引用

电子科技大学学报 2010年第6期39卷 831-834页

作者：杨文峰胡予濮高军涛西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071

基于代数攻击,提出了一种已知部分真值表还原整个布尔函数的方法。对于n元d次布尔函数,该方法的空间复杂度和数据复杂度均为O(N),计算复杂度为O(N3),其中N=1+Cn1+C n2++C nd。由复杂度可知,所求密码函数的代数次数越低,该方法的有效性... 详细信息

基于代数攻击,提出了一种已知部分真值表还原整个布尔函数的方法。对于n元d次布尔函数,该方法的空间复杂度和数据复杂度均为O(N),计算复杂度为O(N3),其中N=1+Cn1+C n2++C nd。由复杂度可知,所求密码函数的代数次数越低,该方法的有效性越高。攻击方法表明密码设计中应该谨慎使用代数次数较低的布尔函数。

关键词：代数方法布尔函数密码分析密码学

来源：评论

学校读者我要写书评

暂无评论

流密码Grain v1的密钥恢复攻击及其改进

引用

西南交通大学学报 2010年第5期45卷 745-750页

作者：杨文峰胡予濮高军涛西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

为探讨流密码Grain v1的安全性,通过研究Grain v1密钥流生成器的结构,指出了Grain v1密钥流生成器设计的3个弱点,在此基础上提出了一种基于中间状态的流密码Grain v1的密钥恢复攻击.该攻击的计算复杂度和空间复杂度分别等价于Grain v1... 详细信息

为探讨流密码Grain v1的安全性,通过研究Grain v1密钥流生成器的结构,指出了Grain v1密钥流生成器设计的3个弱点,在此基础上提出了一种基于中间状态的流密码Grain v1的密钥恢复攻击.该攻击的计算复杂度和空间复杂度分别等价于Grain v1密钥流生成器的计算复杂度和空间复杂度.为了抵抗所提出的攻击,对Grain v1密钥流生成器的设计进行了改进.安全性分析表明,改进设计能够抵抗所提出的密钥恢复攻击.

关键词：密码分析线性移位寄存器布尔函数流密码Grain

来源：评论

学校读者我要写书评

暂无评论

UC安全的基于一次签名的广播认证

引用

通信学报 2010年第5期31卷 31-36,43页

作者：张俊伟马建峰杨力西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

研究了基于一次签名的广播认证协议的可证明安全问题。在通用可组合安全框架下,提出了基于一次签名的广播认证的安全模型。首先,形式化定义了一次签名理想函数FOTS和广播认证理想函数FBAUTH。其次,设计了一次签名算法HORS+。然后,在(FOT... 详细信息

研究了基于一次签名的广播认证协议的可证明安全问题。在通用可组合安全框架下,提出了基于一次签名的广播认证的安全模型。首先,形式化定义了一次签名理想函数FOTS和广播认证理想函数FBAUTH。其次,设计了一次签名算法HORS+。然后,在(FOTS,FREG)-混合模型下设计了广播认证方案πBAUTH。组合协议HORS+,在πBAUTH的基础上可以构造出新的基于一次签名的广播认证协议。结果表明,HORS+能够安全实现FOTS;在(FOTS,FREG)-混合模型下,πBAUTH安全实现理想函数FBAUTH的广播认证方案πBAUTH。根据组合定理,新的广播认证协议具有通用可组合安全性适用于能量受限网络中广播消息的认证。

关键词：网络安全 UC安全广播认证一次签名

来源：评论

学校读者我要写书评

暂无评论

基于容错CORBA的可生存网络应用模型

引用

华中科技大学学报（自然科学版） 2010年第10期38卷 26-30页

作者：刘宏月马建峰王超西安电子科技大学计算机网络与信息安全(教育部)重点实验室陕西西安710071

针对网络系统组件可能发生自然故障且多数安全机制都可能被攻击者破坏的问题,在分析网络可生存性的基本内涵以及可生存性研究与相关研究的联系的基础上,提出了一种基于容错CORBA的可生存网络系统设计模型,该模型采用对象主动复制的容错C... 详细信息

针对网络系统组件可能发生自然故障且多数安全机制都可能被攻击者破坏的问题,在分析网络可生存性的基本内涵以及可生存性研究与相关研究的联系的基础上,提出了一种基于容错CORBA的可生存网络系统设计模型,该模型采用对象主动复制的容错CORBA应用结合大数表决机制,可以检测和容忍恶意攻击和组件故障,并从其影响中恢复,从而保护了系统的可用性和完整性.

关键词：网络系统可生存性容错模型大数表决

来源：评论

学校读者我要写书评

暂无评论

基于信息覆盖的无线传感器网络访问控制机制

引用

通信学报 2010年第2期31卷 113-119页

作者：杜志强沈玉龙马建峰周利华西安电子科技大学计算机学院陕西西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

通过周期性地信息扩散,设计THC(two-hop cover)算法,使传感器节点能够在用户移动过程中及时得到用户的认证信息。基于THC算法,引入Merkle散列树和单向链等安全机制,采用分布式的访问控制模式,提出了适用于随机移动用户的传感器网络访问... 详细信息

通过周期性地信息扩散,设计THC(two-hop cover)算法,使传感器节点能够在用户移动过程中及时得到用户的认证信息。基于THC算法,引入Merkle散列树和单向链等安全机制,采用分布式的访问控制模式,提出了适用于随机移动用户的传感器网络访问控制机制。分析和实验表明,本机制既适用移动用户,也适用静止用户,计算、通信、存储开销低,能够抵制节点捕获、重放、DoS等攻击。

关键词：无线传感器网络网络安全访问控制单向链

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：