一种基于P4实现的自定义SUNRPC协议的防火墙

1

作者 杨旭 赵泽豪 李兵 《工业信息安全》 2025年第4期30-38,共9页

随着分布式系统与微服务架构发展,RPC协议通信面临安全威胁,传统和企业级防护方案存在灵活性低、成本高、性能受限等问题。文章提出基于P4可编程数据平面的RPC协议防火墙,旨在解决上述问题。研究聚焦三方面创新:设计轻量化协议扩展机制... 随着分布式系统与微服务架构发展,RPC协议通信面临安全威胁,传统和企业级防护方案存在灵活性低、成本高、性能受限等问题。文章提出基于P4可编程数据平面的RPC协议防火墙,旨在解决上述问题。研究聚焦三方面创新:设计轻量化协议扩展机制,结合P4协议无关解析能力,实现方法级、事务级精准流量控制;基于P4可编程特性构建动态规则引擎,支持策略实时加载与执行,降低规则更新延迟,提升异常流量拦截效率;设计轻量化虚拟化验证框架,基于BMV2构建仿真实验平台,验证方案在协议扩展性、规则动态性等方面的效能。研究成果为中小规模企业、边缘计算等场景提供了轻量化、低成本的RPC安全防护新路径,兼具学术创新性与工程推广价值。 展开更多

关键词 P4可编程数据平面 rpc协议防火墙 动态规则引擎 轻量化协议扩展 协议无关解析

在线阅读 下载PDF 职称材料

基于串空间模型的Andrew RPC协议的分析与验证 被引量：2

2

作者 周清雷 赵琳 赵东明 《计算机工程与应用》 CSCD 北大核心 2007年第13期153-155,158,共4页

首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议进行了形式化分析与验证,然后指出了安全缺陷。

关键词 安全协议 串空间 ANDREW SECURE rpc协议

在线阅读 下载PDF 职称材料

基于SPIN的Andrew Secure RPC协议并行攻击模型检测 被引量：2

3

作者 肖美华 朱科 马成林 《计算机科学》 CSCD 北大核心 2015年第7期103-107,共5页

Andrew Secure RPC协议具有身份认证和秘钥交换功能,其因简洁明了而被广泛应用于对称密钥加密体系中。模型检测技术具有高度自动化的优点,在协议安全性验证领域得到广泛应用,但模型检测方法只能检测到一轮协议会话中存在的攻击,难以检... Andrew Secure RPC协议具有身份认证和秘钥交换功能,其因简洁明了而被广泛应用于对称密钥加密体系中。模型检测技术具有高度自动化的优点,在协议安全性验证领域得到广泛应用,但模型检测方法只能检测到一轮协议会话中存在的攻击,难以检测到多轮并行会话中存在的并行攻击。针对Andrew Secure RPC协议运行环境中存在的并行性与可能出现的安全隐患,提出了组合身份建模方法。该方法运用著名的SPIN模型检测工具,对Andrew Secure RPC协议进行模型检测,从而得到攻击序列图,成功发现并行反射攻击和类缺陷攻击。上述组合身份建模方法为复杂环境下协议的模型检测提供了新的方向。 展开更多

关键词 ANDREW SECURE rpc协议 模型检测 SPIN 组合身份建模 并行攻击

在线阅读 下载PDF 职称材料

基于形式方法的Andrew RPC认证协议的分析与改进 被引量：5

4

作者 白汉利 蔡红柳 郑广 《计算机工程与设计》 CSCD 北大核心 2005年第7期1886-1888,共3页

密码协议安全性分析是网络安全的一个难题,运用形式方法对密码协议进行分析一直是该领域的研究热点。运用BAN逻辑对AndrewRPC(RemoteProcedureCall)认证协议进行了形式分析,发现了协议中存在的安全缺陷。对协议进行改进,并给出改进后的... 密码协议安全性分析是网络安全的一个难题,运用形式方法对密码协议进行分析一直是该领域的研究热点。运用BAN逻辑对AndrewRPC(RemoteProcedureCall)认证协议进行了形式分析,发现了协议中存在的安全缺陷。对协议进行改进,并给出改进后的安全协议。 展开更多

关键词 密码协议 形式方法 rpc

在线阅读 下载PDF 职称材料

Andrew Secure RPC协议的一种组合分析方法 被引量：1

5

作者 刘跃军 王红旗 杨强 《四川理工学院学报（自然科学版）》 CAS 2008年第4期43-46,共4页

逻辑方法和模型检验方法是安全协议的两种重要分析方法。逻辑方法简单、直观,但其最大问题是不够完备,模型检验方法自动化程度高且能生成不满足所需求性质的反例。先用BAN逻辑对Andrew Secure RPC协议进行分析,并在此基础上组合模型检... 逻辑方法和模型检验方法是安全协议的两种重要分析方法。逻辑方法简单、直观,但其最大问题是不够完备,模型检验方法自动化程度高且能生成不满足所需求性质的反例。先用BAN逻辑对Andrew Secure RPC协议进行分析,并在此基础上组合模型检验方法进行分析,结果表明逻辑方法组合模型检验方法分析协议比只用逻辑方法分析得到的结果更全面且更具体。 展开更多

关键词 逻辑方法 模型检验方法 组合方法 ANDREW SECURE rpc协议

在线阅读 下载PDF 职称材料

嵌入式软PLC控制系统中RPC的设计与实现 被引量：3

6

作者 陈雄姿 龙辛 +2 位作者 黄波 朱方镇 戴建利 《机械工程与自动化》 2014年第5期133-135,共3页

基于项目跨平台通信的需求,针对现有通信方法的局限性并结合嵌入式系统的特点和远程过程调用原理,提出了一种基于远程过程调用的多平台通信设计架构,并在VxWorks操作系统、Windows操作系统、Linux系统上分别实现了服务端和客户端,设计... 基于项目跨平台通信的需求,针对现有通信方法的局限性并结合嵌入式系统的特点和远程过程调用原理,提出了一种基于远程过程调用的多平台通信设计架构,并在VxWorks操作系统、Windows操作系统、Linux系统上分别实现了服务端和客户端,设计了登录模块,保证了整个通信过程的安全性。实际工程应用验证了本方案的通用性、实时性和安全性。 展开更多

关键词 嵌入式软PLC rpc协议 远程通信 多平台通信

在线阅读 下载PDF 职称材料

基于RPC机制的容错计费系统的设计与实现 被引量：1

7

作者 杨家海 吴建平 《软件学报》 EI CSCD 北大核心 1999年第6期595-599,共5页

网络计费管理是商业化计算机网络的重要网络管理功能．随着Ｉｎｔｅｒｎｅｔ商业化进程的推进和企业Ｉｎｔｒａｎｅｔ的广泛发展与应用，人们对网络计费管理的需求越来越迫切．对计费系统的一个基本要求就是高效、可靠．文章提出了一个... 网络计费管理是商业化计算机网络的重要网络管理功能．随着Ｉｎｔｅｒｎｅｔ商业化进程的推进和企业Ｉｎｔｒａｎｅｔ的广泛发展与应用，人们对网络计费管理的需求越来越迫切．对计费系统的一个基本要求就是高效、可靠．文章提出了一个基于ＲＰＣ通信机制的容错计费系统ＦＴＣｈａｒｇｅ（ｆａｕｌｔ－ｔｏｌｅｒａｎｔｃｈａｒｇｅ）．在简述了计费的基本依据和原理以后，着重论述了ＦＴＣｈａｒｇｅ的总体结构和多容错机制的实现． 展开更多

关键词 计算机网络 网络管理 容错 计费系统 rpc

在线阅读 下载PDF 职称材料

ROS中XML-RPC协议实现的形式化验证 被引量：4

8

作者 贾娟娟 施智平 +2 位作者 关永 李勇坚 魏洪兴 《小型微型计算机系统》 CSCD 北大核心 2015年第12期2629-2633,共5页

XML-RPC协议是ROS节点通讯的核心调用机制,其实现的正确性关乎整个系统的顺利运行.使用模型检测和定理证明结合的方法对ROS系统中的XML-RPC协议进行验证.首先使用CBMC模型检测工具逐个验证协议源代码的函数,然后对模型检测不能全面验证... XML-RPC协议是ROS节点通讯的核心调用机制,其实现的正确性关乎整个系统的顺利运行.使用模型检测和定理证明结合的方法对ROS系统中的XML-RPC协议进行验证.首先使用CBMC模型检测工具逐个验证协议源代码的函数,然后对模型检测不能全面验证的循环结构使用霍尔逻辑建立模型并在Isabelle/HOL定理证明器中验证.本文的工作结合两种形式化方法的优点,既克服了定理证明人工干预过多、工作量繁杂的问题,又避免了模型检测中出现状态爆炸的问题. 展开更多

关键词 ROS系统 XML-rpc协议 有界模型检测 定理证明 CBMC

在线阅读 下载PDF 职称材料

XML-RPC在跨平台RPC中应用

9

作者 张华 魏俊 马卫东 《科技创业月刊》 2007年第7期168-169,171,共3页

在比较几种常用的远程进程调用技术后,选取简单易用的XML-RPC作为宽带计费系统的跨平台远程通讯协议,实现了windows与Linux跨平台通讯。采用XML-RPC远程通讯协议,简化了程序结构,大大提高了编程效率。

关键词 XML-rpc 宽带计费 XML HTTP协议

在线阅读 下载PDF 职称材料

基于XML-RPC的远程加热炉控制系统 被引量：3

10

作者 陈宁宁 朱轶强 蒋静坪 《信息与控制》 CSCD 北大核心 2004年第5期597-603,共7页

从目前几种远程技术出发 ,比较各自的特点后 ,将简单易用的XML RPC应用到控制系统中 ,实现了一种新的远程控制方法 ,并具体介绍了相应的实际控制系统 .在实践应用中 ,此系统有良好的效果 .在文末 ,概括XML RPC应用于网络化控制系统的一... 从目前几种远程技术出发 ,比较各自的特点后 ,将简单易用的XML RPC应用到控制系统中 ,实现了一种新的远程控制方法 ,并具体介绍了相应的实际控制系统 .在实践应用中 ,此系统有良好的效果 .在文末 ,概括XML RPC应用于网络化控制系统的一些特点 . 展开更多

关键词 XML-rpc 远程控制 XML HTTP协议

在线阅读 下载PDF 职称材料

用户态RPC协议分析及其多线程优化 被引量：3

11

作者 周俊 王芳 +2 位作者 李阳 明亮 万勇 《计算机研究与发展》 EI CSCD 北大核心 2012年第S1期191-195,共5页

RPC(Remote Procedure Call)协议有多个版本,分为内核态RPC与用户态RPC两类.开发人员根据设计需求选用合适的RPC版本,很多情况下会涉及跨内核态和用户态的通信.用户态RPC不如内核态RPC完善,缺少多线程机制、RDMA(Remote Direct Memory A... RPC(Remote Procedure Call)协议有多个版本,分为内核态RPC与用户态RPC两类.开发人员根据设计需求选用合适的RPC版本,很多情况下会涉及跨内核态和用户态的通信.用户态RPC不如内核态RPC完善,缺少多线程机制、RDMA(Remote Direct Memory Access)机制等,需要优化以提高性能.结合此类需求,分析了用户态TI-RPC(Transport Independent Remote Procedure Call)运行机制,提出分层多线程的优化方法;利用TI-RPC底层接口重构RPC端口创建与服务启动;增加线程池机制,使TI-RPC在RPC层实现多线程并发服务.性能对比测试表明RPC内部多线程优化可将网络的利用率提高到网络满带宽的93%. 展开更多

关键词 分布式系统通信 远程过程调用协议 多线程并发 TI-rpc

在线阅读 下载PDF 职称材料

串空间模型对RPC协议机密性的验证

12

作者 展永刚 杨世平 《计算机安全》 2009年第3期4-7,14,共5页

首先介绍了当前安全协议形式化验证的前沿方向串空间理论,并运用串空间模型对改进后的Andrew secure RPC协议的机密性进行了形式化分析与验证。

关键词 安全协议 串空间 ANDREW SECURE rpc协议

在线阅读 下载PDF 职称材料

基于RPC的就地风机HMI设计与实现

13

作者 胡根源 刘国繁 朱方镇 《机械工程与自动化》 2016年第2期171-172,175,共3页

基于跨平台通信的需求,针对工业自动化软件逻辑组态平台的局限性并结合RPC协议原理,提出了一种就地风机控制系统的触摸屏HMI设计。通过实验,验证了本设计的通用性和实时性,并成功地运用于风力发电控制系统。

关键词 rpc协议 HMI 跨平台通信

在线阅读 下载PDF 职称材料

基于gRPC分布式数据通信的地铁线网指挥中心平台设计与实现 被引量：3

14

作者 钟建峰 孟宇坤 +3 位作者 王石生 韩天 蔡宇晶 宣秀彬 《都市快轨交通》 北大核心 2023年第2期190-197,共8页

地铁线网指挥中心平台以综合监视系统为核心,以数据应用系统、运营执行系统为协同管理。由于关联的设备系统多、业务复杂,海量数据交互的实时性、并发性、准确性要求高,线网指挥中心平台的数据通信问题一直是一个难题。为解决该问题,基... 地铁线网指挥中心平台以综合监视系统为核心,以数据应用系统、运营执行系统为协同管理。由于关联的设备系统多、业务复杂,海量数据交互的实时性、并发性、准确性要求高,线网指挥中心平台的数据通信问题一直是一个难题。为解决该问题,基于Protocol Buffer通信协议,设计和实现了基于gRPC分布式数据通信的地铁线网指挥中心平台系统架构。远程过程调用gRPC机制是分布式系统和计算机网络中通信的新型机制,在网络化运营模式下通过采集大量的设备数据、业务系统数据,可实现平台数据的规范化处理和业务系统间的高内聚、松耦合通信,提高城市轨道交通运营安全保障能力。 展开更多

关键词 城市轨道交通 grpc rpc 线网指挥中心平台 protocol Buffer 分布式

在线阅读 下载PDF 职称材料

基于串空间模型的Andrew安全RPC协议分析

15

作者 刘慧芳 《电脑编程技巧与维护》 2012年第4期94-96,共3页

在Andrew安全RPC协议模型的基础上,运用安全协议的形式化串空间模型分析方法,对Andrew安全RPC协议进行了分析,说明了该方法进行协议分析的过程,证明了该协议在机密性和认证性方面的正确性,并分析了该协议存在的安全缺陷。

关键词 串空间模型 形式化分析 安全协议 Andrew安全rpc协议

在线阅读 下载PDF 职称材料

新型分布式网络协议——SOAP 被引量：3

16

作者 赵岳松 姚慧广 尹枫 《武汉理工大学学报》 CAS CSCD 2002年第10期67-70,共4页

介绍了 SOAP协议的基础和编码规则 ,并讨论其与现存网络协议相比有何优越性 ,最后给出一个基于 SOAP协议的应用实例。

关键词 分布式网络协议 SOAP协议 rpc XML语言 HTTP协议

在线阅读 下载PDF 职称材料

长距离PON接入技术研究 被引量：3

17

作者 罗正华 孟源 《电子科技大学学报》 EI CAS CSCD 北大核心 2015年第4期494-499,共6页

长距离PON接入(LR-PON)技术是NG-PON技术发展的重要方向。由于受逻辑距离限制,在分析典型网络结构的基础上,提出了基于远程协议转换(RPC)技术实现LR-PON的方案。LR-PON的馈线段采用点对点传输协议,而配线段采用PON协议,利用RPC转换,避开... 长距离PON接入(LR-PON)技术是NG-PON技术发展的重要方向。由于受逻辑距离限制,在分析典型网络结构的基础上,提出了基于远程协议转换(RPC)技术实现LR-PON的方案。LR-PON的馈线段采用点对点传输协议,而配线段采用PON协议,利用RPC转换,避开了PON逻辑距离的限制,使用10 G以太网光链路来扩展传输功能,提高了网络的鲁棒性。 展开更多

关键词 中心局 长距离无源光网络 网络结构 点对点协议 远程协议转换

在线阅读 下载PDF 职称材料

基于DSP和VXI-11协议的LXI仪器控制与实现 被引量：1

18

作者 翟龙军 曲洪东 +1 位作者 高山 张公学 《计算机测量与控制》 北大核心 2014年第11期3691-3693,3697,共4页

为实现嵌入式系统对LXI仪器的远程控制,采用DSP芯片扩展DP83848C以太网接口芯片的硬件方案和基于简化TCP/IP协议及RPC协议支持的软件方案,在分析TCP连接过程、RPC调用流程和VXI-11协议工作过程的基础上,设计实现了支持VXI-11协议的嵌入... 为实现嵌入式系统对LXI仪器的远程控制,采用DSP芯片扩展DP83848C以太网接口芯片的硬件方案和基于简化TCP/IP协议及RPC协议支持的软件方案,在分析TCP连接过程、RPC调用流程和VXI-11协议工作过程的基础上,设计实现了支持VXI-11协议的嵌入式硬件平台和控制软件;以R&S SMB100A微波信号源为被控对象的实验测试及数据分析结果表明,文中的硬件平台和控制软件可以根据协议工作时序正确发送控制数据包,LXI仪器可以正确响应嵌入式端的远程控制命令;文章提出的基于DSP和VXI-11协议的LXI仪器控制方案即可以用于实现分布式、低成本、灵活性较高的自动测试系统,也可以用于LXI仪器控制的桥接方案设计。 展开更多

关键词 DSP LXI仪器 远程过程调用 VXI-11协议

在线阅读 下载PDF 职称材料

移动通信中双向认证和密钥协商协议 被引量：2

19

作者 邓方民 许春香 王永平 《计算机工程与应用》 CSCD 北大核心 2006年第13期142-144,共3页

移动通信增值服务的关键技术之一就是设计既满足较差计算性能又具有良好安全性的协议。文章在Lowe改进的BANconcreteAndrewSecureRPC协议的基础上引入带密钥的哈希函数,生成一个新的移动通信认证和密钥协商协议Advanced-RPC。该协议规... 移动通信增值服务的关键技术之一就是设计既满足较差计算性能又具有良好安全性的协议。文章在Lowe改进的BANconcreteAndrewSecureRPC协议的基础上引入带密钥的哈希函数,生成一个新的移动通信认证和密钥协商协议Advanced-RPC。该协议规避了原协议存在的密钥泄漏风险,增加了向前安全性,同时提高了执行效率;与其它同类协议相比,也具有明显的高效性和简洁性。 展开更多

关键词 无线通信协议 Advanced-rpc 双向认证 密钥协商

在线阅读 下载PDF 职称材料

基于文件系统的客户/服务器的应用 被引量：1

20

作者 陈旭东 刘迪仁 《铀矿地质》 CAS CSCD 1999年第4期235-239,共5页

本文结合客户／服务器模型，提出网络应用的通用模型是客户／服务器模型的观点；同时对基于文件系统的客户／服务器的应用所采用的网络协议进行了简单的阐述，表明有针对性地选择多种网络协议可以大大地方便应用开发。

关键词 客户/服务器 协议 SOCKET rpc NFS 基于文件系统

在线阅读 下载PDF 职称材料