不可否认协议

作品数：29被引量：59H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：黎波涛李艳平罗军舟张建中任艳丽更多>>
相关机构：陕西师范大学东南大学北京航空航天大学北京邮电大学更多>>
相关期刊：《东南大学学报（自然科学版）》《电子科技文摘》《西安电子科技大学学报》《信息网络安全》更多>>
相关基金：国家自然科学基金陕西省自然科学基金江苏省高技术研究计划项目中国航空科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
电子邮件UA与MTA间抗抵赖协议的研究与实现被引量：1
《计算机研究与发展》2007年第2期236-241,共6页夏春和 刘璀 李肖坚 陶然 
北京市教育委员会共建项目建设计划基金项目(SYS100060412);航空科学基金项目(2003ZF51060)
抗抵赖服务旨在生成、收集、维护已声明的事件或动作的证据,并以此证据解决关于某事件发生或未发生而引起的争议.抗抵赖协议借助密码学算法以实现抗抵赖服务.提出了一种用户代理与传输代理间的双方不可否认协议NRPUM,并将其封装到邮件...
关键词：邮件抗抵赖 不可否认协议 SMTP协议 POP3协议 
一种面向电子邮件的不可否认协议及其形式化分析被引量：5
《计算机研究与发展》2006年第11期1914-1919,共6页彭红艳 李肖坚 夏春和 邓剑锋 周小发 
航空科学基金项目(03F51060);北京市教育委员会共建项目建设计划基金项目(SYS100060412)
不同应用环境下不可否认协议的目标是不同的,面向电子邮件的不可否认协议目标有:双方不可否认;公平;协议能抵御常见的篡改和重放攻击;减少对可信第三方的信赖程度,保证邮件机密性;尽可能减少协议交互次数.提出一种面向电子邮件的不可否...
关键词：不可否认协议 形式化分析 SVO逻辑 可信第三方 
不可否认协议的Petri网建模与分析被引量：11
《计算机研究与发展》2005年第9期1571-1577,共7页黎波涛 罗军舟 
江苏省"网络与信息安全"重点实验室基金项目(BM2003201);江苏省高技术研究基金项目(BG2004036)~~
Petri网是一种描述及分析并发行为的工具,在安全协议的形式化分析中得到了广泛的应用.作为一种特殊的安全协议,不可否认协议虽然已得到了多种形式化方法的分析,但还没有人使用Petri网来分析它们.以一般安全协议的Petri网分析方法为基础...
关键词：不可否认 有色PETRI网 建模 形式化分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部