检索结果-南通市图书馆

数学译林 1997年第4期16卷 338-338页

作者： caruth,a 叶顶锋

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

对一个基于身份的多重签密方案的分析和改进

电子学报 2011年第12期39卷 2713-2720页

作者：张秋璞叶顶锋中国科学院研究生院信息安全国家重点实验室北京100049

Waters提出了一个标准模型下的基于身份的加密和签名方案,Paterson和Schuldt在此基础上提出了一个基于身份的签名方案.Zhang和Xu在上述两个方案的基础上,提出了一个基于身份的多重签密方案.本文指出Zhang-Xu的方案会受到私钥随机化攻击... 详细信息

Waters提出了一个标准模型下的基于身份的加密和签名方案,Paterson和Schuldt在此基础上提出了一个基于身份的签名方案.Zhang和Xu在上述两个方案的基础上,提出了一个基于身份的多重签密方案.本文指出Zhang-Xu的方案会受到私钥随机化攻击,并在标准模型下提出了一个改进的基于身份的多重签密方案,其中将解密私钥和签名私钥分开,用于签名的私钥无法随机化,同时该方案还可以抵抗内部泄漏攻击.

关键词：基于身份密码多重签密私钥随机化双线性对

在线全文

学校读者我要写书评

暂无评论

传输层安全协议的安全性分析及改进

软件学报 2003年第3期14卷 518-523页

作者：孙林红叶顶锋吕述望冯登国中国科学院研究生院信息安全国家重点实验室北京100039

基于一次一密、访问控制和双证书机制对TLS(transport layer security)协议进行了安全性分析,并针对分析结果,对TLS协议的消息流程以及消息的内容进行了扩展,改进后的协议更具有安全性和实用性.

关键词：传输层安全协议安全性分析通信协议访问控制 TLS协议

在线全文

学校读者我要写书评

暂无评论

TTM密码系统的扰动变形

计算机研究与发展 2006年第12期43卷 2082-2087页

作者：巫治平叶顶锋马卫局中国科学院研究生院信息安全国家重点实验室北京100049

把内部扰动加到TTM密码系统之上,构建了该密码系统的新变形·然后针对该变形给定小参数的实例,考察了它们在极小秩攻击和线性化函数方程攻击下的安全性·给出了该变形不存在线性化函数方程的必要条件;计算机模拟实验表明,该TTM密码系统... 详细信息

把内部扰动加到TTM密码系统之上,构建了该密码系统的新变形·然后针对该变形给定小参数的实例,考察了它们在极小秩攻击和线性化函数方程攻击下的安全性·给出了该变形不存在线性化函数方程的必要条件;计算机模拟实验表明,该TTM密码系统变形几乎不存在线性化函数方程·最后给出了一个实例,并且评估了其实现性能以及安全性·

关键词：公钥多变量扰动线性化函数方程

在线全文

学校读者我要写书评

暂无评论

一个可追踪身份的基于属性签名方案

软件学报 2012年第9期23卷 2449-2464页

作者：张秋璞徐震叶顶锋信息安全国家重点实验室(中国科学院研究生院) 北京100049 中国科学院数据与通信保护研究教育中心北京100049 信息安全国家重点实验室(中国科学院软件研究所) 北京100190

基于属性的签名(attribute-based signature,简称ABS)方案可以隐藏签名者的身份.为了防止签名者滥用签名,Escala,Herranz和Morillo提出了一种可追踪签名者身份的基于属性签名方案(EHM-ABS),其中使用了自同构签名,并多次使用了非交互证... 详细信息

基于属性的签名(attribute-based signature,简称ABS)方案可以隐藏签名者的身份.为了防止签名者滥用签名,Escala,Herranz和Morillo提出了一种可追踪签名者身份的基于属性签名方案(EHM-ABS),其中使用了自同构签名,并多次使用了非交互证据不可区分(non-interactive witness indistinguishable,简称NIWI)的证明.在Boyen和Waters的基于ID的紧致群签名方案的基础上,在标准模型下提出了一种可追踪身份的ABS方案.在颁发属性私钥时嵌入签名者的身份,并对身份使用比特加密的NIWI证明来实现可追踪性.与EHM-ABS相比,当声明的属性集合的阶大于ID的比特长度的1/4时,该方案减少了使用NIWI证明的次数,且无须使用自同构签名.该方案的安全性基于子群判定假设和CDH假设.

关键词：基于属性签名可追踪性不可联系性不可陷害性双线性对

在线全文

学校读者我要写书评

暂无评论

普适安全的基于身份的签名机制

电子学报 2011年第7期39卷 1613-1617页

作者：王竹戴一奇叶顶锋清华大学计算机科学与技术系北京100084 中国科学院研究生院信息安全国家重点实验室北京100049

理想功能是UC安全协议的基本单元和核心内容.在UC安全框架下协议设计的首要步骤就是要将协议所希望完成的功能抽象为一个"理想功能","理想功能"的合理定义不仅要从定义上保证安全,更重要的是要兼顾其可实现性.本文定义了基于身份的签名... 详细信息

理想功能是UC安全协议的基本单元和核心内容.在UC安全框架下协议设计的首要步骤就是要将协议所希望完成的功能抽象为一个"理想功能","理想功能"的合理定义不仅要从定义上保证安全,更重要的是要兼顾其可实现性.本文定义了基于身份的签名机制(IBS)在UC安全框架下对应的理想功能FIBS,证明了其可实现性以及UC安全的IBS与经典IBS安全定义EUF-CMIA安全之间的等价关系,保证了在构造复杂环境下UC安全协议的时候,EUF-CMIA安全的IBS可以作为一个模块被安全调用.

关键词：普适安全理想功能基于身份的签名机制抗选择性消息和身份攻击

在线全文

学校读者我要写书评

暂无评论

正形置换的复合性质

自然科学进展 2006年第11期16卷 1517-1520页

作者：巫治平叶顶锋中国科学院研究生院信息安全国家重点实验室北京100049

在已有F2^n上正形置换与GF（2^n）上正形置换多项式对应关系的基础上，引入多项式复合阶的概念，在此基础上讨论了一类特殊的正形置换多项式的复合性质，给出了研究正形置换圈结构的另一途径，然后叙述了正形置换在密码系统设计中的应用．

关键词：正形置换正形置换多项式多项式复合密码系统

在线全文

学校读者我要写书评

暂无评论

聚合认证加密方案

密码学报 2023年第2期10卷 415-432页

作者：刘刚王鹏叶顶锋中国科学院信息工程研究所信息安全国家重点实验室北京100195 中国科学院大学网络空间安全学院北京100049 中国电子科技集团公司第三十研究所保密通信重点实验室成都610041

使用认证码校验密文会使得密文长度比明文长,即会带来数据扩张,在物联网等场景中会大大增加数据传输量.使用一个中间节点将多个用户的认证码聚合起来可以减少认证码数量、减少数据传输量.本文首次将聚合的方法使用在认证加密方案中,定... 详细信息

使用认证码校验密文会使得密文长度比明文长,即会带来数据扩张,在物联网等场景中会大大增加数据传输量.使用一个中间节点将多个用户的认证码聚合起来可以减少认证码数量、减少数据传输量.本文首次将聚合的方法使用在认证加密方案中,定义并构造了单码聚合认证加密方案saAE,生成一个聚合认证码来校验所有用户的密文,给出了安全性证明.定义并构造了多码聚合认证加密方案maAE,利用群组测试方法将认证码聚合成少量几个,不仅能校验密文的完整性,还能在检错能力范围内,判断哪些密文出现了问题.

关键词：认证加密认证码聚合群组测试

交换环上线性有限自动机的弱可逆性——传输矩阵的分类与枚举

在线全文

学校读者我要写书评

暂无评论

科学通报 1995年第15期40卷 1357-1360页

作者：戴宗铎叶顶锋中国科学技术大学研究生院DCS中心北京100039

线性有限自动机的弱可逆性问题一直受到关注.近年来,可逆性理论又在密码体制,包括公钥密码体制的设计中得到应用.域上有限存贮线性有限自动机的判定与构作问题可见文献[1]等;环上有关判定等问题也有文章讨论,如文献[2].环上线性有限自... 详细信息

线性有限自动机的弱可逆性问题一直受到关注.近年来,可逆性理论又在密码体制,包括公钥密码体制的设计中得到应用.域上有限存贮线性有限自动机的判定与构作问题可见文献[1]等;环上有关判定等问题也有文章讨论,如文献[2].环上线性有限自动机的弱可逆性仅取决于它的传输矩阵,参见文献[1,2].本文运用代数工具,对有限含么交换环(?)上弱可逆线性有限自动机所可能有的传输矩阵集合(?)进行多种形式的分解与约化,并引进变换群进行分类,最后将无限集(?)

关键词：线性有限自动机弱可逆传输矩阵交换环自动化

线性有限自动机的可逆性——传输函数的分类与枚举

在线全文

学校读者我要写书评

暂无评论

中国科学（A辑） 1996年第5期26卷 429-436页

作者：戴宗铎叶顶锋中国科学院研究生院信息安全国家重点实验室北京100039

记(?)为有限域F上弱可逆线性有限自动机所可能有的一切传输矩阵集合,对(?)进行了分类和枚举.

关键词：线性有限自动机弱可逆性传输函数自动机