群组通信中密钥管理协议

为了提高群组通信中密钥管理协议的安全性和执行效率,分析了群组密钥中集中式密钥管理和分布式密钥管理,针对这两类协议的优势和不足,构造了一种群组密钥管理协议,此协议保留了集中式密钥管理中群组服务器,并融入了分布式管理协议的特点,吸取了两者的优点.最后我们对该协议的安全性和有效性进行了分析.结果表明,在安全性得到保证的前提下显著地提高了协议的执行效率.     

基于符号模型的TLS1.3协议安全性自动化分析

网络安全是网络空间安全的一个重要研究领域,网络安全协议则是实现网络安全的核心技术.在2017年最新发布的TLS1.3协议是实现网络安全的一个关键传输层安全协议,因此其安全性受到了人们的广泛关注.为了验证TLS1.3协议的安全性,尤其是秘密性和认证性,尝试基于符号模型,首先基于Applied PI演算对TLS1.3协议进行形式化建模,进而使用非单射性建模认证性,然后将针对TLS1.3协议的Applied PI演算模型转换为安全协议分析工具ProVerif的输入,应用ProVerif对其进行形式化分析,实验结果表明TLS 1.3协议具有良好的认证性和机密性.     

风险投资估值调整协议的实物期权价值及其应用

为了分析风险投资估值调整协议的合理应用对于风险投资活动的重要意义.本文以蒙牛与大摩等投资机构签订的估值调整协议为现实背景,凝练出了估值调整协议的特点:规避风险、达到双赢是估值调整协议的目标;不确定性是估值调整协议的基础;绩效考核是约束手段、股权是激励筹码;合理估值是实现双赢的必备条件.基于上述特点,本文构建了估值调整协议的实物期权模型,证明给出估值调整协议的实物期权价值及双赢后风险投资主体退出的最佳时机解析解,并通过算例进行了验证,最后得出了风险投资估值调整协议是以双赢和规避风险作为其目标,并当项目价值大于约定临界值后,风险投资主体并不会长时间的等待而是及时选择合适时机退出的结论.     

无线局域网两种多点传输协议的排队性能分析

基于随机多址访问冲突避免(CSMA/CA)技术的IEEE 802.11多播协议,没有解决媒体访问控制层(MAC)丢失的多播帧的恢复问题.文献[1]和[2]提出的多播协议考虑了多播帧的重传,但缺乏详尽的解析分析.本文分析了这两种多播协议的重传概率,建立了其带休假的M/G/1排队模型,采用解析分析的方法严格论证了系统的性能;推导出两种协议的时延和吞吐量表达式;利用MATLAB软件,仿真分析了参数对协议时延和吞吐量的影响.本文结果为进一步完善多播协议的性能提供了理论支持.     

一种改进企业在框架协议下库存管理的方法

企业为了货源的稳定而与供应商签订一定期限内的订购框架协议,但如何实施订购策略以保障协议量的完成,保证满足需求的同时最小化企业的库存成本成为企业必须考虑的一个问题.传统的企业库存管理方法如(r,Q)、(s,S)等订购策略在一定程度上只考虑了如何满足需求,避免缺货,而没有考虑供应商的供货能力,在协议期内的总订购量只考虑了需求的影响,因而不能保证框架协议的完成.本文在(s,S)策略的基础上,考虑了框架协议的约束,提出了一种既能够保障框架协议的完成,又能够最大限度满足需求,同时降低企业库存成本的方法一“双表作业法”,并验证了方法的有效性.     

基于不经意传输协议的隐私保护推荐算法研究

在当今的网络购物环境下,相互竞争的两家购物网站会为了自身利益,会考虑在某一领域开展合作.而合作的前提条件就是不能泄露自己的核心信息给对方,即合作下的隐私保护问题,基于不经意传输协议(Oblivious Transfer Protocol,OT协议)设计了一个安全两方协同计算协议方法,有效地解决了二个参与方在协同过滤推荐中的隐私保护问题,并给出了协议的安全性及正确性证明.     

大规模云系统中的绿色资源分配模型研究

为了实现大规模云环境下的资源分配和绿色计算,提出了一种绿色资源分配协议.协议通过服务器整合(Server Consolidation)在一定CPU与内存资源限制之下,可以最大限度地减少云系统功耗,并适应不断变化的负载模式.仿真实验数据证明了协议的有效性和可扩展性.     

基于三维矩阵重构争论有向图的域间路由振荡检测算法

边界网关协议(Border G atew ay P rotoco l,BGP)是当前In ternet域间路由协议的事实标准,基于策略的路由选择过程使它不再是严格意义上的距离矢量协议,也不再具有距离矢量协议的收敛性.V aradhan指出,自治系统各自为政的策略配置方式会导致全局策略冲突,引起永久性的路由振荡.针对该问题,G riffin利用稳定路径问题(S tab le Path P rob lem,SPP)模型形式化的抽象出BGP协议行为,并以此为基础提出了一种分布式的策略冲突检测算法,尽管该算法完全避免了传统方法的缺陷,但仍然存在泄漏策略信息和对BGP协议改动太大以及浪费网络资源的问题.本文提出了一种基于安全多方计算的检测路由策略冲突的方法,用于在怀疑BGP路由发生振荡时,动态的检测系统中是否存在策略冲突.该方法采纳了G riffin的理论基础,同时由于巧妙的运用了安全多方计算协议,可以完全解决G riffin算法的问题,具有很好的实用性.     

新型节能BT下载协议的设计与验证

随着因特网普及,因上网而消耗的能源迅速上升,逐渐成为世界能源消耗的主要部分之一.这些能源绝大部分消耗在终端计算机上,包括用户的个人电脑和大型数据中心的服务器等.将重点考虑用户在P2P下载(如BT下载)中,因个人电脑必须处在长期工作状态而导致的能耗.我们设计了一种新型的BT下载协议,引入一种新的BT协议的网络结构,从而在不牺牲用户BT下载的速度的情况下,允许用户的个人电脑在一定时间内待机或关机,以此大量降低BT下载协议的能耗.对该协议用实验进行了验证,实验证明新型BT下载协议最高可以减少95%的能耗,同时还能缩短文件的平均下载时间.     

跨境审计的障碍

2011年8月,美国的PCAOB（美国公众公司会计监督委员会）想与中国相关监管机构,就双边的跨境审计问题达成一个协议,但是该协议最终并没有达成。很多人希望知道这中间的障碍是什么。     

承诺方案的研究

承诺方案是一种重要而有用的密码学基本协议,它在密码学领域中的零知识证明、安全多方计算协议、电子货币、电子选举等众多密码学协议的构造中起着十分重要的作用.我们介绍了承诺方案的应用背景、定义、分类、构造以及它在密码学领域中所起的重要作用.同时,对目前密码学领域中关于承诺方案的研究热点也进行了阐述.     

寡头竞争模型在旅游联盟协议中的应用

博弈论中的寡头竞争模型在经济、政治、军事等社会科学中得到了广泛的应用.针对旅游联盟的机会主义行为,以库诺特(Cournot)寡头竞争模型为基础建立了旅游联盟博弈模型,来分析旅游联盟建立正式协议的必要性,并探讨了联盟协议的主要内容,包括:联盟的战略目标和合作范围;投入资源评价与利益分配;交流渠道;联盟解散条款.最后指出了建立协议的协商原则和灵活性原则.     

数字

近10亿美元 美中达成商业协议 一位随同美国副总统拜登（Joe Biden）访华的美国政府官员近日表示,美国和中国将宣布两国在拜登访问期间达成的价值近10亿美元的商业协议。他没有透露其他细节。     

移动自组网络N次空间重用的离散时间马氏链模型

移动自组网络(简称MANET)目前已经成为4G中的重要研究课题.本文在一个典型的随选型路由协议即动态源路由(DSR)协议的基础上,通过对信号强度进行分级来描述节点之间的相对距离,同时利用定向天线技术,建立了移动自组网络有空间重用的离散时间马氏链模型.通过计算平稳分布,进一步分析了节点相邻的概率和节点的平均邻居数两个基本的网络参数.并以定向天线发送信号的特性为基础,给出了一个具体实例,分析相应的参数.这对路由协议的评价和性能分析具有理论上的指导意义.     

反贿完美风暴

AI Yamamah协议签署于1985年，协议标的成本超过400亿英镑．内容包括向沙特阿拉伯出售龙卷风系列飞机，并提供长久的服务。2007年，BAE集团又签订了价值几十亿英镑的Salam合约，出售72架台风系列飞机给沙特阿拉伯。     

国际气候谈判达成合作协议的内在动因与稳定性研究

通过建立国际气候谈判的合作博弈理论模型,从协议内部缔约国收益预期出发,研究气候谈判国际合作治理的内在动因与稳定性。结论表明:合作协议有助于异质性国家间增加温室气体减排治理带来的收益,参与气候谈判的国家间形成合作协议的内在动因,正是对合作净收益的预期分配;而这种内在动因并不能使合作协议达到均衡,均衡的实现过程,是对预期净收益的内部分配政策的调整过程:当部分谈判参与国以退出合作联盟作为最有力威胁,没有任何一方能在联盟瓦解时,在不造成损失的情况下获得效用的增加,这就使谈判参与国在相互制衡中形成稳定状态。研究贡献在于突破了固有的非合作博弈框架,在更为一般层面上解释了异质性国家间的气候谈判合作机理,有助于各国采取有效措施建立气候合作联盟,应对气候挑战。     

分众减法 中国公司理财标杆系列报道·分众传媒

这一次,江南春和它的分众公司彻底回到了“梦”开始的地方。 7月30日,分众传媒（Nasdaq：FMCN）宣布与私募股权投资基金银湖投资集团（Silver Lake）签署了最终股权转让协议。据此协议规定,分众传媒将把旗下的互联网业务——好耶及其附属公司一并出售给银湖投资集团。     

开放授权协议在云学习中的应用研究

云学习如今已经成为现代教育技术发展的一个重要方向,一个依托于云计算技术而设计的网络教学平台将成为网络教学顺利开展的重要基础.在整个网络教学平台中,账户管理是一个网络平台正常运行的基础,这其中又以用户注册和登录最为重要.所介绍的开放授权协议即针对传统账户管理模式的不便提供了新的思路文章中首先简要介绍了OpenID与OAuth两种账户管理模式的发展历程,并对这两种用户管理模式进行比较,然后重.点介绍开放授权协议模式下网络平台搭建的思路和方式.最后,以一个微博教学平台为例,介绍了基于开放授权协议的微博教学平台搭建的过程.     

基于生产能力储备的应急物资协议企业选择研究

一般市场供应很难满足突发事件对应急物资的巨大需求,生产能力储备是解决问题的一种途径.企业平时生产能力储备与应对突发事件的保障量之间差距较大,政府通过补贴促使协议企业拓展生产能力储备.而随储备水平的升高协议企业要求的补贴程度增大,在应急经费约束下,政府应适时选择其它的物资储备形式或生产能力储备企业,提升应急经费支出效率.     

具有部分状态信息的二阶多智能体系统的一致性

研究二阶连续多智能体系统的一致性问题,其中每个智能体只能在一系列离散时刻上获得位置信息.为了关于完全状态,即位置和速度,都达到一致,设计一类协议,并建立在该协议下,一致性成立的充要条件.该条件揭示了交流拓扑、控制器增益、采样周期和保持器的更新周期之间的关系.仿真例子表明理论结果是有效的.