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

通信学报 2008年第10期29卷 126-134页

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

现有的WLAN Mesh网络接入协议和可信网络接入协议在性能和安全性方面不能很好的满足WLAN Mesh网络可信接入的要求。针对这一情况,提出了一种高效的可证明安全的WLAN Mesh网络可信接入协议MN-TAP,该协议仅需4轮交互就能实现访问请求者,... 详细信息

现有的WLAN Mesh网络接入协议和可信网络接入协议在性能和安全性方面不能很好的满足WLAN Mesh网络可信接入的要求。针对这一情况,提出了一种高效的可证明安全的WLAN Mesh网络可信接入协议MN-TAP,该协议仅需4轮交互就能实现访问请求者,策略执行点和策略决策点三者之间的用户认证和密钥确认,同时在第一轮交互中就实现了策略决策点对访问请求者平台身份的认证和平台完整性的校验,提高了协议执行的效率,降低了服务器端的负载。利用通用可组合安全模型对新协议进行了安全性证明,并对协议性能进行了对比分析。结果表明:新协议达到通用可组合安全,且与现有协议相比性能优势明显。

关键词： WLAN Mesh 可信网络接入通用可组合安全认证协议

来源：评论

学校读者我要写书评

暂无评论

可证明安全的MANET按需距离矢量路由协议分析

引用

西安电子科技大学学报 2008年第6期35卷 1063-1068页

作者：毛立强马建峰西安电子科技大学计算机学院陕西西安710071 西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071

基于模拟证明方法,Acs等提出了一个MANET安全按需距离矢量路由协议的形式化分析模型,并利用该模型证明了ARAN协议的安全性.对该模型进行了深入分析,指出其中合并相邻敌手节点操作和正确系统状态定义的不合理性,以及ARAN协议安全性证明... 详细信息

基于模拟证明方法,Acs等提出了一个MANET安全按需距离矢量路由协议的形式化分析模型,并利用该模型证明了ARAN协议的安全性.对该模型进行了深入分析,指出其中合并相邻敌手节点操作和正确系统状态定义的不合理性,以及ARAN协议安全性证明过程中的错误,并给出了一种针对ARAN协议的攻击方法,表明该协议即使在其分析模型下仍然存在安全漏洞.

关键词：路由协议可证明安全形式化分析模拟自组织无线网络

来源：评论

学校读者我要写书评

暂无评论

门限Byzantine quorum系统及其在分布式存储中的应用

引用

电子学报 2008年第2期36卷 314-319页

作者：张薇马建峰王良民郭渊博西安电子科技大学计算机网络与信息安全教育部重点实验室解放军信息工程大学电子技术学院河南郑州450004

针对纠删编码和门限方案在分布式存储中的应用,提出门限Byzantine quorum系统(TBQS)的概念.该系统与数据分离算法相结合,可以构造可靠性较强的存储系统,当故障服务器个数不超过服务器总数的1/4时,利用TBQS设计存储策略可以实现容错和无... 详细信息

针对纠删编码和门限方案在分布式存储中的应用,提出门限Byzantine quorum系统(TBQS)的概念.该系统与数据分离算法相结合,可以构造可靠性较强的存储系统,当故障服务器个数不超过服务器总数的1/4时,利用TBQS设计存储策略可以实现容错和无间断服务.讨论了TBQS的存在性,构造了两类TBQS并对其效率进行分析,在此基础上设计了基于TBQS的分布式读写协议.

关键词：分布式存储容错 quorum系统 Byzantine故障

来源：评论

学校读者我要写书评

暂无评论

基于TURBO码和分块传输的新型HARQ系统

引用

电路与系统学报 2008年第2期13卷 57-61页

作者：周秦英王新梅徐朝军葛晖西安电子科技大学计算机网络与信息安全教育部重点实验室

本文采用TURBO码为纠错码,在分析传统的反馈重传方式的基础上,将分块传输系统和码合并技术相结合,提出了一种新型HARQ系统,并为其设计了新型交织器。新型HARQ系统将每帧数据多次重传合并,转化为在一帧的多个分块之间合并,不需要重传。... 详细信息

本文采用TURBO码为纠错码,在分析传统的反馈重传方式的基础上,将分块传输系统和码合并技术相结合,提出了一种新型HARQ系统,并为其设计了新型交织器。新型HARQ系统将每帧数据多次重传合并,转化为在一帧的多个分块之间合并,不需要重传。该系统大幅度降低了重传次数、交织的时延和平均迭代次数,实现了数据的实时通信;译码器接收的数据在解扩之前充分合并,更加有效地利用了软信息;该系统还省去了常用I型HARQ系统中必须使用的收发端复杂的反馈重传控制和庞大的存储器;新型HARQ系统中TURBO码的最小距离增加为原来的许多倍。通过理论分析和仿真比较了新型HARQ系统和I型HARQ系统的性能,结果证明了新型HARQ系统性能的优越性。新型HARQ系统为第三代无线通信技术提供了一种较好地选择。

关键词： TURBO码 HARQ 码合并分块传输

来源：评论

学校读者我要写书评

暂无评论

无线传感器网络密钥种子管理和分配模型及应用

引用

计算机研究与发展 2008年第1期45卷 146-153页

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

随机密钥种子预分配方案是实现安全的无线传感器网络应用的首选方案,该方案在无线传感器网络节点布置之前建立和分配某种密钥种子信息,在网络节点布置之后利用密钥种子信息建立或发现节点之间安全的通信链路.根据传感器网络的通信保密... 详细信息

随机密钥种子预分配方案是实现安全的无线传感器网络应用的首选方案,该方案在无线传感器网络节点布置之前建立和分配某种密钥种子信息,在网络节点布置之后利用密钥种子信息建立或发现节点之间安全的通信链路.根据传感器网络的通信保密和节点认证需求,提出了通用密钥种子管理和分配模型(KSMA).该模型可用于预分配方案的安全分析,描述了预分配方案的5个安全属性.在KS-MA模型中,基于单向累加器,定义了一类新的密钥种子结构,提出了新的密钥种子预分配方案和节点秘密共享发现协议,并在UC(universally composable)安全框架中对新的秘密共享发现协议进行了可证明安全分析.在新方案中说明了如何设定密钥池参数和节点密钥链参数的方法,该方法不仅保证了高概率的安全链路建立,而且可以通过节点身份证人确认机制实现节点之间身份认证,有效地防御传感器网络Sybil攻击.通过与其他方案的分析对比,新方案改善了网络安全弹性、综合性能良好.

关键词：无线网络安全传感器网络密钥管理模型单向累加器 Sybil攻击

来源：评论

学校读者我要写书评

暂无评论

一种新的垃圾邮件样本采集方法

引用

东南大学学报（自然科学版） 2008年第2期38卷 244-248页

作者：林加镇曹玖新程杰东南大学计算机科学与工程学院南京210096 东南大学江苏省网络与信息安全重点实验室南京210096 东南大学计算机网络和信息集成教育部重点实验室南京210096

为了提高垃圾邮件样本的覆盖率和实时性,降低垃圾邮件过滤系统的计算复杂性和滞后性,提出了基于垃圾邮件发送的行为特征,采用蜜罐原理进行垃圾邮件样本采集.引入蜜罐帐户评价公式,根据这个公式设计并实现了蜜罐帐户选择算法,动态地在电... 详细信息

为了提高垃圾邮件样本的覆盖率和实时性,降低垃圾邮件过滤系统的计算复杂性和滞后性,提出了基于垃圾邮件发送的行为特征,采用蜜罐原理进行垃圾邮件样本采集.引入蜜罐帐户评价公式,根据这个公式设计并实现了蜜罐帐户选择算法,动态地在电子邮件服务器中选择一定数量的帐户作为蜜罐并生成蜜罐集合,定期从蜜罐集合中采集邮件样本,作为过滤系统的学习语料.实验表明,利用该方法能够使采集到垃圾邮件样本覆盖率达到98%以上.由于系统能够定期地进行样本采集,因此实时性较强,从而提高系统过滤垃圾邮件的能力.

关键词：垃圾邮件过滤样本采集蜜罐帐户

来源：评论

学校读者我要写书评

暂无评论

一个新型的NTRU类数字签名方案

引用

计算机学报 2008年第9期31卷 1661-1666页

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

NTRU类数字签名方案的一个共同缺陷是签名值会泄露私钥的一些信息.针对这个缺陷,当前已经有若干有效攻击.该文提出一个新型的NTRU类数字签名方案.新方案具有与R-NSS相似的结构,但有若干新颖的设计.文中给出新方案的3个结果:(1)由公钥恢... 详细信息

NTRU类数字签名方案的一个共同缺陷是签名值会泄露私钥的一些信息.针对这个缺陷,当前已经有若干有效攻击.该文提出一个新型的NTRU类数字签名方案.新方案具有与R-NSS相似的结构,但有若干新颖的设计.文中给出新方案的3个结果:(1)由公钥恢复出私钥的困难性基于若干格上的最小向量问题(SVP);(2)由公钥伪造签名的困难性等价于某个格上的最近向量问题(CVP);(3)每个签名值仍然会泄露私钥的一些信息,但无限制泄露的最终形式只是关于私钥的一组复杂的非线性方程.

关键词： NTRU 数字签名格上的最小向量问题(SVP) 格上的最近向量问题(CVP)

来源：评论

学校读者我要写书评

暂无评论

基于行为的访问控制模型及其行为管理

引用

电子学报 2008年第10期36卷 1881-1890页

作者：李凤华王巍马建峰梁晓艳西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 北京电子科技学院研究生处北京100070

访问控制模型是对信息资源进行授权决策的重要方法之一.首先给出了环境的定义,结合角色、时态和环境的概念,给出了行为的定义.在不同的信息系统中,行为可以用来综合角色、时态状态和环境状态的相关安全信息.然后介绍了行为、时态状态和... 详细信息

访问控制模型是对信息资源进行授权决策的重要方法之一.首先给出了环境的定义,结合角色、时态和环境的概念,给出了行为的定义.在不同的信息系统中,行为可以用来综合角色、时态状态和环境状态的相关安全信息.然后介绍了行为、时态状态和环境状态的层次结构,提出了基于行为的访问控制模型ABAC(Action-Based AccessControl Model),并讨论了在ABAC模型中角色、时态状态和环境状态之间的相互关系.在此基础上,通过引入受限的时态状态和环境状态,给出了管理行为的定义和ABAC管理模型的结构;描述了ABAC管理模型下用户-管理行为、管理行为-管理权限的控制关系,使用Z-符号形式化地描述了行为状态管理中使用的管理函数AddAction、ModifyAction和DeleteAction,以及和ABAC管理模型相关的管理方法.与已有其他模型相比,ABAC模型更加适用于解决网络环境下支持移动计算的信息系统中的访问控制问题.

关键词：访问控制行为环境状态时态状态管理行为

来源：评论

学校读者我要写书评

暂无评论

基于多级别的一般存取结构可视密码方案

引用

哈尔滨工业大学学报 2008年第12期40卷 2075-2077页

作者：韩妍妍胡予濮何文才西安电子科技大学计算机网络与信息安全教育部重点实验室西安710071 北京电子科技学院科研工作处北京100070

在一般存取结构的可视密码方案中引入了分级的概念,使得不同等级的用户可以获得不同的信息.在一般存取结构的基础上,通过构造属于不同等级的集合,最高级别的参与者集合可以直接恢复出秘密图像,而低级别的参与者只能通过与最高级别的参... 详细信息

在一般存取结构的可视密码方案中引入了分级的概念,使得不同等级的用户可以获得不同的信息.在一般存取结构的基础上,通过构造属于不同等级的集合,最高级别的参与者集合可以直接恢复出秘密图像,而低级别的参与者只能通过与最高级别的参与者的结合才能得到秘密.提出的基于多级别的可视密码方案为参与者规定了不同级别的权限.

关键词：可视密码方案多级别一般存取结构

来源：评论

学校读者我要写书评

暂无评论

Witty蠕虫的传播模型与分析

引用

华中科技大学学报（自然科学版） 2008年第2期36卷 50-54页

作者：王方伟张运凯王长广马建峰西安电子科技大学计算机网络与信息安全教育部重点实验室陕西西安710071 河北师范大学网络信息中心河北石家庄050016

为了能够深入了解Witty蠕虫传播的具体过程和采取更为有效的防御措施,利用动力学方法提出了一个含有潜伏期且在潜伏期内和感染阶段均具有传染性的模型.根据网络的实际情况,该模型考虑了延时因素,采用了动态感染率.利用该模型得出了蠕虫... 详细信息

为了能够深入了解Witty蠕虫传播的具体过程和采取更为有效的防御措施,利用动力学方法提出了一个含有潜伏期且在潜伏期内和感染阶段均具有传染性的模型.根据网络的实际情况,该模型考虑了延时因素,采用了动态感染率.利用该模型得出了蠕虫爆发的阈值.将已有的模型与该模型进行了比较,仿真结果表明:该模型能更好地符合Witty蠕虫的实际传播数据,偏差比已有的模型分别减小了4.4%和6.2%.

关键词：计算机系统结构网络安全网络蠕虫 witty蠕虫传播模型置换扫描

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：