黎波涛
- 作品数：7 被引量：44H指数：3
- 供职机构：东南大学计算机科学与工程学院更多>>
- 发文基金：江苏省高技术研究计划项目国家自然科学基金国家科技重大专项更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 一个可互操作PKI系统的设计及其不可否认服务的研究与实现
- 该论文的工作主要是:以X.509标准为基础,对PKI系统的体系结构作一定的研究,并设计一个适用于企业的PKI系统框架.这个系统框架的目标是适当划分整个PKI系统的功能组件,使其具有一定的可扩展性和互操作性,为日后的进一步...
- 黎波涛
- 关键词：PKICARA不可否认协议SVO逻辑
- 文献传递
- 不可否认协议形式化分析的SVO逻辑方法被引量：2
- 2005年
- 使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析.在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因.这些问题包括协议目标的确定,协议时限性的描述与分析,协议初始假设集的确定等.分析协议时,不仅需要证明协议的最终目标,还需要证明中间目标.通过对SVO逻辑的语法进行扩展,使其具有显式的时间描述能力,从而能够分析不可否认协议的时限性.
- 黎波涛罗军舟
- 关键词：不可否认SVO逻辑形式化分析
- 不可否认协议及其形式化分析
- 不可否认协议可以为网络上实体间的交互行为提供不可抵赖的证据。近年来，电子商务等Intemet应用的发展极大地推动了不可否认协议的研究。尽管如此，在不可否认协议研究领域还是存在很多问题。目前还没有出现比较完善实用的协议，相...
- 黎波涛
- 关键词：不可否认协议形式化分析BAN类逻辑SVO逻辑PETRI网
- 文献传递
- 不可否认协议的Petri网建模与分析被引量：17
- 2005年
- Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用.作为一种特殊的安全协议,不可否认协议虽然已得到了多种形式化方法的分析,但还没有人使用Petri网来分析它们.以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协议的建模及分析方法,该方法可以描述并分析一些其他形式化方法无法描述的协议性质.使用该方法分析Zhou和Gollmann于1996年提出的一个公平不可否认协议,可以发现该协议的一个许多其他形式化方法不能发现的已知缺陷.
- 黎波涛罗军舟
- 关键词：不可否认有色PETRI网形式化分析
- Zhou-Gollmann不可否认协议的一种新的改进被引量：12
- 2005年
- Zhou和Gollmann于 1996年提出了一个简单有效的公平不可否认协议 ,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案 .虽然他们的改进解决了协议的时限性问题 ,但却高度依赖于各实体间时间的一致性 ,实现时需要在各实体间加入时钟同步机制 ,致使协议实现困难、低效 .该文引入一种新的同步机制 ,并用它改进了Zhou Gollmann的不可否认协议 .新的改进使协议不需要时钟同步机制 ,还能通过使用一种称为证据链的证据管理机制使协议实现效率更高 .使用SVO逻辑对改进后的协议进行形式化分析的结果表明它能提供时限性和公平性 .
- 黎波涛罗军舟
- 关键词：不可否认数字签名SVO逻辑
- 不可否认协议形式化分析的Petri网方法
- Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用,但目前还没有人使用Petri网来分析不可否认协议.本文以一般安全协议的Petri网分析方法为基础,提出了使用Petri网分析不可否认协...
- 黎波涛罗军舟
- 关键词：不可否认形式化分析安全协议
- 文献传递
- 不可否认协议时限性的形式化分析被引量：15
- 2006年
- 虽然SVO逻辑由于其简单性在对不可否认协议的形式化分析中得到了广泛的应用,但它在时间描述能力上的不足使得它无法分析不可否认协议的时限性.通过向SVO逻辑添加一种简单的时间表达和分析方法扩展了SVO逻辑,并使用扩展后的逻辑对Zhou和Gollmann于1996年提出的一个公平不可否认协议及其一个改进协议进行了分析.分析结果表明,原协议不具有时限性,而改进协议具有时限性,因此也说明了扩展后的新逻辑能够分析不可否认协议的时限性.另外,新逻辑还能用来分析一般密码协议中的时间相关性质.
- 黎波涛罗军舟
- 关键词：不可否认SVO逻辑形式化分析
