黎波涛

作品数：4被引量：34H指数：3
导出分析报告
供职机构：东南大学计算机科学与工程学院更多>>
发文主题：不可否认协议不可否认形式化分析SVO逻辑PETRI网更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《东南大学学报（自然科学版）》《计算机研究与发展》《软件学报》《计算机学报》更多>>
所获基金：江苏省高技术研究计划项目国家自然科学基金国家科技重大专项更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
不可否认协议时限性的形式化分析被引量：13
《软件学报》2006年第7期1510-1516,共7页黎波涛 罗军舟 
国家自然科学基金;江苏省高技术研究项目;江苏省网络与信息安全重点实验室~~
虽然SVO逻辑由于其简单性在对不可否认协议的形式化分析中得到了广泛的应用,但它在时间描述能力上的不足使得它无法分析不可否认协议的时限性.通过向SVO逻辑添加一种简单的时间表达和分析方法扩展了SVO逻辑,并使用扩展后的逻辑对Zhou和G...
关键词：不可否认 时限性 SVO逻辑 形式化分析 
不可否认协议形式化分析的SVO逻辑方法被引量：2
《东南大学学报（自然科学版）》2005年第5期688-691,共4页黎波涛 罗军舟 
江苏省"网络与信息安全"重点实验室计划资助项目(BM20033201);江苏省高技术研究资助项目(BG2004036)
使用SVO逻辑对Zhou-Gollmann的公平不可否认协议的一个改进协议进行了形式化分析.在分析该协议的过程中,分析了使用SVO逻辑分析不可否认协议时存在的一些问题,这是分析过程无法发现Zhou-Gollmann不可否认协议的原因.这些问题包括协议目...
关键词：不可否认 公平性 SVO逻辑 形式化分析 
不可否认协议的Petri网建模与分析被引量：11
《计算机研究与发展》2005年第9期1571-1577,共7页黎波涛 罗军舟 
江苏省"网络与信息安全"重点实验室基金项目(BM2003201);江苏省高技术研究基金项目(BG2004036)~~
Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用.作为一种特殊的安全协议,不可否认协议虽然已得到了多种形式化方法的分析,但还没有人使用Petri网来分析它们.以一般安全协议的Petri网分析方法为基础...
关键词：不可否认 有色PETRI网 建模 形式化分析 
Zhou-Gollmann不可否认协议的一种新的改进被引量：9
《计算机学报》2005年第1期35-45,共11页黎波涛 罗军舟 
国家"十五"重大攻关项目"网络教育关键技术及示范工程"(2 0 0 1BA10 1A12 );江苏省网络与信息安全重点实验室课题 (BM2 0 0 3 2 0 1);江苏省高技术研究项目"主动式安全防范系统的研究"(BG2 0 0 40 3 6)经费的资助 .
Zhou和Gollmann于 1996年提出了一个简单有效的公平不可否认协议 ,但Kim等人后来发现该协议不具有时限性并提出了一个改进方案 .虽然他们的改进解决了协议的时限性问题 ,但却高度依赖于各实体间时间的一致性 ,实现时需要在各实体间加入...
关键词：不可否认 公平性 数字签名 时限性 SVO逻辑 证据管理 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部