CC-Paxos：整合广域存储系统的一致性和可靠性

针对因果一致性模型约束过多且表达能力不足的问题,提出一种强的分布式上下文一致性模型。剔除同一用户的操作中非强制性的依赖关系,以及在不同客户端间定义所需的操作依赖;在此基础上,设计一种解决Paxos不能满足上层一致性需求问题的、实现分布式上下文一致性模型的共识算法CC-Paxos。利用时间戳给分布式上下文中的操作定序,采用细粒度的依赖检测,高效减少冲突操作的数目。实验结果表明,与在上层使用causal+一致性、下层用Egalitarian Paxos的方法相比,CC-Paxos显著降低了延迟,增加了吞吐量,且不需牺牲可扩展性。

股权回购型对赌协议的基本原理与效力认定

以股权回购为常见形式的对赌协议,是一种具有商业惯例因素并符合企业经营内在逻辑的投资工具,属于狭义的非典型合同,背后的学理基础在于诚实信用原则。中国关于股权回购型对赌协议的规范性文件通常认可其法律效力,其中包括但不限于纪要对司法审判的影响。既往司法实践对于协议的效力认定经历了两个阶段的发展:第一阶段在于认定协议的合法性,“华工案”的裁判思路反映出对双方当事人交易的自主意愿的尊重。第二阶段是协议的可执行性问题,一方面需要结合资本维持和清偿能力标准判断协议的可履行性;另一方面在具体的履行程序上,协议双方当事人也要事先做好周密安排。

Technip公司和Enerkem公司签署合作协议以加快Enerkem气化技术部署

Technip能源公司和Enerkem公司正式签署了一项合作协议,以加快Enerkem技术的部署,该技术可将不可回收的废物和残渣转化为可持续燃料和循环化学产品。Enerkem公司的气化技术用于生产可持续燃料和化学品,可用于航空燃料和船用燃料等生产。根据协议条款,Technip和Enerkem将向客户提供从战略工厂设计到模块化项目交付服务的一切服务。作为Enerkem的战略合作伙伴,Technip能源公司将贡献其在工程设计(包括模块化)、技术集成(氢气、碳捕集等)和项目交付领域的专业知识。

面向物联网设备的轻量化Elgamal算法实现MQTT协议安全通信的研究

MQTT协议作为一种低开销、低带宽占用的即时通信协议,在物联网、小型设备和移动应用等领域得到广泛应用。基于此,提出了一种基于蒙哥马利幂模运算的高效轻量级Elgamal加密算法,并与MQTT协议相融合以补充MQTT协议的通信安全性。新的Elgamal算法能在轻量级嵌入式设备上部署,且硬件开销非常低。文中在ES8H0183FLLT和ESP8266模块上实施了软硬件系统搭建,验证了新协议的性能表现。实验结果证明,新的MQTT协议能够大幅降低硬件资源消耗,有效保障数据传输的安全性,为构建安全可靠的物联网通信系统提供了有力支持。

企业对赌协议融资风险识别及防范

对赌协议是一种在投资并购活动中常用的私募股权融资工具,虽然我国在发展该模式方面起步较晚,但发展速度较快,已成为中小企业解决融资困难的有效手段。然而,企业在使用对赌协议融资模式时也面临诸多风险。为充分发挥对赌协议的优势,企业需要做好市场分析,选择合适的对赌指标和价值评估方法。本文结合实践经验,精准识别企业对赌协议融资模式中存在的风险,并提出防范对策。

网络协议软件漏洞挖掘技术综述

网络协议软件部署和应用非常广泛,在网络空间提供了诸如通信、传输、控制、管理等多样化的功能.近年来,其安全性逐渐受到学术界和工业界的重视,及时发现和修补网络协议软件漏洞,成为一项重要的课题.网络协议软件由于部署形态多样、协议交互过程复杂、相同协议规范的多个协议实现存在功能差异等特点,使得其漏洞挖掘技术面临诸多挑战.首先对网络协议软件漏洞挖掘技术进行分类,对已有关键技术的内涵进行界定.其次,进一步综述网络协议软件漏洞挖掘4个方面的技术进展,包括网络协议描述方法、挖掘对象适配技术、模糊测试技术和基于程序分析的漏洞挖掘方法,通过对比分析归纳不同方法的技术优势及评价维度.最后,总结网络协议软件漏洞挖掘的技术现状和挑战,并提炼5个潜在研究方向.

CARINA:一种高效的解决IoT互操作性的应用层协议转换方案

为了解决物联网设备众多、协议众多,以及协议架构和应用场景不同引发的物联网设备互操作性问题,针对应用层使用广泛的HTTP等4种协议,提出了一种基于协议包解析和关键方法映射的高效可扩展的应用层协议转换方案。考虑到4种协议的基础架构、消息格式、通信模式以及应用场景具有较大差异,该方案通过对协议原始数据包进行解析和关键信息提取,然后统一以键值对的形式进行信息存储,解决了不同协议信息存储的统一性问题。通过构造关键方法映射表,将不同协议的方法进行映射,实现了不同协议之间的互联。实验结果表明,基于所提方案实现的协议转换系统能很好地完成4种协议之间的消息转换。相比同类型的Ponte方法,在相同实验条件下,所提方案的转换速度都优于Ponte,甚至在某些情况下表现出了将近10倍的速度差距,同时支持多出一倍的转换类型。实验结果验证了所提方法在可扩展性和转换时间等效率方面相比同类型的协议转换算法具有显著提升。

基于MQTT协议的轻量化文本信息分发技术研究

随着卫星通信网络的发展,基于卫星通信网络实现手机、平板电脑等移动通信设备之间的通信成为研究的热点。由于其采用无线电波进行信号传输,且需要经过多个中继站进行信号的转发和处理,导致存在网络延时大、丢包率高以及信道狭窄等问题。针对文本信息在卫星通信网络下的分发过程存在效率低下、可靠性不高的问题,设计一种基于MQTT(Message Queuing Telemetry Transport)协议的轻量化文本信息分发技术。该技术使用MQTT协议作为消息传输协议,在文本信息分发前对MQTT协议进行主题设计、发布订阅机制设计、设备连接设计以及设备心跳设计,确保设备之间的连通性;在文本信息的分发过程中,设计数据校验加密算法、文本信息轻量化处理方法和离线消息存储机制,保证文本信息分发的安全性、可靠性。实验结果表明:相较于传统的基于JSON数据的文本信息分发技术,该技术在提高文本信息分发效率的同时,可确保信息分发的安全性、完整性和稳定性。

基于多协议融合的弱电机房一体化管控及其策略研究

随着高校信息化建设和应用的深入,弱电机房及其内部的智能化设备数量与日俱增。设备的安全运行状态监测和机房环境监测报警成为学校信息化运维管理工作中的重要内容。不同类型监测设备、管控设备之间的通信协议严重影响了运维管理效率和质量。通过构建多协议融合一体化管控平台,可实现数据传输、协议转换、数据分析预警、智能管控一体化,加强不同系统间设备的互联互通,提升管理效率和水平。

无人机安全通信协议研究综述

随着新技术的快速发展,无人机(Unmanned Aerial Vehicle,UAV)在民事及军事活动中的应用越来越广泛。尽管无人机具有实用性优势,但是由于其无线信道的广播特性,导致其通信易受监听、篡改,甚至可能被劫持,无人机面临的这些安全性问题亟待解决。为了克服这些安全威胁,研究人员一直致力于安全通信协议的研究,以保护无人机,使其免受攻击者的攻击。无人机是资源受限的空中平台,因此研究轻量级、实时性强、安全性高的通信协议,分析其漏洞和弱点变得至关重要。探索了适用于无人机通信的安全协议技术体制,为未来各场景中无人机安全协议设计及工程实践提供有意义的借鉴。

网络通信中嵌入式TCP/IP协议单片机技术的应用

嵌入式系统已经是当前网络通信的主要技术。单片机在嵌入式系统开发与实现中的多个环节发生作用。为此,文章重点探讨在网络通信系统嵌入式协议中单片机的具体应用。首先对嵌入式协议技术的总体架构与技术细节进行了汇总;其次对单片机技术及其作用进行了探讨;最后从多个方面分别分析了单片机在具体电路中的应用。以期为后续的产品开发与技术应用奠定基础。

IKEChecker:语法引导的IKE协议有状态模糊测试

互联网密钥交换(IKE,internet key exchange)协议用于在IPSec(internet protocol security)协议中进行身份验证和密钥协商,其安全性对保护IP通信至关重要,复杂的协议逻辑导致协议实现中难免存在安全漏洞。模糊测试是检测协议实现中潜在漏洞的有效手段,但将现有模糊测试工具直接应用于IKE协议时,存在生成测试用例质量不高、难以探索深层状态空间等局限性。针对上述问题,设计了基于IKE协议语法的变异策略来减少无效测试用例的生成,同时增加测试用例的多样性;引入了基于进化策略的变异调度方案来自动优化变异算子的概率分布,进一步提高生成高质量测试用例的概率;设计了消息处理器用来维护协议交互上下文信息并执行密码学相关的操作,从而支持在黑盒条件下对IKE协议进行测试,并实现对深层协议交互行为和状态空间的探索。基于上述方法实现了IKE协议有状态模糊测试工具IKEChecker,该工具支持对IKEv1和IKEv2协议进行测试。对两种广泛使用的支持IKE协议实现的开源软件strongSwan和Libreswan进行测试,发现4个未公开漏洞;通过与其他模糊测试工具对比,评估了IKEChecker在漏洞检测方面的效率。

个性化工作协议对员工越轨创新的影响机制研究

随着员工个性化需求的不断增加,个性化工作协议已成为人力资源管理实践的一种有效工具。基于资源保存理论,文章探讨个性化工作协议促发员工越轨创新的作用机制和边界条件,验证反馈寻求行为的中介作用以及上下级关系在该机制中的调节作用。通过373份样本数据的验证,结果发现:个性化工作协议对员工越轨创新具有显著正向作用;反馈寻求行为在个性化工作协议和员工越轨创新之间起部分中介作用;上下级关系能够强化个性化工作协议通过反馈寻求行为影响员工越轨创新的间接效应。研究结论不仅拓展了个性化工作协议的理论研究视角,更为组织充分发挥个性化工作协议的有效性提供了实践指导。

论仲裁协议对代位权行使的影响——兼评《合同编通则解释》第36条

由于代位权的行使涉及债权人、债务人和债务人的相对人三方主体,因此在两方主体间存在仲裁协议时,该协议是否应当约束第三方,在实践中经常发生争议,为统一裁判规则,《合同编通则解释》第36条就仲裁协议对代位权的影响作出了规定,该条并没有承认代位仲裁协议当然对债权人产生拘束力,从而维护了仲裁中合同相对性规则的适用,该条也明确了即使存在仲裁协议,债权人也可以通过诉讼程序行使代位权,但债权人行使代位权时要受仲裁协议的影响。依据这些规定,债务人的相对人在一审辩论终结前已申请仲裁的,应中止代位权诉讼。这些规定有效衔接了代位权与仲裁协议的关系,体现了对当事人私法自治的尊重,而且也解决了司法实践中长期以来存在的争议。

行政协议单方变更解除权的规范行使研究

《最高人民法院关于审理行政协议案件若干问题的规定》明确了行政机关享有基于优益权的行政协议单方变更解除权。行政机关依据公共利益优先、平衡公私利益及契约精神等理念行使单方变更解除权。文章通过分析司法实践中的案例,发现了行政机关单方变更解除行政协议的依据不清晰、程序适用不规范、赔偿补偿标准不明确、与民事合同的变更解除区分不明确等问题,指出须明晰权力行使依据,规范行使程序,明确补偿方式及标准,区分单方变更解除权与民事变更解除。

适用于智能家居的格上基于身份多方认证密钥协商协议

随着物联网应用的日益普及,物联网设备终端数量激增、种类多样、层次复杂,常处于不可控的环境之中,因此,确保数据传输过程的安全性和隐私性至关重要。对基于物联网架构的智能家居服务进行探讨得出,启用智能家居应用需涉及多个方面,如用户、云、物联网智能集线器(the IoT smart hub,ISH)和智能设备,它们需要多方验证以进行安全通信。由此提出了一种针对智能家居应用的格上基于身份多方认证密钥协商协议,并证明在eCK模型下是安全的。其安全性可以归约到环上带误差学习(ring learning with errors,RLWE)问题的困难性,能够抗量子计算攻击。所提协议由一个格上基于身份的加密方案转换而成,无须公钥证书,避免了部署一个庞大的公钥基础设施(public key infrastructure,PKI)。通过信息交互实现显式认证,且可具有一定的匿名性质,与其他相关的后量子格上多方认证密钥协商协议方案相比,该协议在安全性和执行效率方面更具优势。

离婚协议中“赠与子女财产”条款的性质及其法律适用

在离婚的协商过程中,男女双方通过协议将财产赠与子女,是常见的一种离婚财产处分方式。但由于司法实践对于离婚协议中“赠与子女财产”条款性质认识不同,该条款产生的法律纠纷在法律适用上并不统一。为了给相关纠纷的解决提供一个统一的法律适用标准,通过理论与实践中对该类条款性质认定的不同观点与学说分别进行分析,得出结论:将离婚协议中“赠与子女财产”条款定性为“利益第三人合同”更具合理性。在这一定性的前提下,选择适用《民法典》第522条的规定处理相关纠纷,更能兼顾作为利益第三人受赠子女的利益保护。

基于多级承诺协议的联盟链身份认证方案研究

针对现有方案在差异化隐私保护场景下仅支持粗粒度的属性保护策略,提出了一种基于多级承诺协议的身份认证隐私保护方案(Iascb-Mcp),旨在允许用户根据需求选择性地公开或保密其属性信息,以满足不同隐私场景下的保护需求。该方案通过多级承诺结构实现对用户属性的保护。首先,每个用户属性被分配一个隐私等级,根据隐私等级设计了相应的承诺协议。其次,根据不同隐私级别的用户属性采用不同的身份验证方式,利用零知识证明确保在用户高隐私级别属性不暴露的情况下仍能进行有效身份认证。最后,利用Iascb-Mcp方案构建了一个基于联盟链身份验证的系统,解决了链下用户属性的隐私验证以及链上不同群组之间交易的安全性问题。安全分析与实验结果表明,在身份认证过程中其他用户无法获取证明者的高隐私级别属性;与群签名方案相比,Iascb-Mcp的验证时间降至1~3 s;与双环签名方案相比,新生成的证明文件大小是原文件大小的1/10左右。

一种移动感知的太赫兹无线局域网定向MAC协议

现有太赫兹无线局域网定向MAC(Medium Access Control)协议中,节点移动情况下PNC(PicoNet)发送beacon帧时存在部分控制字段浪费、CTAP(Channel Time Allocation Period)中PNC与DEV(Device)进行波束赋形开销偏大等问题。为此,提出了一种移动感知的太赫兹无线局域网定向MAC(Mobility-aware Directional MAC,MA-MAC)协议。该协议采用基于卡尔曼算法的节点扇区预测机制对移动节点的扇区范围进行迭代预测,采用基于DEV扇区预测的beacon帧内容填充机制对beacon帧中时隙分配字段进行填充,采用基于节点扇区预测的快速波束赋形机制使得PNC与DEV之间波束赋形操作简化。通过仿真验证,与基于IEEE 802.15.3c的太赫兹无线局域网定向MAC协议和现有协议进行对比,MA-MAC协议下网络吞吐量得到了提升,网络平均时延、网络整体控制开销得到了改善。

基于邻节点数目和位置信息改进的AODV路由协议

针对在节点密度大的网络下按需平面距离向量(AODV)路由协议延时大、网络拥塞、分组抵达率低等问题,提出了基于邻居节点数目和节点位置信息改进的AODV-C协议。当网络中的无人机(UAV)节点的邻居节点数量较少时,只允许前进区域上的节点转发数据包;数量较多时,在前进区域内且距离源节点远的邻居节点转发数据包,限制数据包的转发节点数量和转发的区域。仿真结果表明:改进的路由协议与AODV、AODVE相比,提高了路由稳定性与可靠性,能够更好地适应节点密度大的网络环境。