检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

不可否认协议时限性的形式化分析

软件学报 2006年第7期17卷 1510-1516页

作者：黎波涛罗军舟东南大学计算机科学与工程系江苏南京210096

虽然SVO逻辑由于其简单性在对不可否认协议的形式化分析中得到了广泛的应用,但它在时间描述能力上的不足使得它无法分析不可否认协议的时限性.通过向SVO逻辑添加一种简单的时间表达和分析方法扩展了SVO逻辑,并使用扩展后的逻辑对Zhou和G... 详细信息

虽然SVO逻辑由于其简单性在对不可否认协议的形式化分析中得到了广泛的应用,但它在时间描述能力上的不足使得它无法分析不可否认协议的时限性.通过向SVO逻辑添加一种简单的时间表达和分析方法扩展了SVO逻辑,并使用扩展后的逻辑对Zhou和Gollmann于1996年提出的一个公平不可否认协议及其一个改进协议进行了分析.分析结果表明,原协议不具有时限性,而改进协议具有时限性,因此也说明了扩展后的新逻辑能够分析不可否认协议的时限性.另外,新逻辑还能用来分析一般密码协议中的时间相关性质.

关键词：不可否认时限性 SVO逻辑形式化分析

在线全文

学校读者我要写书评

暂无评论

不可否认协议的Petri网建模与分析

计算机研究与发展 2005年第9期42卷 1571-1577页

作者：黎波涛罗军舟东南大学计算机科学与工程系南京210096

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用.作为一种特殊的安全协议,不可否认协议虽然已得到了多种形式化方法的分析,但还没有人使用Petri网来分析它们.以一般安全协议的Petri网分析方法为基础... 详细信息

Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用.作为一种特殊的安全协议,不可否认协议虽然已得到了多种形式化方法的分析,但还没有人使用Petri网来分析它们.以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其他形式化方法无法描述的协议性质.使用该方法分析Zhou和Gollmann于1996年提出的一个公平不可否认协议,可以发现该协议的一个许多其他形式化方法不能发现的已知缺陷.

关键词：不可否认有色Petri网建模形式化分析

在线全文

学校读者我要写书评

暂无评论

不可否认协议形式化分析的SVO逻辑方法

东南大学学报（自然科学版） 2005年第5期35卷 688-691页

作者：黎波涛罗军舟东南大学计算机科学与工程系南京210096

使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析.在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因.这些问题包括协议目... 详细信息

使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析.在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因.这些问题包括协议目标的确定,协议时限性的描述与分析,协议初始假设集的确定等.分析协议时,不仅需要证明协议的最终目标,还需要证明中间目标.通过对SVO逻辑的语法进行扩展,使其具有显式的时间描述能力,从而能够分析不可否认协议的时限性.

关键词：不可否认公平性 SVO逻辑形式化分析

Zhou-Gollmann不可否认协议的一种新的改进

在线全文

学校读者我要写书评

暂无评论

计算机学报 2005年第1期28卷 35-45页

作者：黎波涛罗军舟东南大学计算机科学与工程系南京210096

Zhou和Gollmann于 1996年提出了一个简单有效的公平不可否认协议 ,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案 .虽然他们的改进解决了协议的时限性问题 ,但却高度依赖于各实体间时间的一致性 ,实现时需要在各实体间加入... 详细信息

Zhou和Gollmann于 1996年提出了一个简单有效的公平不可否认协议 ,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案 .虽然他们的改进解决了协议的时限性问题 ,但却高度依赖于各实体间时间的一致性 ,实现时需要在各实体间加入时钟同步机制 ,致使协议实现困难、低效 .该文引入一种新的同步机制 ,并用它改进了Zhou Gollmann的不可否认协议 .新的改进使协议不需要时钟同步机制 ,还能通过使用一种称为证据链的证据管理机制使协议实现效率更高 .使用SVO逻辑对改进后的协议进行形式化分析的结果表明它能提供时限性和公平性 .

关键词：不可否认公平性数字签名时限性 SVO逻辑证据管理

在线全文

学校读者我要写书评

暂无评论

IP组播不可否认数据源认证研究进展

电子与信息学报 2006年第11期28卷 2205-2208页

作者：张海波周贤伟宋存义北京科技大学

数据源认证是组播安全体系中重要的一部分,数据源认证可以分为可否认的和不可否认的两种。该文按照协议分类分别概述了几个具有代表性的不可否认数据源认证协议,并对每一个协议的优缺点和存在问题进行了讨论。对目前IP组播不可否认数据... 详细信息

数据源认证是组播安全体系中重要的一部分,数据源认证可以分为可否认的和不可否认的两种。该文按照协议分类分别概述了几个具有代表性的不可否认数据源认证协议,并对每一个协议的优缺点和存在问题进行了讨论。对目前IP组播不可否认数据源认证协议进行了总结,并讨论了不可否认数据源认证未来的研究方向和还需要解决的问题。

关键词： IP组播数据源认证不可否认

基于SCS方案的透明恢复的优化不可否认协议

在线全文

学校读者我要写书评

暂无评论

计算机工程与应用 2006年第26期42卷 99-102,104页

作者：杨春霞王尚平王晓峰林婷婷赵男西安理工大学密码理论与网络安全研究室西安710048

在基于证书的不可否认协议中,验证方在验证不可否认证据(签名)时,还要搜集存储检验签名者公钥证书的有效性,这对验证方来说是一个负担。论文首先提出了基于GSP(Girault-Poupard-Stern)签名方案的SCS(self-certifiedsignature)方案,它能... 详细信息

在基于证书的不可否认协议中,验证方在验证不可否认证据(签名)时,还要搜集存储检验签名者公钥证书的有效性,这对验证方来说是一个负担。论文首先提出了基于GSP(Girault-Poupard-Stern)签名方案的SCS(self-certifiedsignature)方案,它能在一个签名验证的过程中同时检查签名和证书的有效性,具有较高的效率。然后,根据该方案对***和***在文献[6]中提出的不可否认协议进行了改进。改进后的协议除了满足一般的透明恢复的不可否认协议的要求外,还具有高效性、机密性,而且对签名者的声誉进行了有效的保护。

关键词： GSP签名方案 SCS 签名透明恢复不可否认

在线全文

学校读者我要写书评

暂无评论

一个不含可信第三方的多方不可否认协议

计算机工程与应用 2004年第36期40卷 137-138,232页

作者：任艳丽张建中陕西师范大学数学与信息科学学院西安710062

现有的不可否认协议一般都包括一个可信的第三方,但是,在实际生活中,要找到这样的可信第三方是很难的。该文参考文献眼1演,提出了一种协议模型,运用组加密方案构造了一个不含可信第三方的公平的多方不可否认协议。该协议不是秘密的逐渐... 详细信息

现有的不可否认协议一般都包括一个可信的第三方,但是,在实际生活中,要找到这样的可信第三方是很难的。该文参考文献眼1演,提出了一种协议模型,运用组加密方案构造了一个不含可信第三方的公平的多方不可否认协议。该协议不是秘密的逐渐泄露,能抵抗外部攻击与内部否认,安全高效。

关键词：多方协议不可否认组加密方案

在线全文

学校读者我要写书评

暂无评论

一个新的无可信第三方的多方不可否认协议

计算机工程与应用 2006年第10期42卷 121-122页

作者：董涛余昭平刘振解放军信息工程大学电子技术学院郑州450004

通过对文献[1]的分析,发现其密钥库的设计存在着安全隐患。由于方案未对每次交易设置标识符,同时进行多项交易时,用户可以联合进行欺骗。针对以上安全性问题,运用签密方案[2]构造了一个新的不含可信第三方的多方不可否认协议,并分析了... 详细信息

通过对文献[1]的分析,发现其密钥库的设计存在着安全隐患。由于方案未对每次交易设置标识符,同时进行多项交易时,用户可以联合进行欺骗。针对以上安全性问题,运用签密方案[2]构造了一个新的不含可信第三方的多方不可否认协议,并分析了该协议的安全性。同文献[1]相比,该方案更加安全高效。

关键词：不可否认签密多方协议

在线全文

学校读者我要写书评

暂无评论

基于双向不可否认技术的安全电子邮件系统

四川大学学报（工程科学版） 2007年第S1期39卷 217-221页

作者：王海燕郭平魏洪波上海电力学院信息与控制工程系上海200090 上海理想信息产业(集团)有限公司上海200030

为了提高电子邮件的安全性,针对PGP和S/MIME等安全电子邮件协议中加密算法安全强度不够和没有实现收方不可否认等不足,设计开发了基于双向不可否认技术的安全电子邮件系统。系统采用椭圆曲线加密算法(ECC)取代通用的RSA算法,重新设计了... 详细信息

为了提高电子邮件的安全性,针对PGP和S/MIME等安全电子邮件协议中加密算法安全强度不够和没有实现收方不可否认等不足,设计开发了基于双向不可否认技术的安全电子邮件系统。系统采用椭圆曲线加密算法(ECC)取代通用的RSA算法,重新设计了认证中心CA与用户的通信协议,完善了CA的认证和备份功能。通过用户与CA之间的多次验证,并在CA服务器上保留邮件收发双方的加密或解密等相关信息,实现了邮件收发双方的不可否认性。由于系统具有独立的认证中心CA和邮件客户端程序,因此能运用到所有基于POP3协议的邮件系统中。从系统的实际应用来看,该系统不仅具有很高的安全性能和很好的通用性,而且收发双方不可否认性的实现,又提高了电子邮件作为法律依据的可信度。

关键词：安全电子邮件椭圆曲线加密算法不可否认认证中心