非否认性

作品数：21被引量：66H指数：4
导出分析报告
相关领域：自动化与计算机技术电子电信更多>>
相关作者：卿斯汉陈莉刘冬梅范钰丹王彩芬更多>>
相关机构：解放军信息工程大学中国科学院软件研究所贵州大学西安电子科技大学更多>>
相关期刊：《清华大学学报（自然科学版）》《计算机工程与应用》《电子学报》《通信学报》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划河南省科技攻关计划国家重点基础研究发展计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
信息技术助推商用密码创新发展被引量：1
《中国信息安全》2023年第7期20-22,共3页冯登国 
当今时代,计算机网络已遍及国计民生各领域,成为各领域发展的新源泉、新动能,现实世界中的各种组织与系统进入了网络这个虚拟世界,使网络世界变得越来越精彩。然而,在带给人们生产生活极大便利的同时,网络与信息安全问题也变得越来越突...
关键词：网络与信息安全 计算机网络 信息技术 密码技术 不可否认性 商用密码 虚拟世界 非否认性 
基于Horn扩展逻辑的非否认协议建模与验证被引量：1
《清华大学学报（自然科学版）》2012年第10期1488-1495,共8页徐畅 李舟军 郭华 张帆 
国家自然科学基金资助项目(60973105;90718017;61170189);高等学校博士学科点专项科研基金资助项目(20111102130003);软件开发环境国家重点实验室自主研究课题资助项目(SKLSDE-2011ZX-03;SKLSDE-2012ZX-11)
该文首次提出使用Horn逻辑扩展模型验证非否认协议的非否认性和公平性的方法;使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程,并基于Horn逻辑扩展模型对协议的非否认性、公平性进行了建模,同时对参与协议的诚实主体、...
关键词：非否认性 公平性 Horn逻辑扩展模型 解形式不动点 
改进的可认证邮件传递协议及其安全属性分析
《计算机工程与应用》2011年第21期112-114,140,共4页陈莉 王唯贤 
国家自然科学基金No.60473021;国家高技术研究发展计划(863)(No.2007AA01Z471);河南省重点科技攻关项目(No.072102210029);河南省科技攻关项目(No.0624260017)~~
针对可认证邮件传递协议CMP1存在的缺陷,提出了改进方案,通过引入密码原语——加密Hash函数,保护了邮件消息的机密性,引入FTP传输方式传送发方和收方的非否认证据,确保公平性的实现,进一步增强协议的鲁棒性。使用拓展的卿-逻辑分析了改...
关键词：非否认性 公平性 密钥保密性 鲁棒性 加密Hash函数 
一种离线TTP公平非否认协议的安全性分析方法被引量：2
《计算机研究与发展》2011年第4期656-665,共10页刘冬梅 卿斯汉 马恒太 李树仁 
国家自然科学基金项目(60970135);国家科技支撑计划重点项目(2006BAC18B06);中国科学院知识创新工程重要项目(KGCX2-YW-125)
给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认...
关键词：离线TTP 公平非否认协议 公平性 非否认性 时效性 
一种对MSR模型的新扩展被引量：1
《计算机工程》2010年第8期138-140,共3页陈晨 朱文也 陈卫红 刘楠 
国家"863"计划基金资助项目(2007AA01Z471)
作为安全协议形式化建模方法之一的多集重写(MSR)模型虽然提供了基本的理论框架,但并不完善。针对其在类型攻击检测方面的不足,对原模型进行改进,扩展类型内容,丰富推演规则,使其能检测特定类型的攻击。给出安全属性的描述,并用实例验...
关键词：多集重写模型 安全协议 非否认性 公平性 
优化的匿名电子现金支付协议及其形式化验证
《计算机应用研究》2010年第8期3053-3057,共5页陈莉 刘军 
国家"863"计划资助项目(2007AA01Z471);国家自然科学基金资助项目(60473021);河南省重点科技攻关项目(072102210029);河南省科技攻关项目(0624260017);河南省教育厅自然科学研究计划项目(2010A520004)
针对匿名电子现金支付协议存在的缺陷,提出了一种能够满足多种安全属性的优化协议。将会话密钥的协商与使用分为两个阶段进行,确保协议密钥保密性的实现;引入电子证书证明交易主体的身份,确保协议非否认性的实现;借助可信方传递付款收据...
关键词：安全属性 形式化验证 密钥保密性 非否认性 公平性 原子性 
SET协议的一种改进方案
《微计算机信息》2010年第6期151-153,共3页张振德 王国才 谭龙文 
SET协议在电子商务交易中的应用越来越广泛,本文通过对SET协议的分析,发现存在的一些缺陷,并在此基础上提出了一个改进方案,增强了该协议非否认性、公平性、隐私性等方面的性能,使电子商务活动更符合人们日常的习惯,更让人们易于接受。
关键词：SET协议 非否认性 公平性 隐私性 
新的复合型电子商务安全协议被引量：4
《计算机工程与应用》2010年第11期14-17,共4页陈莉 郭清溥 
国家高技术研究发展计划(863)No.2007AA01Z471;国家自然科学基金No.60473021;河南省重点科技攻关项目(No.072102210029);河南省科技攻关计划No.0624260017~~
针对典型电子商务安全协议存在的安全目标单一,不能满足日益增加的安全需求等问题,提出了一种能够满足多种安全属性的复合型电子商务安全协议,该协议包含认证子协议和支付子协议两部分。认证子协议基于令牌概念实现了高效认证及协商会...
关键词：复合型安全协议 安全属性 认证性 非否认性 公平性 
基于扩展CS逻辑的非否认协议形式化分析方法
《计算机科学》2010年第5期49-52,76,共5页王鹃 刘珺 张焕国 
国家自然科学基金(60673071)资助
将基于知识逻辑的CS逻辑系统用于分析具有时限性的非否认协议,针对非否认协议的性质对CS逻辑进行了扩展,给出了描述和分析非否认性以及公平性的方法,并使用扩展后的逻辑对改进的ZG协议进行了分析。在分析过程中,发现了该协议存在对签名...
关键词：非否认协议 CS逻辑 时限性 非否认性 公平性 
ZG离线TTP公平非否认协议的安全性分析及改进被引量：1
《通信学报》2009年第S2期44-51,共8页刘冬梅 卿斯汉 李鹏飞 李尚杰 
国家自然科学基金资助项目(60573042);国家高技术研究发展计划("863"计划)基金资助项目(2007AA01217903)~~
对ZG离线TTP(trusted third party)公平非否认协议及其一种改进方案进行了分析,针对原协议因引入协议有效期而存在消息延迟攻击的问题以及改进方案存在子协议被滥用的问题,提出2种新的改进方案。2种方案侧重点不同,分别适用于不同的场景...
关键词：公平非否认协议 非否认性 公平性 时限量 
全选清除导出
共3页<123>
检索报告 对象比较 聚类工具 使用帮助 返回顶部