无人机网络安全通信方案

无人机网络中的安全通信

摘要

无人机(UAV)网络在工业界和学术界受到了广泛关注。然而,作为重要的信息载体和数据中继平台,无人机容易受到各种攻击。本文提出了一种针对无人机网络的安全通信方案。在该方案中,每架无人机维护并管理一个区域,授权设备可在无需在线集中式权威机构的情况下获取广播密钥。通过采用分层基于身份的广播加密和假名机制,系统中的所有设备均可匿名广播加密消息,并解密合法的密文。分析表明,本方案满足机密性、认证、部分隐私保护和抗拒绝服务攻击这四项重要的安全属性。实验结果表明,该方案仅引入数毫秒的延迟。

关键词 :无人机 · 安全通信 · 相互认证

1 引言

无人机(UAV),也称为无人机,最初用于测绘、监视、搜索和目标跟踪等军事用途。近年来,无人机作为人体的延伸,已被应用于民用领域。2016年,Facebook的太阳能无人飞机Aquila完成了首次试飞,作为一种为世界偏远地区提供互联网接入的替代平台。该飞机搭载的通信有效载荷采用激光传输数据,速度比现有系统快10倍以上[17]。此外,高通公司子公司高通技术公司与AT&T宣布,将在商业4G LTE网络[24]上测试无人驾驶航空器系统(UAS)或无人机。无人机网络目前被用于许多领域,如灾难救援[2,9],公共服务[18],农业[20],以及基础设施损坏评估[15]。

与基于基础设施的覆盖网络相比,使用无人机部署无线网络有利于高效地调整网络拓扑并动态分配无线参数。此外,无人机能够搭载具备充足计算能力的硬件以执行复杂操作,而在毁坏地区,由于基础设施部署困难,将此类硬件运行于地面设备上则成本高昂且效率低下。事实上,在偏远地区建立临时网络,使用无人机远比部署相应的有线基础设施更节省成本且耗时更少。

尽管无人机网络具有诸多优势,但安全风险阻碍了其部署。2011年,伊朗部队捕获了一架美国RQ-170无人航空飞行器,引发了人们对无人机安全的担忧。无人机网络的应用,例如在敌对环境中用于战场通信和侦察部队,始终面临对手发动网络攻击的风险。此外,由于无线网络的开放性,攻击者更容易接入网络,发动各种攻击,例如拦截、篡改传输消息,甚至接管通信流。

为应对无人机网络的安全威胁,孔等[11]提出了一种对称密钥分发方案,其中每个设备需要存储其所有邻居的公钥和对称会话密钥。但当终端设备数量增加时,存储和通信开销在实际应用中开始变得难以承受。为了更高效地在无人机与终端设备之间建立安全信道,温等[25]提出了一种基于无证书签密标签密钥封装机制的无人机与终端设备之间的安全通信协议。然而,该方案无法支持终端设备之间的组通信。构建一种兼具高效性、安全性和可用性的安全通信协议仍然是一个重大挑战。

1.1 我们的贡献

为了满足广泛消息广播、终端设备身份认证以及部分设备隐私保护的需求,我们提出了一种方案,该方案采用分层基于身份的广播加密(HIBBE)技术,并结合基于签密的设备和无人机身份认证,在构建基于无人机的临时通信网络时,无需依赖在线远程管理中心。本方案针对安全要求中提到的三项主要安全问题进行了改进。

  • 我们通过采用分层身份基广播加密方法,提出了快速批量加密数据包转换。用于广播的消息由设备相关无人机预先分配的广播密钥进行加密。我们的方案实现了完整的消息机密性,采用了可扩展容忍密钥大小和会话密钥委托算法,且无需依赖在线远程管理中心。

  • 我们提出使用基于身份的签密实现相互认证。通过该方法,无人机可通过验证终端设备生成的签名,来确认该终端设备是否经过授权。类似地,终端设备也可使用相同技术验证无人机是否为主控无人机或仿冒设备。

  • 我们通过假名机制和密文转换机制实现隐私保护。借助假名机制,终端设备可切断其真实身份与广播身份之间的关联。即,任何设备均可在广播系统中生成临时ID,仅其自身和主控无人机知晓其真实身份。通过密文转换机制及分层身份基广播加密(HIBBE)的特性,主控无人机可将分层身份基广播加密密文转换为分层身份基加密(HIBE)密文,以接管广播集信息。

  • 我们通过工作量证明机制实现了抗拒绝服务(DoS)攻击,无人机可动态控制每次登录的访问数量和时间间隔。

1.2 论文结构

本文其余部分组织如下。我们在第1节回顾相关工作。在第3节中,我们对无人机网络系统的模型及系统安全要求进行形式化定义。第4节讨论我们提出的无人机网络的安全通信系统。我们在第5节证明系统的安全性,并在第6节评估我们协议的性能。最后,第7节给出结论性评述。

2 相关工作

无人机通信网络具有广阔的应用前景,已引起学术界和工业界越来越多的研究关注。研究人员正在致力于解决无人机网络系统中的技术问题与挑战,其中部分问题涉及通信与组网。Gupta et al.[10]提出了无人机网络的一系列通信与网络需求,这些需求包括动态组网、无线通信质量、飞行控制等特性。具体而言,为满足动态组网需求,2010年,Li et al.[14]提出了一种多源协同通信系统,利用小型无人机作为中继将源信号传输至目的节点。为了使无人机网络适应快速变化的环境,Li et al.[13]提出了四种通信架构。在提升无线通信质量方面已有诸多成果:在物理层,一些研究聚焦于无人机网络的频谱管理[3]和信号覆盖[30]问题;在网络层,为确保无线链路可靠性,Rosati et al.[22]提出了一种优化链路状态路由协议(OLSR)的扩展方案,能够在动态条件下高效地计算路由。该协议通过加权期望传输次数(ETX)指标来计算路由路径。

2016年,不同于基于分布式路由协议的方法,Lee et al.[12]提出了一种集中式路由协议,利用地面控制系统进行高效网络构建。为解决多无人机网络中有效的联合无人机飞行控制与管理的缺失问题,瓦赫特塞瓦诺斯等[23]采用博弈论来控制多架无人机并避免无人机碰撞。2015年,诺德兰等[19]使用神经网络实现了直升机无人机的最优飞行路径跟踪。徐等[29]提出了用于高效无人机网络的在线有限时域最优编队控制和最优协同设计。

尽管无人机网络正变得越来越普及,并已应用于某些领域,但日益增加的安全风险不容忽视。如果没有安全机制,黑客可能会轻易获取用户的私人或敏感个人信息。2016年,尼尔斯·罗德代利用专业无人机的漏洞进行了一次现场攻击,破坏系统并控制无人机系统[21]。此类入侵的实际后果十分严重。2009年,一个恐怖组织使用SkyGrabber[1]截获了从美国无人机传输到美国军用卫星的未加密的无人机视频。

无人机网络的主要安全机制侧重于通过密码学来保障隐私、机密性和数据完整性。一个设计良好的数据保护机制可以确保无论攻击者采用何种攻击技术,都无法获取任何有用的信息。已有少数研究致力于无人机网络的数据保护。孔等[11]提出了一种用于MBN-无人机网络的新型安全通信方案,该方案采用基于证书的加密。得益于证书的使用,该方案通过验证终端设备的身份来支持无人机,并支持终端设备使用协商会话密钥,然后通过对称密钥加密传输消息。

然而,该方案无法支持广播加密消息,因为它仅允许安全端到端通信;相关设备必须耗费大量计算资源来建立多个独立的会话密钥。此外,它们还需要足够的存储空间来存储证书和会话密钥,这对于资源受限的终端设备而言是难以承受的。为了克服这一缺点,温等[25]设计了高效的无证书签密标签密钥封装机制,这是一种面向无人机和智能设备的安全通信协议。然而,该协议在保护终端设备隐私的同时,仍然无法高效地向接收者传输大量加密消息。

除了上述特定方案外,还有一些其他新颖的密码密钥管理机制。为了向一组类分配对称加密密钥,阿坎杰洛等[8]提出了一种使用对称加密方案和完美秘密共享方案的新型分层密钥分配方案。在该方案中,系统主密钥可以为满足复杂访问结构的一组实体生成一个对称密钥。随后,为了实现对层次结构进行动态更新的目标,阿坎杰洛等人[7]构建了具有动态更新功能的分层密钥分配方案,其中每个用户只需存储一个私钥。上述两种方案均为对称加密方案,因此为了减轻对称密钥管理压力,吴等[26]提出了一种称为非对称的新型密码学非对称原语——群组密钥协商。基于这一新原语,吴等[28]提出了一种新的非对称群组密钥协商方案,该方案克服了在缺少全天候可信第三方的情况下群组向发送方通信可能受限的障碍,并支持动态密钥更新。然而,[28]中的群组结构为环状结构,为了支持分层群组结构,吴等[27]提出了一种贡献式广播加密,其中群组的规模不受限制。在该方案中,部分群组成员可以通过聚合各成员的公钥生成联合公钥来加密消息,并使用各自的私钥解密密文,而无需在线可信第三方。尽管这些新颖的密码机制高效且已被证明是安全的,但它们通常仅用于节点计算能力相等的组通信场景中。然而,在无人机网络中,无人机可搭载强大的数据处理平台和额外能量,这意味着无人机网络并非纯粹的去中心化网络。因此,传统的分布式网络密钥管理无法充分发挥无人机网络的优势。

3 问题陈述

3.1 系统模型

整个系统主要由三类实体组成:远程管理中心(RMC)、一组子网主控无人机以及多组终端设备。系统架构如图1所示。

示意图0

  • RMC 是一个可信第三方,负责管理无人机和终端用户设备。此外,它还负责初始化系统参数,并根据终端设备和无人机的身份生成其私钥,然后向无人机提取广播密钥。

  • 表示的无人机是配备了无线通信模块和高速处理器的无人机。该无人机通过无线电与其他无人机和子组成员进行通信。D从RMC获取其私钥,并使用该私钥来证明其身份的合法性。在验证U的有效性后,D生成广播密钥对,并为用户提供消息传输服务。

  • 一个子组成员设备U在D的无线信号覆盖区域内移动。RMC向其提供私钥,该设备使用私钥向D证明其身份。在从D获得网络访问权限后,它使用从D获取的广播密钥与其他终端设备建立安全信道。

3.2 安全要求

为保证无人机网络的通信安全,安全协议应满足以下安全要求:

  • 消息机密性 。在复杂环境中的无线网络中,消息机密性是一项基本的安全要求。如果没有消息机密性,任何攻击者都可能通过简单地窃听无线信道来获取敏感信息。

  • 相互认证 。在无人机网络环境中,攻击者可能会冒充其他参与者并使用伪造设备来控制通信。因此,合格的方案应提供相互认证以验证参与者的身份。

  • 身份匿名性 。使用长期身份可能导致隐私泄露。一个合格的方案应提供身份匿名性,以确保攻击者无法从被窃听或捕获的消息中获取用户的真实身份。

  • 会话密钥安全 。一旦会话密钥泄露,攻击者便可轻易解密传输的消息,从而破坏消息机密性。因此,会话密钥安全是消息机密性的基础。为了进一步实现安全通信,一个合格的方案应确保参与者之间建立的用于加密传输消息的共享会话密钥是安全的。

  • 消息完整性与认证 。一旦安全的组通信信道建立,攻击者便无法从加密消息中获取任何有用信息。但攻击者仍可通过发送伪造消息、截断加密消息来影响通信。因此,一个合格的方案应确保消息完整性与认证。

  • 抗拒绝服务攻击 。在满足上述安全要求的前提下,攻击者无法从协议中获取有用信息,但他们可以通过发起DoS攻击等无线网络攻击来降低无线通信质量,甚至切断终端设备与无人机之间的通信链路。为了保证无人机网络的鲁棒性,一个合格的方案应能抵抗各种常见网络攻击。

4 无人机网络中的安全通信

我们的系统可以通过以下三个协议来描述:系统设置、注册以及整个无人机网络中实体间的安全通信。

在离线阶段,RMC运行系统设置,并初始化所有系统全局参数,生成系统的主密钥。无人机网络中的所有实体必须首先向RMC注册以获取必要信息。具体而言,在此阶段,RMC为每个终端设备和无人机生成长期身份及相应的私钥。

在任务执行阶段,如果终端设备希望接入网络,无人机应首先对这些设备进行认证和记账,然后才能提供服务。在注册过程中,我们引入了一种基于身份的签密方案,以在该子网络中建立无人机与设备之间的安全信道。为了防范恶意设备发起的拒绝服务攻击,我们采用了工作量证明机制的相关经验。第三协议能够保证不同子网络中设备之间的安全通信。通过该协议,普通设备可以使用目标设备的假名对其消息进行加密,这些假名可通过子网主控无人机获取。为防止接收设备获取其他接收者的身份,我们提出了一种密文转换方法:由作为真实接收者成员的无人机将分层身份基广播加密密文转换为分层身份基加密密文,从而隐藏广播接收者身份。

4.1 计算假设

我们的方案在现代密码系统中广泛使用的双线性群中实现。一个双线性群由两个循环群 G1, G2 和一个乘法循环群 GT 组成,其中 g1 是 G1 的生成元,g2 是 G2 的生成元。设 q 为一个大素数。映射 e: G1 × G2 → GT 称为双线性群,如果它满足以下性质:

  1. 双线性 :e(g₁ᵃ, g₂ᵇ) = e(g₁, g₂)^(ab),其中 g₁ ∈ G₁、g₂ ∈ G₂ 和 a, b ∈ ℤₚ。
  2. 非退化 :对所有 g₁ ∈ G₁, g₂ ∈ G₂,有 e(g₁, g₂) ≠ 1。
  3. 可计算 :存在一个高效算法来计算该映射 e。

我们的方案依赖于两个计算问题的难解性,以下简要回顾这些问题。设(G₁, G₂, GT)为一个双线性群,其中 g₁、g₂ 分别为 G₁、G₂ 的生成元。

q-强 Diffie-Hellman 问题(q-SDHP)[6] 。对于任意随机选择的 x ∈ ℤₚ ,给定一个双线性群(G₁, G₂, GT),其中 g₁、g₂ 分别为 G₁、G₂ 的生成元,以及一个(q+2)实例:(g₁, g₂ˣ, g₂ˣ², …, g₂ˣ^q) ∈ G₁ × G₂^(q+1),求一对(c, g₂^(1/(x+c))) 满足 c ∈ ℤₚ 。

q-双线性 Diffie-Hellman 求逆问题 (q-BDHIP)[5] 。对于任意随机选取的 x ∈ ℤₚ,给定一个双线性群(G₁, G₂, GT),其中 g₁, g₂ 是 G₁, G₂ 的生成元,以及一个(q+2)实例:(g₁, g₂ˣ, g₂ˣ², …, g₂ˣ^q) ∈ G₁ × G₂^(q+1),计算 e(g₁, g₂)^(1/x) ∈ GT。

4.2 系统设置

系统初始化 。系统首先创建一个名为 ML 的空列表,并按如下方式初始化整个系统。

  • 输入安全参数 λ 后,生成一个循环加法群 G 和一个具有相同大素数 p 的循环乘法群 GT。设 g 为 G 的生成元,g_T 为 GT 的生成元。存在一个双线性映射 e: G × G → GT。选取两个随机元素 g₂, u′ ∈ G。
  • 生成 RMC 的主密钥 α ∈ ℤₚ*,然后计算值 g^α ∈ G。
  • 选择四个哈希函数:H₁: {0,1} → ℤₚ , H₂: {0,1} × {0,1} → ℤₚ , H₃: GT → ℤₚ , 以及 H₄: ℤₚ × GT → ℤₚ 。
  • 发布系统参数:PP = {g₂, u′, e, p, g, G, g_T, H₁, H₂, H₃, H₄}

任务前 。我们假设有(n−1)台设备参与一项任务。RMC使用其自身身份 ID₀ 初始化广播系统的形式化 BSK_ID₀ = (ν₀, ν₁, {z_j}_{j∈[1,n]})。然后,它选择一个随机数 r ∈ ℤₚ* 和一个随机元素 u₀ ∈ G。对于所有 j ∈ [1, n],计算 u_j ←ᵣ G。因此,初始广播如下所示。

BSK_ID₀ = (gʳ, g₂^α (u′ · ∏ {i∈φ_ID} u_i^{H(ID₀)})ʳ, {u_jʳ} {j∈[1,n]})
= (ν₀, ν₁, {z_j}_{j∈[1,n]})

该系统中的任何设备都应预加载系统参数,并向RMC注册。RMC使用 ID_u 为任何设备完成身份注册,步骤如下。

  1. RMC首先检查 ML中是否存在与提交的身份对应的现有条目 ID_u。如果存在,RMC将向请求用户返回该现有条目;否则,执行以下步骤。
  2. RMC计算设备的私钥 K_ID_u = g^(α + H₁(ID_u))。接下来,它为新身份设置一个有效性期 T_u。然后,它将消息 M = (T_u, K_u) 分发给设备 ID_u,并将该消息添加到 ML 中。

同样,该系统中具有身份 ID_k 的任何无人机都应预加载系统参数,并按如下方式向RMC注册。

  1. RMC首先检查在 ML中是否存在与请求的身份 ID_k 相对应的现有条目。如果存在,RMC将返回该现有条目;否则,执行以下步骤。
  2. 它计算无人机的私钥 K_ID_k = g^(α + H₁(ID_k))。
  3. RMC将广播SK委托给无人机。首先,我们假设我们系统中的ID向量的形式为(ID₀,ID_k,ID_u),且整个系统仅有三个层级。此处,ID₀是ID向量的根。因此,广播密钥通过ID向量i-th无人机使用ID向量ID=(ID₀,ID_k)按照[16]中描述的步骤进行委托。首先,选择一个随机指数 t_k ∈ ℤₚ*。

接下来,按如下方式计算 BSK_ID_k。

BSK_ID_k = (ν₀ g_tᵏ, ν₁ (z^{H₁(ID_k)}) (u′ u^{H₁(ID₀)} u_k^{H₁(ID_k)})^{t_k}, {z_j u_j^{t_k}} {j∈[1,n]{k}})
= (a_k, a₀,k, {a_j,k}
{j∈[1,n]{k}})

通过隐式设置 r′ = r + t_k,很容易将前面的公式转换为以下形式。

BrSK_ID_k =
⎛
⎝g^{r′}, g₂^α (u′ · ∏ {i∈φ_f(ID_k)} u_i^{ID_i})^{r′}, {u_j^{r′}} {j∈[1,n]{k}}
⎞ ⎠

  1. 接着,RMC为新身份设置有效期 T_k。然后,它将消息 M = (T_k, KD_i, BSK_ID_k) 分发给无人机 D_i,并将该消息添加到 ML 中。

无人机网络中的安全通信

4.3 注册

整个阶段包括4个阶段:Req、Res、Dis和Fin。假设一个设备的身份为 ID_u,其所属的子网络由身份为 ID_k 的无人机管理。该设备在广播系统中的 ID向量是(ID₀, ID_k, ID_u)。

请求 无人机选择一个 γ 中的随机数,并计算一个 puzzle = H₂(s₀‖γ),其中 s₀ 是一个短比特串。然后,它设置 M₀ = (ID_k, puzzle, γ),并将(M₀)发送给设备。

响应消息 当终端用户设备接收到消息 M₀ 时,首先多次运行哈希函数 H₂ 以找到一个满足方程 s₁ 的值 H₂(s₁‖γ) = puzzle。接着,使用基于身份的签密[4]过程计算响应消息,步骤如下。

  1. 设备 ID_u 选取一个随机数 η₁, η₂, η₃ ∈ ℤₚ*,并计算 R₁ = g^(η₃ t), M₁ = (ID_u‖η₂‖s₁‖γ + η₁),T₁ = M₁ ⊕ H₃(R₁)。
  2. 它设置 h₂ = H₂(M₁, R₁),计算 T₂ = K^(η₃ + h₂)_{ID_u},然后计算 T₃ = (g^{H₁(ID_k)} g^α)^{η₃}。
  3. 最后,设备将 (s₁, T₁, T₂, T₃) 发送给主控无人机 ID_k。

验证 当主控无人机 ID_k 收到消息时,首先检查 s₁ 是否为 puzzle 的正确答案。如果是,它将提取暂存的消息,并检查由 ID_u 发送的签名是否有效。该无人机计算 r_d = e(T₃, K_{ID_k}) 、M_d = T₁ ⊕ H₃(r_d) 和 h_d = H_d(M_d, r_d)。然后,它对消息进行加密,并恢复用于生成终端设备假名的随机值 η₂ 。最后,如果 r_d = e(T₂, g^α g^{H₁(ID_u)}) g^{-h_d t} 成立,则接受该消息,并将(ID_u, η₂)记录在其 UL 中,通过安全广播信道与其他无人机共享。

Dis 在设备的身份得到验证后,无人机为其子网络设备生成广播密钥对,步骤如下。

  1. ID_k 通过计算 P_u = (ID_u)^{η₂} 来更新设备的临时 ID。新的 ID 向量为(ID₀, ID_k, P_u);因此,广播私钥可以按照与 RMC 委托广播私钥相同的方式为 ID_k 进行计算。最终的广播密钥形成如下:ID_k 选择一个随机数 t_u ∈ ℤₚ*,然后进行计算
    a_u = a_k g^{t_u},
    a₀,u = a₀,k (b^{H₁(P_u)}) (u′ u^{H₁(ID₀)} u_k^{H₁(ID_k)} u_u^{H₁(P_u)})^{t_u}
    {a_j,u} = {b_j u_j^{t_u} u} {j∈[1,n]{u}},
    BSK_Pu = (a_u, a₀,u, {a_j,u}
    {j∈[1,n]{u}})

  2. 按照[4]中的流程,无人机使用 rep 阶段中描述的相同方案生成签密密文。
    (a) ID_k 选择一个随机数 η₄ ∈ ℤₚ*,并计算 R₂ = g^{η₄ t} 和 T₄ = (M) ⊕ H₃(R₂),其中 M₂ = (BSK_Pu‖η₁ + 1)。
    (b) 它设置 h₂ = H₂(M₂, R₂),计算 T₅ = K^(η₄ + h₂)_{ID_k},然后计算 T₆ = (g^{H₁(ID_u)} g^α)^{η₄}。
    (c) 最后,ID_k 将(T₄, T₅, T₆)发送到设备 ID_u。

结束 收到密文后,ID_u 检查 r_f = e(T₆, K_{ID_u}) 是否成立。如果成立,则计算 M_f = T₄ ⊕ H₃(r_f) 和 h_f = H₂(M_f, r_f)。在恢复消息后,验证 q_f = η₁ + 1 和 r_f = e(T₅, g^α g^{H₁(ID_k)}) g^{-h_f t} 。如果通过,设备完成会话并获得其广播密钥 BSK_Pu。

4.4 消息广播

在本部分中,我们介绍了两种消息广播方法,分别称为基本广播和基于密文转换的广播。在前一种方法中,按照[16]中描述的方法,系统中的任意成员可将消息加密给系统中的任意子组成员,且任何接收者均可使用其自身的私钥和公共接收者集合对接收到的密文进行解密。然而,在敌对环境中,发送者或接收者有时希望隐藏接收者集合。因此,我们提出了第二种方法,利用具有子组密钥生成器和路由器双重身份的无人机,将分层身份基广播加密密文转换为分层身份基加密密文,使接收者能够在不知道接收者集合的情况下解密该密文。

基本广播 。当所有用户完成注册阶段后,他们可以通过安全的广播信道相互交换加密消息。无人机可以通过基于身份的加密和广播加密来共享管理消息。所有包含新假名身份的 UL 列表都会在无人机网络中共享,这使得不同子网络中的用户能够轻松获取他们想要通信的人员的 ID 向量。安全广播通信的建立方式如下。

  • E(PP, M, V) 。对于接收者身份向量集合 V,加密算法选择一个随机数 ζ,并按如下方式计算密文。
    C = (c₀, c₁, c₂) =
    ⎛
    ⎝g^ζ, (u′ ∏_{i∈f(V)} u_i^{H₁(ID_i)})^ζ, M e(g, g₂)^{ζα}
    ⎞ ⎠

  • D(V, C₀, BSK_Pu) → M 。对于给定的密文 CT,任何其 ID 属于接收者身份向量的设备均可使用其私钥按如下方式计算解密密钥。
    K = a₁ ∏_{j∈f(V\V_k)} b_j^{H₁(ID_j)}
    其中消息 M 等于 e(c₁, a₀)/e(K, c₀) 的值。

基于密文转换的广播 。当发送者希望隐藏其广播集,使得任何接收者都无法从接收到的密文中获取信息并推测其他接收者的身份时,可以采用密文转换方法。这对于大多数通用自组织网络广播系统结构而言是一项困难的任务,但通过我们的方案可以轻松实现。接收者集合可以在不同用户之间轻松地被保护,具体方式如下。

  • EN(PP, M, V) 。与前面的加密阶段不同,在此阶段,消息使用由接收者及其主控无人机的身份组成的身份集合进行加密 V_D。密文构造如下。
    C₀ = (c₀,₀, c₁,₀, c₂,₀) = (g^{ζ₁}, (u′ · ∏_{i∈V_D} u_i^{H₁(ID_i)})^{ζ₁}, M e(g₁, g₂)^{ζ₁})

  • T(CT, BSK_{ID_k}, V) 。当任何无人机接收到该消息时,它会检查其成员中是否有在接收者集合中的成员。如果有,对于这些成员中的任意成员 U_m,它将按如下方式转换密文。
    X = e((b_m u_m^{t_m H₁(p_u)} / ∏_{i∈f(V_D\V_k)} (b_i u_i^{t_m})^{H₁(ID_i)}, c₀,₀)
    其中 t 是在注册分发阶段用于为 ID_m 生成 BSK 的随机值。令 c₀,₁ = c₀,₀, c₁,₁ = c₁,₀ 和 c₂,₁ = X · c₂,₀。最后,无人机为 ID_m 变换的新密文为:C₁ = (c₀,₁, c₁,₁, c₂,₁)。

  • TD(CT₁, BSK_{P_m}) 。给定一个密文,接收者使用其 BSK_{ID_m},可通过计算
    M = c₂,₁ e(c₁,₁, a₀) / e(a₁, c₀,₁),获得消息 M。接收者无法从密文中获取足够的消息内容来猜测其他接收者的身份。

5 安全分析

在本节中,我们分析所提出协议的安全性,并证明其满足第3.2节定义的安全要求。

5.1 安全模型

我们通过以下游戏策略来定义该模型。此游戏在挑战者 C 和攻击者 A 之间进行,其中攻击者对所有网络通信具有完全控制权。这意味着攻击者有能力窃听甚至修改通信消息。每个用户可以与不同的无人机多次运行该协议;因此,我们使用实例的概念对此进行建模。我们将成员 U 的实例 i 表示为 Πⁱ_U。在 Setup 过程中,C 执行一个设置,其中安全参数 λ 作为 RMC。该设置输出系统参数 pp,然后将 pp 发送给 A。在 Query 阶段,根据协议注册过程,C 向 A 提供一系列预言机,使 A 获得攻击该协议所需的必要信息。查询预言机的工作方式如下。

  • Q1 :该查询将帮助 A 获取在 Res 或 Dis 阶段生成的传输的消息。
  • Q2 :该查询将帮助 A 获取在 Ver 阶段生成的详细消息(这种情况是可能的,因为在现实世界中,无人机可能被俘获并用作解密预言机,以帮助攻击者赢得游戏)。
  • QHi :该查询将把哈希函数的结果 H_i 返回给 A。
  • Corrupt(ID_i) :A 可以执行此查询以获取某个身份 ID_i(除目标身份外)的长期密钥对。
  • Reveal(Πⁱ_U) :A 可以执行此查询以获取在 πⁱ_U 中调用的会话密钥。
  • Test() :A 只能执行一次 Test() 查询。A 选择两条消息 m₀ 和 m₁,使用一个其之前从未执行过腐败查询的身份,并使用相同的 D 身份。C 选择一个随机比特 b,并与 πᵇ_ub 执行协议。

最后,A 猜测比特 b′ ∈ {0, 1}。如果 b = b′,则 A 赢得游戏。A 在系统参数 λ 下破解注册 Σ 的会话密钥安全(SKS)的优势定义为
AdvSKS_A,Σ(1^λ) = |2Pr[b = b′] − 1|

定义1 。(SKS)如果对于任意多项式时间攻击者 A,我们有 AdvSKS_A,Σ(1^λ) 是可忽略的,则该注册是会话密钥安全的。

我们说 A 能够破坏注册 Σ 的相互认证(MA)安全,如果他可以生成一个合法的 res 消息记为 ERes,或生成一个 Dis 消息记为 EDis。A 利用系统参数 λ 破坏注册 Σ 的相互认证(MA)安全的优势定义如下。
Adv_MA_A,Σ(1^λ) = Pr[ERes] + Pr[EDis]

定义2 。(多敌手安全)如果对于任意多项式时间攻击者 A,AdvMA_A,Σ(1^λ) 是可忽略的,则注册是 sMA-安全的。

5.2 可证明安全

引理1 。假设注册中使用的底层签密方案在自适应选择消息攻击下对存在不可伪造签名是(ε′, t)-安全的,则当 ε = 2ε′ 成立时,该注册方案是(ε, t)-多敌手安全的。

证明 。容易发现,Res 消息和 Dis 消息也是标准的基于身份的签密[4]密文。如果 A 能够以概率 ε′ 伪造一个合法的签名消息,根据定义2,我们可以很容易得出结论,A 能够以概率 ε = 2ε′ 攻破注册的多敌手安全。

定理1 。假设存在一个 A,使得对 QHi 进行 q_hi 次查询,对 Q1 进行 q₁ 次查询,以及对 Q2 进行 q₂ 次查询,A 以概率 ε ≤ 10(q₁ + 1)(q₁ + q_h₂)/2^λ 攻破注册的多敌手安全。那么,存在一个算法 B,以概率 ε 求解 q-SDHP[4]。

证明 。根据[4]中给出的定理3 和上述引理1,如果 q-SDHP 是困难的,则没有多项式时间攻击者能够伪造一个合法的 Req 消息或一个合法的 Dis 消息。因此,可以得出所提出的注册方案是多敌手安全的。

定理2 。假设存在一个 A,其对 QHi 发起 q_hi 次查询,q₁ 对 Q1 发起 q₂ 次查询,且对 Q2 发起 A 次查询,能够以概率 1/q_h₁ (1−(q₁ q₁+q_h₂ 2^k)(1− q₂ 2^λ)) 破坏注册过程的会话密钥安全。那么,存在一个算法 B 可以以概率 ε 解决 q-BDHIP[4] 问题。

证明 。详细证明见附录A。

我们的方案还实现了机密性和部分身份匿名性。从广播协议来看,所有传输的消息都通过用户的广播密钥进行了加密。根据定理2,多项式时间的攻击者无法获得任何优势来区分真实的广播密钥和随机数,因此我们可以说无人机使用终端设备身份加密的广播密钥是安全的。在[16]中,我们所采用的加密机制已证明能够抵御选择明文攻击(CPA)。因此,我们的方案可以满足消息的机密性。

部分身份匿名性保证当终端设备完成向一架无人机注册后,即使攻击者能够接管所有通信流,也无法识别该设备。根据本方案的规范,终端设备的真实身份 ID_u 仅出现在响应消息中,T₁ = (ID_u‖η₂‖s₁‖γ+η₁) ⊕ H₃(R₁)。要恢复真实身份,攻击者需要计算 R₁ = e(g^{α+H₁(ID_k)} g^{1/(α + H₁(ID_k))}),这意味着在不知道用户的私钥的情况下,攻击者必须求解 q-BDHI 问题。签密[4]提供的机密性保证了终端设备的真实身份可通过假名机制进行隐藏。但假名机制与相应的终端设备相关联,因此无法获得完整的身份匿名性。因此,我们声称所提出的方案能够满足部分身份匿名性。

我们的方案能够抵御网络攻击。在注册过程中,我们通过计算目标哈希值引入了一种工作量证明机制。该机制类似于工作量证明机制,需要寻找一个使得哈希值以较小整数开头的数值。求解该难题所需的平均计算量随着谜题位长度的增加呈指数级增长。与求解难题答案的困难性不同,验证过程仅需执行一次数值比较操作。因此,无人机可以通过调整谜题的位长度来控制访问请求,并快速拒绝答案错误的恶意请求。当无人机遭受 DoS 攻击时,可通过增加哈希值的长度来减少并发访问请求数量。因此,我们认为本方案能够有效抵抗网络攻击。

人们可能还关注消息完整性与消息认证。尽管我们提出的协议未涵盖这些需求,但通常可以采用通用的解决方案:使用 SHA-256 等哈希函数可轻松实现消息完整性,使用 DSA 等数字签名算法可确保消息认证以满足这些要求。由于篇幅有限,我们未在方案中描述这些方法。

6 性能分析

在本节中,我们通过使用网络模拟器-3(NS3)模拟器,进一步评估了我们的协议在真实环境中结合广播加密的效率和适用性,以展示性能、交通状况和广播数量之间的关系。

我们分析了仿真结果,以评估所提出广播方案的效率和适用性。本仿真使用 NS3 进行,仿真区域约为 500 × 500 m²。五个 Ds 在仿真区域内均匀分布。在本节中,我们假设 Ds 的飞行高度固定为 5 米,并可在小范围内水平移动。用户被均匀划分为 5 个子组,初始位置随机分布在各自对应的 Ds 周围 2 米范围内。采用的移动模型是 random2Dwalkmodel,移动速度恒定为 2 米/秒。用户与 Ds 之间的无线协议为 IEEE 802.11a,信道带宽设置为 6 兆比特每秒。此外,数据包大小范围为 64 字节到 512 字节。对于普通广播方案,我们使用多播方式传递消息;对于重新加密方案,则使用单播进行仿真。所有仿真实验的时间均设置为 100 秒。每个用户发送两次广播消息之间的时间间隔为 5 秒。

我们使用两个性能衡量指标来评估仿真性能:平均消息丢失率 L_m 和平均消息延迟 D_m。平均消息延迟是指消息生成后被广播集内所有用户接收的平均时间延迟。平均时延定义如下。

D_m = 1/LD Σ_{L∈D}(1/M_l→ Σ_{M_l→ m=1} 1/S_l (T_lm_Enc + Σ_{S_l k=1} T_lmk_trans))

其中,D 表示本仿真中的简单区域,LD 表示该区域中的第 l 个用户,M_l→ 表示第 l 个用户生成的广播消息数量,S_l 表示广播集的大小,T_lm_Enc 表示第 l 个用户加密第 m 条消息的时间,T_lmk_trans 表示消息 m 从广播集中的第 l 个用户传输到第 k 个用户的传输时间。

平均消息丢失率是指消息无法被接收或处理的概率,其定义如下。

L_m = 1 − 1/LD Σ_{LD l=1} (M_l_consumed ∗ S_l) / Σ_{S_l s=1} M_s_arrived

其中 M_l_consumed 表示第 l 个用户消耗的数据包数量,M_s_arrived 表示第 s 个用户接收的数据包数量(图2)。

(1) 数据包大小的影响 。在第一组仿真中,为了分析从 64 字节到 512 字节不同数据包大小的影响,我们将广播集的数量固定为 25,用户速度固定为 2 米/秒。图 3 显示,数据包大小对基本广播方法和密文变换机制的影响较小。换句话说,消息丢失率不受数据包大小的影响。然而,平均时延有所增加。

(2) 组成员数量的影响 。如图3a所示,在数据包大小固定的情况下,平均消息延迟随着广播组大小的增加而增加。此外,普通广播方案的消息丢失率随着广播组大小的增加而上升,当组大小增大时趋于小幅波动。然而,对于重新加密方案则恰恰相反;当组大小在 40 到 45 之间时,消息丢失率达到曲线最低点,随后随着广播集规模的增加而上升。可能的原因是,当广播集较小时,目标接收节点可能很容易超出通信范围,且在此方案中数据包越大,丢失率越高。因此,重新加密方案的消息丢失率小于正常丢失率。但随着广播集规模的增大,重新加密计算将影响网络传输效率,当执行重新加密的节点无法及时转发数据包时,部分数据包会被丢弃。

通过比较常规方案与重新加密方案的消息延迟曲线,可以看出重新加密方案的增长速率比正常方案更快。这是合理的,因为尽管对于相同消息而言,正常方案的数据包大小大于重新加密方案,但重新加密计算需要更多时间来处理较大的数据包。然而,由于使用重新加密可以隐藏广播集中成员的身份,因此有利于保护用户隐私。

7 结论

本文提出了一种安全通信系统,以在无人机网络中平衡安全性与性能。我们通过结合基于身份的签密和分层身份基广播加密来实现安全目标。在注册阶段,我们将寻找哈希值原像的问题作为限制条件,以控制接入设备数量。通过采用分层密码系统,协议中的设备可使用其广播密钥和公有假名身份向其他设备发送和接收编码广播消息。

结合常见的安全组通信方案,无需存储每个组的加密密钥,这在典型环境中因存储空间有限而具有实际优势。仿真表明,我们的方案能够适应多种不同的交通状况。

无人机视频回传 5G视频回传 5G无人机回传 2019年被称为5G元年,放眼全球,无论大到国家还是小到个人,都前所未有的关注5G,在这其中,中国人可能是最关注5G的一群用户。然而,虽然5G已经成为社会热点,但对绝大多数人来说,对5G的了解是片面的,并且没有更清晰的认知。 无人机直播目前仍面临着一些问题,每次直播时,无人机都需要配合4G包和卫星车才能实现基于无人机的实时直播。在实际使用过程中,4G包仍有很大的局限性,视频传输速度只能达到两三兆,使得直播画面的分辨率最高只能达到720P,当信号通过卫星车传输至电视台,不仅需要花费更多的时间,还会对直播画面造 阅读详情

相关推荐

无人机视频回传、5G视频回传、5G无人机回传

无人机视频回传、5G视频回传、5G无人机回传 长久以来,人类对天空充满着向往。明代“万户”陶成道是第一个想到利用火箭飞天的人,被称为“世界航天第一人”。莱特兄弟于1903年12月17日首次试飞了完全受控、依靠自身动力、机身比空气重、持续滞空不落地的飞机,也就是世界上第一架飞机“飞行者一号”。依靠前人的不断尝试,人类终于借助器械获得了飞行的能力。对空中导演、无人机飞手而言,在一次次操控无人机起落飞行的过程中,他们通过无人机的视角,领略到不一样的风光。 传统的拍摄和直播,常常以固定镜头为主,同时户外直播受环境

weixin_49854785的博客 2538

无人设备遥控器之安全协议与加密技术篇

无人设备遥控器的安全协议与加密技术是保障无人机、无人车、机器人等设备安全运行的核心,涉及通信链路加密、身份认证、数据完整性保护等多个层面。HMAC(基于哈希的消息认证码):结合对称密钥与哈希函数(如SHA-256)验证数据完整性。AES(高级加密标准):广泛用于无人机通信,支持128/192/256位密钥,计算效率高。挑战-响应机制:遥控器与设备动态生成一次性密钥(如Diffie-Hellman密钥交换)。ECC(椭圆曲线加密):提供与RSA相同的安全性但密钥更短,适合低带宽场景。

SKYDROID666的博客 1255

大疆MQTT SDK与接口文档:从零构建无人机云端通信应用

本文详细介绍了如何利用大疆MQTT SDK与接口文档,从零构建无人机云端通信应用。通过解析大疆上云API的核心通信机制,指导开发者完成从资源获取、账号申请到理解MQTT主题与物模型的全过程,并提供了基于Python的实战代码示例,帮助快速实现云端与无人机的双向数据通信与控制。

weixin_28475533的博客 282

通信算法之七十七:无人机设备上的通信系统

无人机的信号传输组合:遥控图传信号和定位导航信号(GPS、北斗、格洛纳斯) 无人机的遥控信号是2.4GHz/5.8GHz频段,这个是无人机自带的天地(飞机与云台)之间的信号传播频段。 图传信号,一般都在5.8GHz频段上,这个频段是带宽高。 无人机的传输方式就采用了两种通讯组合: 1、2.4GHz/5.8GHz频段:无人机自有信号,用来遥控,以及拍摄图传。 2、GPS信号(也有北斗的信号的)。用来定位,导航,以及实现一键返航的核心。 那么这里就要非常细致的说明了。 情况二:那么如果丢失了卫星导航,有机会回来

leegang12的专栏 3772

无人机城市物流:通信、导航与空中交通管理的核心技术挑战与解决方案

无人机技术作为智能硬件与物联网应用的重要分支,其核心在于实现稳定可靠的自主飞行与协同作业。从技术原理上看,这依赖于高精度的环境感知、实时决策与鲁棒的控制系统。其技术价值在于能够突破传统地面物流的时空限制,通过利用低空空域资源,实现点对点的高效、直线化配送,从而大幅提升物流效率并降低运营成本。在应用场景上,无人机尤其适用于城市即时配送、医疗急救物资运输、基础设施巡检等对时效性要求极高的领域。要实现规模化应用,必须攻克城市复杂环境下的非视距通信、高精度导航以及多机协同的空中交通管理等关键技术难题。本文聚焦于无人

weixin_30682415的博客 371

无人机EN 18031欧盟网络安全认证详细解读

EN 18031 是欧盟针对无线电设备发布的网络安全标准,于 2024 年 8 月正式发布,2025 年 1 月 30 日被列入《无线电设备指令》(RED)协调标准清单,并于 2025 年 8 月 1 日起强制执行。

2501_90322522的博客 2895

无人机通过什么传输信息:飞行背后的“通信魔法”

"无人机正通过无线电、5G和激光通信技术突破传输瓶颈,16公里超远距离WiFi模块和AI智能路径选择,让农业喷洒、灾后救援等场景实现高效数据回传与实时操控,未来将解锁更复杂的空中任务。"

veally的博客 1643

攻击者如何破坏无人机?

无人机是“飞行计算机”和攻击媒介?

weixin_40344166的博客 4068

16.802.1X 认证详解到企业级安全准入方案

IEEE 802.1X是基于端口的网络访问控制协议,通过EAP(可扩展认证协议)实现客户端、接入设备与认证服务器之间的认证交互。该协议采用C/S架构,包含客户端、接入设备和RADIUS认证服务器三个组件,核心是在端口层面控制网络访问权限。802.1X通过EAPoL协议在数据链路层封装EAP报文,支持多种认证方法如EAP-MD5、EAP-TLS等。认证流程包括身份验证、挑战响应等步骤,最终由认证服务器决定是否授权访问。配置涉及RADIUS服务器设置、接入设备参数调整和客户端认证方式选择,同时支持哑终端MAC认

u010819622的博客 557

无人机系统安全保密体系研究

因此,分析无人机系统面临的主要安全威胁,针对无人机及其网络的分布式和移动特性,设计了集无人机平台安全、无线网络安全、应用控制安全、安全保密运维与支撑于一体的无人机系统安全保密体系架构,同时论述了涉及的关键技术,可为无人机安全防护整体解决方案提供借鉴。为此,可从无人机接收方的角度考虑,借鉴固定网络中的“蜜罐”思路,在无人机网络中引入针对干扰攻击的欺骗机制,使网络中的空闲节点伪装成传输节点,通过诱骗干扰方对其进行干扰,吸引干扰功率以提高网络中传输对的传输性能,可有效扩展无人机网络的干扰对抗空间。

qq_61890005的博客 1146

14、无人机安全数据通信的新型网络安全框架

本文提出了一种针对无人机安全数据通信的新型网络安全框架,旨在解决无人机在资源受限条件下的通信安全问题。文章分析了无人机面临的多种网络安全威胁,包括硬件攻击、无线攻击和传感器欺骗攻击,并探讨了现有安全机制的不足。为应对这些挑战,框架结合了计算开销分布、轻量级加密、选择性数据加密以及隐写术等技术,实现高效且安全的数据传输。该框架通过将计算任务分配到更强大的设备,使用基于身份的加密(IBE)和椭圆曲线密码学(ECC),并结合数据隐藏技术,提高了系统的安全性与性能。未来的研究方向包括算法优化、适应新场景以及与人工智

pear55的博客 118

无人机无线远距离WiFi数据传输,Mesh自组网通信系统应用

应急现场可能没有基础通信设施或者基础设施受到破坏,导致应急现场变为信息孤岛。实时将现场情况以语音、数据、图像等形式传送到指挥中心,有利于领导了解现场情况,及时有效地做出相应决策。 突发事件发生后,快速搭建应急通信网络,保障信息畅通,是当前无线通信领域所需要解决的关键问题。 面对新形势下的迫切需求结合发展的通信技术,云望物联推出CV5200双向无线通信系统。CV5200基于802.11无线通信标准,采用自身开发的LR-WiFi(Long Rang WiFi(远距离WiFi))私有协议,具备ML,MRC,L

m0_59195407的博客 1620

Applications of Artificial Intelligence and Machine learning in smart cities

智慧城市旨在有效管理日益增长的城市化、能源消耗、维护绿色环境、提高公民的经济和生活水平,并提高人们有效使用和采用现代信息和通信技术的能力。在智慧城市概念中,信息和通信技术在政策设计、决策、实施和最终生产性服务中发挥着至关重要的作用。本综述的主要目的是探讨人工智能(AI)、机器学习(ML)和深度强化学习(DRL)在智慧城市演进中的作用。上述技术被有效地用于针对各种面向智慧城市的复杂问题设计最优策略。

c_cpp_csharp的专栏 1041

超硬核“黑科技”,被央视曝光!

依托阡陌数据集,研发了“见微”AI大模型安全,具备威胁研判、智能运营、大模型护栏、大模型安全测评、智能渗透、代码审计六大核心能力,能对国内外主流AI大模型进行安全测评与防护,并已无偿向全社会开源,推动AI大模型健康发展。中国电信以“云网融合 智能内生”为核心理念,构建“云、网、边、端、数、智、安”七位一体的纵深防御体系,加快提升关键信息基础设施保护能力,在行业内开创性建成云网安全中台,建成覆盖31个省(区、市)的安全能力池,实现了云网安全风险的“可测、可知、可防、可控”。

logic1001的博客 1057

无人机隐蔽通信网络研究综述

2.1 无人机隐蔽通信网络概述无人机通信网络作为连接无人机系统和控制中心的纽带以及无人机群协作的桥梁,发挥着至关重要的作用。美国在《2013—2038年无人系统综合路线图》中明确通信是无人系统面临的 9 项瓶颈技术之一。新版无人机/无人系统综合路线图《2017—2042年无人系统综合路线图》再次强调无人机相关技术应支撑跨域指控、跨域通信等。与传统地面通信网络相比,由于无人机的空间移动性,无人机通信呈现出不同的特点。

罗伯特技术屋 1327

15、无人机与医疗数据的网络安全保障方案

本文探讨了无人机网络安全与医疗数据安全的关键技术与保障方案。在无人机网络安全方面,分析了身份基加密(IBE)、选择性数据加密和水印技术的应用,以及其在资源受限环境下的优势。同时,介绍了生物特征认证在医疗数据安全中的应用,特别是基于指纹的身份验证机制。文章还探讨了两者的技术共性及相互借鉴的可能性,提出了在实际应用中的挑战与应对策略,旨在为未来智能医疗和物联网应用提供可靠的安全保障。

lg888的博客 110

RocketMQ生产者状态异常全解:从MQClientException到DefaultMQProducer的正确打开方式

本文深入解析了RocketMQ生产者启动时抛出MQClientException异常的根源,揭示了DefaultMQProducer内部状态机的设计原理。通过剖析源码中的状态流转,并结合Spring生态,提供了使用@Bean的initMethod/destroyMethod或实现SmartLifecycle接口等最佳实践,指导开发者正确管理生产者生命周期,避免重复启动等常见问题,从而构建稳定可靠的消息发送服务。

d6e7f8g9h的博客 636

避坑指南:Livox Mid-360双雷达SLAM配置中,那些官方文档没说的细节(IP设置、话题分离与时间同步)

本文详细解析了Livox Mid-360双雷达SLAM配置中的关键优化点,包括IP设置、话题分离与时间同步等官方文档未提及的细节。通过实战案例和代码示例,帮助开发者解决点云错位、IMU数据混乱等问题,提升SLAM系统的稳定性和精度。特别针对网络架构设计、驱动修改和时间同步机制提供了专业指导。

weixin_29745609的博客 426
上一篇: 79、机器学习中的重要概念与算法解析
下一篇: 1、动物生物识别技术:概念、应用与挑战
pluto
博客等级 码龄25年 46粉丝 1562原创
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符  | 博主筛选后可见
 
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付:10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值