一种离线TTP公平非否认协议的安全性分析方法 被引量：2

1

作者 刘冬梅 卿斯汉 +1 位作者 马恒太 李树仁 《计算机研究与发展》 EI CSCD 北大核心 2011年第4期656-665,共10页

给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认... 给出了一种离线TTP公平非否认协议的分析方法,离线TTP公平非否认协议得到了广泛的研究,针对离线TTP公平非否认协议的分析并不是那么广泛.针对离线TTP公平非否认协议具有协议簇的特点,将协议实例化,实例化后可以对单个协议实例的非否认性和有效性进行分析;通过扩展Kailar逻辑,增加时间相关限定词来表述协议的执行序列,用协议执行序列来表达和分析协议的公平性和时效性.利用该方法,对两种公平非否认协议进行分析,分析的结果表明CCD不符合公平性,而ZG的时效性不能够得到满足. 展开更多

关键词 离线ttp 公平非否认协议 公平性 非否认性 时效性

在线阅读 下载PDF 职称材料

ZG离线TTP公平非否认协议的一种新改进

2

作者 杨姗媛 朱建明 《计算机应用研究》 CSCD 北大核心 2010年第12期4656-4658,共3页

针对Kremer协议中产生的争端子协议被滥用的问题,提出了一种新的改进方案。该方案在ZG协议的基础上加入时限量T0,并对其安全性及性能进行分析。结果表明,该方案具有公平性非否认性、能防止消息延迟攻击,克服争端子协议被滥用的特点,且... 针对Kremer协议中产生的争端子协议被滥用的问题,提出了一种新的改进方案。该方案在ZG协议的基础上加入时限量T0,并对其安全性及性能进行分析。结果表明,该方案具有公平性非否认性、能防止消息延迟攻击,克服争端子协议被滥用的特点,且协议简单,执行效率高。 展开更多

关键词 ZG协议 离线ttp 不可否认 公平性 时限性

在线阅读 下载PDF 职称材料

降低在途资金风险的TTP方案设计

3

作者 何鲲 李亚平 《合肥工业大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第6期871-875,共5页

文章主要针对网上交易的TTP支付方案中,大量在途资金长时间沉淀于第三方支付平台带来的金融风险问题,设计了一种新的交易流程。该流程通过重新设定参与方、更改请款方式,设计新的基于SET协议的TTP方案,降低传统TTP方案的在途资金风险,... 文章主要针对网上交易的TTP支付方案中,大量在途资金长时间沉淀于第三方支付平台带来的金融风险问题,设计了一种新的交易流程。该流程通过重新设定参与方、更改请款方式,设计新的基于SET协议的TTP方案,降低传统TTP方案的在途资金风险,并同时改善SET协议中存在的证书反复验证、第三方缺乏公信力等问题。新流程进一步提高了TTP方案与SET协议的有效结合,以及网上交易流程的整体效率。 展开更多

关键词 SET协议 ttp方案 在途资金 信息流

在线阅读 下载PDF 职称材料

多电飞机配电系统TTP/C总线应用技术研究 被引量：9

4

作者 邢卉丽 杨善水 +1 位作者 戴高乐 王莉 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2018年第3期336-341,共6页

C类时间触发协议(Time triggered protocol/class C,TTP/C)总线具有安全性高、实时性好和传输速度快的优点,本文提出将TTP/C总线应用于多电飞机配电系统中。首先分析了多电飞机分布式自动配电系统的结构,以及TTP/C总线架构和特点。然后... C类时间触发协议(Time triggered protocol/class C,TTP/C)总线具有安全性高、实时性好和传输速度快的优点,本文提出将TTP/C总线应用于多电飞机配电系统中。首先分析了多电飞机分布式自动配电系统的结构,以及TTP/C总线架构和特点。然后提出了针对飞机配电系统的通讯网络,利用动态链接库分别实现C语言和LabVIEW语言环境下的通讯软件编程。接着给出,偏移地址选择方法决定数据来源走向,提出数据空间转换和格式转换方法提高通讯效率和可靠性。最后经过系统试验表明,该应用技术能够实现飞机配电系统中的TTP/C总线应用,满足系统通讯要求,提高多电飞机通讯系统的可靠性和通讯速度。 展开更多

关键词 多电飞机 分布式自动配电系统 C类时间触发协议(ttp/C) 通讯总线

在线阅读 下载PDF 职称材料

基于离线可信第三方的电子支付协议公平性分析 被引量：4

5

作者 田树华 陈立佳 李建茹 《计算机应用》 CSCD 北大核心 2009年第7期1839-1843,共5页

基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的... 基于离线可信第三方的电子支付协议通常具有复杂结构,它由多个子协议组合而成,与传统认证协议有显著差别,主要表现在协议目标和攻击者模型两个方面。电子支付协议最主要目的是实现买卖双方的公平交换,同时假定交换双方都可能是不诚实的,需要考虑来自协议合法实体的内部攻击。在重新定义协议公平性和攻击者模型的基础上,提出扩展的串空间模型,以一个真实的电子支付协议为对象,演示了基于串空间理论的电子支付协议公平性形式化模型和分析方法,并指出该协议存在安全缺陷,提出改进意见。 展开更多

关键词 电子支付协议 离线可信第三方 公平性 串空间

在线阅读 下载PDF 职称材料

时间触发总线流量调度机制及其实时性分析 被引量：3

6

作者 赵罡 何锋 +1 位作者 徐亚军 李峭 《计算机工程》 CAS CSCD 北大核心 2015年第10期59-65,共7页

根据航空航天综合电子系统中的消息传输要求,在时间触发总线网络架构及时间触发协议(TTP)的基础上,分析时间触发总线的流量类型。针对TTP总线中时间触发周期消息和事件触发非周期消息2种类型的流量,设计基于流量转换策略的消息调度机制... 根据航空航天综合电子系统中的消息传输要求,在时间触发总线网络架构及时间触发协议(TTP)的基础上,分析时间触发总线的流量类型。针对TTP总线中时间触发周期消息和事件触发非周期消息2种类型的流量,设计基于流量转换策略的消息调度机制,包括周期消息优先级调度算法及非周期消息缩微重排序调度算法。通过建立TTP总线的消息传输模型,分析并计算TTP总线中周期消息的传输时延,结合通信降级机制及网络演算方法,得到TTP总线中非周期消息的服务曲线、到达曲线和延迟上界。通过建立TTP总线仿真模型,得出实验最大时延与理论最大时延一致,从而验证基于流量转换策略的消息调度机制能够保证不同类型流量的实时传输。 展开更多

关键词 时间触发协议 调度 实时性 网络演算 缩微重排序

在线阅读 下载PDF 职称材料

一种电子商务协议形式化分析方法 被引量：23

7

作者 卿斯汉 《软件学报》 EI CSCD 北大核心 2005年第10期1757-1765,共9页

提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分... 提出了一种新颖的形式化方法,可以用于分析电子商务协议的安全性质,例如可追究性和公平性.与以前的工作相比较,主要贡献在于:(1)对协议主体的拥有集合给出了形式化定义,且主体的初始拥有集合只依赖于环境;(2)将协议的初始状态假设集合分为3类:基本假设集合、可信假设集合和协议理解假设集合,避免了因非形式化的初始假设而产生的分析错误;(3)对可信假设作细粒度的形式化规范,揭示协议的内涵;(4)建立公理系统,使新方法更为严格与合理. 展开更多

关键词 形式化分析 电子商务协议 可追究性 公平性 可信第三方

在线阅读 下载PDF 职称材料

电子商务协议中的可信第三方角色 被引量：31

8

作者 卿斯汉 《软件学报》 EI CSCD 北大核心 2003年第11期1936-1943,共8页

在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对... 在安全电子商务协议中,可信第三方TTP(trusted third party)担任重要的角色.通过3类不同的协议,即Coffey-Saidha协议、CMP1协议和Asoken-Shoup-Waidner协议,指出TTP在inline TTP协议、online TTP协议和offline TTP协议中的不同作用.对上述协议进行了全面的分析,分别指出它们的特点、缺陷与改进方法. 展开更多

关键词 可信第三方 电子商务协议 非否认性 可追究性 公平性

在线阅读 下载PDF 职称材料

离线公平交换协议的子协议分析 被引量：1

9

作者 李向东 陈莉 王清贤 《计算机工程》 CAS CSCD 北大核心 2010年第3期7-9,12,共4页

离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响,发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现,针对协议中存在的问题... 离线公平交换协议的子协议对其公平性至关重要。使用串空间方法分析2个重要的离线公平交换协议的子协议对协议公平性的影响,发现保持子协议运行的互斥和结果的同步是离线公平交换协议公平性的重要保证。根据该发现,针对协议中存在的问题,给出协议的改进方案,提出设计两方和多方离线公平交换协议的建议。 展开更多

关键词 公平交换 子协议 串空间 离线可信第三方 协议设计

在线阅读 下载PDF 职称材料

一种不可否认协议形式化设计方法

10

作者 刘晶 伏飞 +1 位作者 肖军模 陆阳 《计算机工程》 CAS CSCD 北大核心 2008年第4期164-166,共3页

针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可... 针对目前尚无不可否认协议的形式化设计方法,提出一种基于逻辑的不可否认协议形式化设计方法,包括逻辑语言、定理、推理规则及合成规则。协议设计者用逻辑语言描述协议目标,由该目标出发,运用合成规则逐步推导出一个含可信第三方的不可否认协议。实例证明该方法可以很好地用于辅助不可否认协议的设计与改进。 展开更多

关键词 不可否认协议 形式化设计 逻辑 可信第三方

在线阅读 下载PDF 职称材料

电子商务中的不可否认和隐私保护协议

11

作者 闻丹岩 夏国平 《北京工业大学学报》 EI CAS CSCD 北大核心 2007年第6期642-649,共8页

为了实现电子商务中交易的不可否认和隐私信息保护,对不可否认协议NRP3进行了改进,并基于修改后的NRP3进行了具有不可否认和隐私保护功能的电子商务原型系统开发．结果表明,扩展后的NRP3能满足电子商务应用需求,提供了客户和商家之间的... 为了实现电子商务中交易的不可否认和隐私信息保护,对不可否认协议NRP3进行了改进,并基于修改后的NRP3进行了具有不可否认和隐私保护功能的电子商务原型系统开发．结果表明,扩展后的NRP3能满足电子商务应用需求,提供了客户和商家之间的不可否认和隐私保护功能． 展开更多

关键词 不可否认协议 隐私保护 电子商务 可信第3方

在线阅读 下载PDF 职称材料

一个挂号邮件协议的缺陷分析和改进

12

作者 李慧 《陕西科技大学学报（自然科学版）》 2006年第2期99-102,共4页

可信第三方TTP(trustedthirdparty)在电子商务协议中担任着重要的角色,作者在文中通过分析一个挂号邮件协议指出了TTP在离线TTP协议中的作用,说明了其中存在的缺陷及恶意的参与方利用该缺陷可能发起的攻击方法,最后给出了协议的改进建议... 可信第三方TTP(trustedthirdparty)在电子商务协议中担任着重要的角色,作者在文中通过分析一个挂号邮件协议指出了TTP在离线TTP协议中的作用,说明了其中存在的缺陷及恶意的参与方利用该缺陷可能发起的攻击方法,最后给出了协议的改进建议,并验证了其可行性。 展开更多

关键词 可信第三方 挂号邮件 安全协议 公平性

在线阅读 下载PDF 职称材料

群组RFID标签所有权转移协议的分析与设计 被引量：5

13

作者 梁樱 姚孝明 《计算机工程与设计》 CSCD 北大核心 2014年第8期2645-2649,2659,共6页

针对RFID标签所有权转移过程中的安全隐私问题以及标签常以群组方式发生所有权转移的特性,分析现有群组RFID标签所有权转移协议设计方案的不足,基于可信第三方(trusted third party,TTP)对称密钥更新管理策略,采用简单加密哈希函数与轻... 针对RFID标签所有权转移过程中的安全隐私问题以及标签常以群组方式发生所有权转移的特性,分析现有群组RFID标签所有权转移协议设计方案的不足,基于可信第三方(trusted third party,TTP)对称密钥更新管理策略,采用简单加密哈希函数与轻量级对称加密算法,提出一个新的安全群组RFID标签所有权转移协议SGOTP。该协议可在一次会话中同时转移多个标签所有权,能抗击相应安全隐私威胁,避免出现双重所有权。理论分析结果表明,与同类协议相比,该协议具有更高的安全性和更低的标签计算复杂度。 展开更多

关键词 RFID标签 群组 所有权转移 协议 可信第三方 安全隐私 计算复杂度

在线阅读 下载PDF 职称材料

基于条件可信第三方的不可否认协议

14

作者 沈炜 陈纯 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2004年第1期35-38,共4页

扩展半可信第三方的思想,提出"条件可信第三方"的概念,即任意第三方在满足限定条件的前提下,要么是可信的,要么行为是可验证的.同时,结合离线第三方的思想,提出基于离线条件可信第三方的不可否认协议.相比于原有协议,新的协... 扩展半可信第三方的思想,提出"条件可信第三方"的概念,即任意第三方在满足限定条件的前提下,要么是可信的,要么行为是可验证的.同时,结合离线第三方的思想,提出基于离线条件可信第三方的不可否认协议.相比于原有协议,新的协议进一步减少了对可信第三方的依赖. 展开更多

关键词 条件可信第三方 不可否认协议 安全协议 离线第三方 网络环境

在线阅读 下载PDF 职称材料

基于区块链的公平多方不可否认协议 被引量：5

15

作者 苑博奥 刘军 李戈 《密码学报》 CSCD 2018年第5期546-555,共10页

多方不可否认协议有着广泛的应用场景,诸如多方电子支付和视频会议等.在这些应用场景中,各参与方互不信任,有着事后否认曾参与协议的可能,多方不可否认协议便是为解决这一问题而产生的一类密码协议.为实现协议的公平性,现有的多方不可... 多方不可否认协议有着广泛的应用场景,诸如多方电子支付和视频会议等.在这些应用场景中,各参与方互不信任,有着事后否认曾参与协议的可能,多方不可否认协议便是为解决这一问题而产生的一类密码协议.为实现协议的公平性,现有的多方不可否认协议都依赖于可信第三方TTP的参与,中心化的TTP成为了协议的性能瓶颈,同时,在现实中很难保证TTP的完全可信,给协议带来了潜在的安全威胁.在区块链中,所有的节点通过共识算法共同维护一个公开链结构,提供了类似去中心化TTP的功能,有助于解决由中心化TTP带来的性能和安全问题.本文基于公开链结构,提出一个完全无TTP参与的多方不可否认协议,并用形式化分析方法证明了协议满足不可否认性、公平性和时限性.与经典协议进行对比,所提协议在各项指标中均显示了良好的性能. 展开更多

关键词 多方不可否认协议 区块链 无ttp 不可否认性 公平性 时限性

在线阅读 下载PDF 职称材料

基于离线条件可信第三方的挂号邮件协议

16

作者 沈炜 《计算机工程》 CAS CSCD 北大核心 2004年第7期108-110,共3页

扩展了半可信第三方的思想，提出条件可信第三方，给出可接受的第三方必须满足的条件，并结合离线可信第三方提出一个基于离线条件可信第三方的挂号邮件协议，目的是在保证可接受的公平结果的前提下尽可能减少对可信第三方的依赖；新协... 扩展了半可信第三方的思想，提出条件可信第三方，给出可接受的第三方必须满足的条件，并结合离线可信第三方提出一个基于离线条件可信第三方的挂号邮件协议，目的是在保证可接受的公平结果的前提下尽可能减少对可信第三方的依赖；新协议在离线可信第三方介入的情况下能够达到可接受的公平结果；而且协议中的证据是第三方可验证的，未使用特殊的签名和加密技术，具有较好的适用性。 展开更多

关键词 挂号邮件 条件可信第三方 安全协议

在线阅读 下载PDF 职称材料

基于FlexRay总线的无人机航电系统设计 被引量：4

17

作者 豆海利 《现代电子技术》 2021年第23期13-17,共5页

针对中小型无人机航电系统,选用具有时间触发特性的FlexRay总线作为系统通信总线,采用双通道冗余传输方式,保证了数据通信的实时性、稳定性和安全性。依据ASAAC统一架构标准和ARINC653结构设计方法,在对系统应用需求分析的基础上,设计... 针对中小型无人机航电系统,选用具有时间触发特性的FlexRay总线作为系统通信总线,采用双通道冗余传输方式,保证了数据通信的实时性、稳定性和安全性。依据ASAAC统一架构标准和ARINC653结构设计方法,在对系统应用需求分析的基础上,设计出了综合化、网络统一化、具有蓝图配置的无人机先进航电系统架构,并通过集成配置平台,利用XML文件实现系统ICD的动态装载,能够支持系统管理、网络通信、时间同步、容错策略等功能。最后完成了系统半实物仿真实验,验证结果表明设计方案合理可行,该系统具有重构性、可扩展和健壮性,能够满足中小型无人机先进航电系统的应用要求,为未来新型分布式综合模块化航空电子系统的研究与设计提供了技术支持。 展开更多

关键词 综合模块化航空电子 无人机 FLEXRAY ARINC653 时间触发协议 开放式系统架构 系统健康管理 蓝图配置

在线阅读 下载PDF 职称材料