导读:本文包含了复合型协议论文开题报告文献综述及选题提纲参考文献，主要关键词:复合型电子支付协议,双向认证,SVO逻辑,Kailar逻辑
复合型协议论文文献综述
丁月,汪学明[1]（2018）在《一种新的复合型电子支付协议及其形式化分析》一文中研究指出针对现有复合型支付协议AECPP的单向身份认证中易受匿名攻击、支付子协议的完整性不能有效保证这些不足,提出一种新的复合型电子支付协议。新协议实现了用户与服务供应商之间的双向认证,通过引入Hash函数和经由第叁方信息的转发进一步提高了支付子协议的完整性和保密性。通过SVO逻辑和Kailar逻辑形式化分析验证可知,新的复合电子支付协议满足双向认证性、可追究性和公平性。(本文来源于《计算机应用与软件》期刊2018年06期）
辛均庆,陈枫[2]（2014）在《南方舆情研究院揭牌》一文中研究指出6月16日，南方舆情研究院举行揭牌仪式，与七个机构签订战略合作协议，聘请工程科学专家为南方舆情专家委员会第二批委员。同时，由南方舆情研究院与工信部网络舆情研究中心联合举办的“舆情引导与新闻素养培训班”宣布于7月下旬在广州开班。 省人大常委会副主(本文来源于《南方日报》期刊2014-06-17）
[3]（2013）在《集善瑞安培训项目捐赠协议在京签署 为残疾人福利事业培养复合型公益人才》一文中研究指出2013年3月11日,"集善瑞安培训项目"捐赠仪式在京举行。中国残联副主席、中国残疾人福利基金会理事长汤小泉和瑞安集团主席、中国残疾人福利基金会理事罗康瑞代表双方签署了《集善瑞安培训项目捐赠协议》。协议约定,2013年至2017年,上海瑞安房地产发展有限公司每年向中国残疾人福利基金会捐赠40万元人民币,五年共计捐赠200万元人民币,定向开展集善瑞安培训项目。中国残疾人福利基金会邓朴方会长曾指出:"基金会要把队伍建设看作推动各项工作的关键,始终不懈地抓下去。"该项目旨在通过组织中国残疾人福利基金会和部分省(本文来源于《中国残疾人》期刊2013年04期）
陈莉,袁开银[4]（2012）在《满足多种安全属性的复合型支付协议及其逻辑分析》一文中研究指出针对典型电子支付协议存在的安全目标单一,不能满足日益提高的安全需求等问题,提出了一种能够满足认证性、密钥新鲜性、密钥秘密性、非否认性、公平性、可追究性和原子性等多种安全属性的复合型安全支付协议,该协议的认证子协议基于令牌概念设计,能够实现高效认证及会话密钥协商。通过引入公钥证书证明协议主体的身份、借助可信方传递付款收据以及采用FTP方式传送电子货币和付款收据等方式提出了支付子协议。使用逻辑分析方法对该协议进行严格逻辑推理验证,结果表明该协议能够满足多种安全属性。(本文来源于《计算机应用研究》期刊2012年07期）
山船[5]（2011）在《大宇:造船、海工、能源，一个也不能少》一文中研究指出本报讯 大宇造船海洋总经理南相泰日前明确提出了该公司今后的发展战略思路，即海洋油气等资源开发生产与海工装备制造供应相结合的复合型战略。近年来，大宇造船海洋在安哥拉、巴西和俄罗斯等国先后承接到部分油船和海工装备订单，也与巴、俄等国的造船企业开展了不同形式的(本文来源于《中国船舶报》期刊2011-12-16）
陈莉,郭清溥[6]（2010）在《新的复合型电子商务安全协议》一文中研究指出针对典型电子商务安全协议存在的安全目标单一,不能满足日益增加的安全需求等问题,提出了一种能够满足多种安全属性的复合型电子商务安全协议,该协议包含认证子协议和支付子协议两部分。认证子协议基于令牌概念实现了高效认证及协商会话密钥。改进匿名电子现金支付协议,提出了支付子协议,引入电子证书证明交易主体的身份,确保协议非否认性的实现;借助可信方传递付款收据,避免交易主体不诚实所导致的公平性缺失;引入FTP传输方式传送电子货币和付款收据,确保实现可追究性与公平性,进一步增强协议的鲁棒性。(本文来源于《计算机工程与应用》期刊2010年11期）
蔡海尼,朱晓飞[7]（2008）在《基于Z39.50协议的分布式检索在复合型图书馆系统中的应用》一文中研究指出通过分析复合型数字图书馆系统信息检索的特性,以及对基于移动主体分布式信息检索技术与Z39.50标准协议的研究,并利用基于移动主体分布式信息检索的灵活性和高效性与Z39.50协议强壮的广播检索能力,设计实现了应用于复合型数字图书馆系统的基于移动主体的分布式检索子系统Web-OPAC,并在ADLibSys项目中得以应用,使跨库检索的准确率和速度得到很大的提高。(本文来源于《计算机科学》期刊2008年08期）
周勇,朱梧槚[8]（2006）在《复合型安全协议及其验证》一文中研究指出根据可信第叁方(Trusted third part,TTP)参与通信的方式,安全协议可以分为在线TTP型和离线TTP型两类。分析了两类协议的优缺点,提出了一种复合型安全协议,在同一协议中结合了两种方式,方式的选择由消息发送方和接收方共同决定。该协议由4条规则组成。为了描述协议的动态运行过程,对SVO逻辑系统进行了扩充,增加了3条公理,用于刻划消息接收者的不可否认性。基于扩充后的SVO逻辑系统对复合型安全协议进行了形式化描述,证明了该协议具有不可否认性。(本文来源于《南京航空航天大学学报》期刊2006年06期）
华中文,宋金萍[9]（2006）在《江苏与印度联手培养软件人才》一文中研究指出本报讯 7月31日上午，省教育厅暨我省15所本科院校与印度NIIT（安艾艾迪信息技术学院）整体签署了合作培养软件人才的协议。这是继年初江苏联合职业技术学院与NIIT签署合作协议后，我省软件人才最大规模的国际合作项目。在15所本科院校合作的基础上，我省将进(本文来源于《新华日报》期刊2006-08-01）
复合型协议论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
6月16日，南方舆情研究院举行揭牌仪式，与七个机构签订战略合作协议，聘请工程科学专家为南方舆情专家委员会第二批委员。同时，由南方舆情研究院与工信部网络舆情研究中心联合举办的“舆情引导与新闻素养培训班”宣布于7月下旬在广州开班。 省人大常委会副主
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
复合型协议论文参考文献
[1].丁月,汪学明.一种新的复合型电子支付协议及其形式化分析[J].计算机应用与软件.2018
[2].辛均庆,陈枫.南方舆情研究院揭牌[N].南方日报.2014
[3]..集善瑞安培训项目捐赠协议在京签署为残疾人福利事业培养复合型公益人才[J].中国残疾人.2013
[4].陈莉,袁开银.满足多种安全属性的复合型支付协议及其逻辑分析[J].计算机应用研究.2012
[5].山船.大宇:造船、海工、能源，一个也不能少[N].中国船舶报.2011
[6].陈莉,郭清溥.新的复合型电子商务安全协议[J].计算机工程与应用.2010
[7].蔡海尼,朱晓飞.基于Z39.50协议的分布式检索在复合型图书馆系统中的应用[J].计算机科学.2008
[8].周勇,朱梧槚.复合型安全协议及其验证[J].南京航空航天大学学报.2006
[9].华中文,宋金萍.江苏与印度联手培养软件人才[N].新华日报.2006