祝世雄
- 作品数：9 被引量：14H指数：3
- 供职机构：中国电子科技集团第三十研究所更多>>
- 发文基金：国家重点实验室开放基金国防科技保密通信重点实验室基金国家重点基础研究发展计划更多>>
- 相关领域：电子电信自动化与计算机技术理学天文地球更多>>
- WTLS握手协议的形式化验证被引量：3
- 2005年
- 目前还未见到公开发表的对WTLS握手协议进行形式化分析的研究成果。本文首次使用密码协议分析工具集AVISPA,从机密性和鉴别两个方面,对WTLS握手协议进行了建模和验证。所得到的验证结果表明WTLS握手协议是安全的。
- 刘璟祝世雄周明天
- 关键词：握手协议WTLS形式化验证AVISPA密码协议分析工具集
- 计算几类周期序列的最小周期
- 在流密码中,周期序列的周期是一个重要指标。在周期序列的线性复杂度相同的情况下,序列的最小周期越大越好。我们证明,如果由一个非退化组合函数Fn所组合的n个周期序列的n个最小周期两两互素,则由Fn所产生的输出序列的最小周期达...
- 谯通旭张文政祝世雄
- 关键词：线性反馈移位寄存器极小多项式
- 文献传递
- AAA在移动IP中的应用探讨被引量：6
- 2005年
- 移动IP解决了移动节点在不改变IP地址的情况下的漫游问题,移动节点在漫游时,外地域通过AAA 服务器对其进行安全认征、授权、计费。本文探讨了一种AAA下移动IP的认证注册方案。在注册过程中利用公钥和对称密钥实现移动节点和网络的双向认证。
- 祝世雄杨铭朱红星付毓生皮亦鸣
- 关键词：移动IPAAA服务器IP地址对称密钥漫游
- 基于Goldreich压缩函数的LMAC分析和Hash设计
- 2005年
- O.Goldreich等人在Ajtai的研究基础之上提出了一种基于格上最近向量难题(CVP)的压缩函数,该函数具有可证明碰撞免疫特性。文献[3]在文献[2]的基础之上设计了消息认证码LMAC,本文分析了LMAC安全性证明中存在的问题,并对LMAC进行了改进,使之能够达到文献[3]所声称的安全性。在此基础之上,本文利用Goldreich压缩函数构造了一种碰撞免疫的GHash函数,并分析了其安全性,提出了GHash的安全参数集。
- 余位驰祝世雄何大可
- 关键词：消息认证码HASH函数免疫特性消息认证码函数构造
- 单圈函数序列研究被引量：1
- 2011年
- 在流密码的设计中,通常要用一个随机源。常用线性反馈移位寄存器作为随机源。在Klimov A和Shamir A提出单圈T函数的概念后,许多学者在设计流密码时用单圈T函数作为随机源。为了得到新的随机源,单圈T函数的概念被扩展,单圈函数和单圈函数序列的概念被定义,单圈函数序列的最小周期被计算,有限域上分圆多项式的表达式被给出,与分圆多项式相关的两个定理被介绍。以这两个定理为基础,单圈函数序列的线性复杂度的下界被推导,猜测在许多情况下,单圈函数序列的线性复杂度远远大于这个下界。
- 谯通旭祝世雄张文政申兵
- 关键词：分圆多项式线性复杂度
- 组件式GIS在密钥管理系统中的应用
- 2005年
- 本文讲述了利用组件式GIS技术,在密钥管理系统中进行GIS集成二次开发,实现设备地图技术,为密钥管理系统业务中的保密设备管理提供图形化、可视化支持,并给出了基于组件式GIS的密钥管理系统模型。
- 杨宇祝世雄陈捷
- 关键词：密钥管理系统设备管理图形化可视化保密
- 单圈T函数序列与M序列研究被引量：4
- 2013年
- 在SETA 2006会议上,ZHANG Wenying和WUChuan-kun对关于变元数n=2t的单圈T函数序列的线性复杂度进行了计算。计算任意变元数的单圈T函数序列的线性复杂度和1-错线性复杂度,并且证明任意变元数为n的单圈T函数序列的最小周期为n2n。进一步推出变元数n=2t的单圈T函数序列的2n-1-错线性复杂度为n2n-2+n-1。推出的另一个结果是当n大于1时,变元数为n的单圈T函数序列不可能为M序列。最后,研究单圈函数序列与M序列之间的关系。
- 谯通旭祝世雄王运兵申兵
- 关键词：M序列线性复杂度
- 计算机网络追踪溯源技术现状及其评估初探
- 近年来随着计算机网络技术的发展,网络攻击事件愈发频繁,使网络安全受到了极大的威胁。追踪溯源技术能够追踪到攻击数据包的源头,定位攻击源,通过隔离或者其他手段限制网络攻击,保护网络安全。文中通过对网络追踪溯源技术的介绍,分析...
- 陈周国祝世雄
- 关键词：计算机网络
- 文献传递
- 一个军网身份鉴别协议的形式化分析及修正
- 2005年
- 分别使用形式化分析工具Casper+FDR和OFM C模型检测器对文[1]提出的一个军网身份鉴别协议进行了分析,找到了一个相同的攻击实例。同时指出了文[1]和文[2]中存在的几个谬误。然后对协议进行了修正。形式化验证结果表明修正后的协议是安全的。
- 刘璟祝世雄周明天
- 关键词：身份鉴别协议形式化分析
