Straggling for Covert Message Passing on Complete Graphs
我们引入了一个模型,移动,多代理的信息传输,增加了通信隐蔽性,通过一个协议,也增加了信息传输延迟。隐蔽性是在一个有能力巡逻通信通道的典狱长在场的情况下实现的。此外,我们展示了如何两种形式的冗余可以被用来作为一个有效的工具来控制之间的折衷的隐蔽性和延迟。
2019-09-30 cs.CR
A Lightweight Adaptable DNS Channel for Covert Data Transmission
由于安全在在线通信中的重要作用,以及攻击者正在开发他们的工具这一事实,现代化的安全工具是必不可少的。加密系统的效率已经被证明了多年,但是人们可能需要在不引起注意的情况下进行秘密通信,特别是在传输密钥等秘密数据时。隐通道是利用隐写术的原理来隐藏通信终端以外的数据的合适工具。他们可以在隐蔽的情况下进行安全的通信。工作隐形和提供一个可接受的吞吐量是设计隐蔽通道的问题。DNS协议的属性,如其运行应用程序的必要性和可用性,可以体面地提供上述问题。本文提出了一种利用DNS协议作为数据传输媒介的存储隐蔽通道。其关键特性包括连接建立、对网络环境的适应性、轻量级的混淆方法和满足机密性和完整性的HMAC。实验结果表明,所提出的信道统计是很好地适应正常业务。该信道具有每个分组2.65字节数据的平均容量。
2020-03-31 cs.CR
A Pattern-based Survey and Categorization of Network Covert Channel Techniques
网络隐蔽通道用于隐藏网络协议内部的通信。在过去的几十年里,出现了各种隐蔽通道技术。我们调查和分析了1987年至2013年期间开发的109种技术,并表明这些技术可以减少到只有11种不同的模式。此外,大多数(69.7%)的技术只能分为四种不同的模式,即我们调查的大多数技术都非常相似。我们使用模式语言在层次目录中表示模式。我们的模式目录将作为未来的隐蔽通道新颖性评价的基础。此外,我们将模式变化的概念应用于网络隐蔽通道。随着模式的变化,模式的上下文可能会改变。例如,为IPv4开发的信道可以自动地适配于其他网络协议。本文还提出了基于模式的隐通道优化方法,包括模式跳变和模式组合。最后,我们奠定了基于模式的对策的基础:虽然许多当前的对策是针对特定渠道开发的,但面向模式的方法允许将一种对策应用于多个渠道。因此,未来的对策发展可以集中在模式,并大大简化了对隐蔽通道的现实世界的保护的发展。
2015-03-19 cs.CR
Helol Tunnel: Covert Channel Exploitation of TLS Extensibility & Privacy Features
Application & Threat Intelligence Research Center Keysight Technologies, Inc.(安捷伦科技应用与威胁智能研究中心)
针对 TLS 协议中 Client Hello 数据包,提出 Helol 隧道隐蔽信道,通过重排加密信息元素嵌入数据,利用反僵化与隐私特性规避 NGFW,并验证其优于现有隐蔽信道。
2026-10-02 cs.CR
Protocol-independent Detection of "Messaging Ordering" Network Covert Channels
检测方法可用于几个已知的隐蔽信道。然而,在过去的十年中,一种类型的隐蔽通道很少受到关注,这就是“消息订购”通道。这样的隐蔽信道改变通过网络传输的PDU(协议数据单元,即分组)的顺序以编码隐藏信息。这些通道的优点是它们不容易被阻止,因为它们不修改报头内容,而是模仿典型的网络行为,例如TCP段以与发送顺序不同的顺序到达。贡献:在本文中,我们展示了一种独立于协议的方法来检测消息排序通道。我们的方法是基于修改后的压缩性得分。我们分析了消息排序通道的可检测性,以及几种类型的消息排序通道的可检测性是否不同。结果:我们的研究结果表明,消息排序信道的检测取决于它们的使用PDU的数量。首先,我们手动执行粗略的阈值选择,然后使用C4.5决策树分类器进行优化。我们能够检测到消息排序隐蔽通道的准确性和F1得分>= 99.5%,如果它们使用3或4个PDU的序列,则假阳性率分别< 1%和< 0.1%。仅操作两个PDU的序列的更简单的通道可检测到,准确性和F1评分为94.5%,并且与5.19%的假阳性率相关。因此,我们认为我们的方法适合于具有利用3或4个PDU的信道的真实世界检测场景,而利用2个PDU的信道的检测应当进一步改进。
2021-02-28 cs.CR cs.NI
New Covert Channels in HTTP
本文提出了新的方法,使匿名通信在互联网上。我们描述了一个新的协议,使我们能够创建一个匿名的覆盖网络,利用普通用户的网页浏览活动。我们发现,覆盖网络提供了一个匿名集大于一个现实的威胁模型中的一组的接收器和接收器。特别是,该协议在我们的威胁模型中提供了不可观测性。
2004-04-26 cs.CR cs.NI
Detection of Malicious and Low Throughput Data Exfiltration Over the DNS Protocol
在存在安全对策的情况下,设计用于数据泄露的恶意软件必须使用隐蔽通道来实现其目标。在现有的隐蔽通道中有域名系统(DNS)协议。虽然在过去的十年中,DNS上的隐蔽通道的检测已经得到了深入的研究,以前的研究涉及一个特定的隐蔽通道的子类,即DNS隧道。虽然隧道检测的重要性没有被削弱,但一类低吞吐量DNS渗透恶意软件仍然被忽视。本研究的目标是提出一种方法,用于检测隧道和低吞吐量的数据泄露的DNS。为此,我们提出了一个解决方案,包括一个监督特征选择方法,和一个可互换的,可调整的异常检测模型训练的合法流量。在第一步中,应用单类分类器来检测不符合正常行为的特定于域的流量。然后,在第二步中,为了减少由于尝试检测低吞吐量数据泄漏而导致的误报率,我们应用基于规则的过滤器,该过滤器过滤合法服务使用的DNS上的数据交换。我们的解决方案在中等规模的递归DNS服务器日志上进行了评估,涉及超过75,000次合法使用和近2,000次攻击。评估结果表明,虽然DNS隧道覆盖至少99%的召回率和小于0.01%的误报率,低吞吐量的渗透检测是比较困难的。虽然不能完全阻止它,但我们的解决方案在DNS语法的限制下(相当于每小时5个信用卡详细信息或10个用户凭据)限制了恶意软件试图避免检测的最多1 kb/h有效负载,这降低了攻击的有效性。
2018-06-18 cs.CR
Hidden in Plain Sight: Exploring Encrypted Channels in Android apps
随着Android操作系统中隐私功能的改进,侵犯隐私的应用程序可能会逐渐将重点转移到非标准和隐蔽的渠道,以泄露私人用户/设备信息。这种泄漏在很大程度上也不会被最先进的隐私分析工具检测到,这些工具在通过常规HTTP和HTTPS渠道发现隐私暴露方面非常有效。在这项研究中,我们设计和实现了ThirdEye,以显着扩展当前隐私分析工具的可见性,就各种非标准和隐蔽渠道发生的暴露而言,即,通过TCP/UDP(HTTP/S以外)上的任何协议,以及通过HTTP/S和非HTTP协议使用多层自定义加密。除了网络暴露之外,我们还考虑了通过存储介质的隐蔽通道,这些存储介质也利用了自定义加密层。使用ThirdEye,我们分析了Androidrank中各种类别的12,598个顶级应用程序,发现2887/12,598(22.92%)应用程序使用自定义加密/解密进行网络传输并将内容存储在共享设备存储中,其中2465/2887(85.38%)应用程序发送设备信息(例如,广告ID,已安装应用程序的列表)通过网络,可以指纹用户。此外,299个应用程序通过HTTP/非HTTP协议传输不安全的加密内容; 22个应用程序通过HTTPS使用身份验证令牌,碰巧通过不安全的(尽管是自定义加密的)HTTP/非HTTP通道暴露它们。我们发现了具有多级模糊的非标准和隐蔽通道(例如,通过HTTPS加密的数据,嵌套级别的加密),以及使用易受…
2022-09-29 cs.CR
Covert Ephemeral Communication in Named Data Networking
在过去的十年中,人们越来越认识到当前的互联网协议正在达到其衰老的极限。这促使了一些旨在设计潜在的下一代互联网架构的研究工作。命名数据网络(NDN),一个以内容为中心的网络方法的实例,就是这样一个努力。与IP相比,NDN路由器维护大量的用户驱动状态。在本文中,我们研究如何使用这种状态的隐蔽短暂通信(CEC)。CEC允许两方或多方秘密地交换短暂的消息,即,在一定时间后变得不可用的消息。我们的技术只依赖于网络层,而不是应用层,服务。这使得我们的协议健壮,通信难以被发现。我们表明,用户可以建立高带宽的CEC利用独特的NDN功能:在网络缓存,路由器的转发状态和名称匹配规则。我们使用本地设置和官方NDN测试平台评估建议的覆盖信道的可行性和性能。
2013-11-11 cs.CR cs.NI
BitWhisper: Covert Signaling Channel between Air-Gapped Computers using Thermal Manipulations
人们一直认为,计算机的物理隔离(气隙)提供了可靠的安全级别,如果两台相邻的计算机受到损害,它们之间的秘密数据交换将是不可能的。在本文中,我们展示了BitWhisper,这是一种通过使用它们的热排放和内置的热传感器来创建隐蔽通信通道来桥接相邻受损计算机之间的气隙的方法。我们的方法在两个方面是独一无二的:它支持双向通信,它不需要额外的专用外围硬件。我们提供的实验结果的基础上实现的BitWhisper原型,并检查信道属性和限制。我们的实验包括不同的布局,计算机位于彼此不同的距离,以及几种传感器类型和CPU配置(例如,虚拟机)。我们还讨论了信号调制和通信协议,展示了BitWhisper如何用于以每小时1-8位的有效速率在两台计算机之间(距离为0- 40厘米)交换数据,该速率使得可以渗透简短的命令并渗出少量数据(例如,密码)通过隐蔽信道。
2015-03-26 cs.CR
Steganography of VoIP Streams
本文关注现有的隐写技术,可用于创建隐蔽的通道VoIP(语音互联网协议)流。除了现有的隐写方法的特点,我们提出了两种新的技术提供了新的见解。第一种是网络隐写解决方案,其利用空闲/未使用的协议的字段,并且已知用于IP、UDP或TCP协议,但从未应用于RTP(实时传输协议)和RTCP(实时控制协议),这是VoIP的特征。第二种方法,称为LACK(丢失的音频数据包隐写),提供混合存储定时隐蔽通道,利用延迟的音频数据包。本文还包括实验的结果,该实验是为了估计在典型的VoIP会话阶段可以秘密传输的数据总量,而不管隐写分析。
2008-08-25 cs.CR cs.MM
Ask for Alice: Online Covert Distress Signal in the Presence of a Strong Adversary
本文提出一种利用TLS握手在正常网站流量中隐蔽传输求救信号的协议,构建强攻击者模型验证其安全性,实现低开销、难检测的隐蔽求救功能。
2023-10-05 cs.CR
SCAMPER -- Synchrophasor Covert chAnnel for Malicious and Protective ERrands
本文提出SCAMPER框架,利用IEEE C37.118同步相量协议中过度配置的时间戳字段构建隐蔽信道,既能实现攻击者间的隐秘通信,也可用于检测虚假数据注入攻击,并在两个HIL测试平台上验证了其恶意与防护双重用途的有效性。
2025-08-27 cs.CR
DYST (Did You See That?): An Amplified Covert Channel That Points To Previously Seen Data
本文提出历史隐蔽信道和隐蔽信道放大新范式,通过指向网络中已有的合法流量来减少发送方实际传输的秘密数据比例,并扩展分类体系、分析场景特性及优化配置。
2024-06-07 cs.CR cs.NI
Subverting Stateful Firewalls with Protocol States (Extended Version)
分析了多个TCP/IP网络协议栈实现中协议头字段的生成,发现了泄漏全局协议状态信息的新途径。然后,我们通过远程观察和修改系统的全局状态,通过这些协议字段演示了新的隐蔽通道。与早期的作品不同,我们的研究集中在主机驻留在防火墙网络(包括源地址验证-SAV),这是一个非常常见的情况下,现在。我们的攻击被设计为非破坏性的-在渗透场景中,这使得攻击更加隐蔽,从而延长了它们的寿命,并且在主机别名解析和类似技术的情况下-这确保了技术是道德的。我们关注的是防火墙通常使用的TCP,以及UDP,随着HTTP/3和QUIC的出现,UDP预计将在互联网流量中占据更突出的份额,尽管我们也报告了TCP的结果。我们发现的信息泄漏的情况下,使实际的隐蔽通道,直接穿透防火墙的建设,或间接建立通信通过主机的防火墙网络,也采用SAV。我们描述和测试三种新的攻击在这种情况下:通过防火墙本身的渗透,通过DMZ主机渗透,并通过共存容器渗透。这是隐蔽通道的三个通用新用例,它们围绕防火墙工作,并使不允许与互联网直接通信的设备仍然可以将数据从网络中泄露出去。换句话说,我们将数据从孤立的网络泄露到互联网。我们还解释了如何安装已知的攻击,如主机别名解析,去NAT和容器共存检测,使用新的信息泄漏技术。
2022-08-31 cs.CR
aIR-Jumper: Covert Air-Gap Exfiltration/Infiltration via Security Cameras & Infrared (IR)
红外(IR)光对人类是不可见的,但相机对这种类型的光是光学敏感的。在本文中,我们展示了攻击者如何使用监控摄像头和红外光在组织的内部网络和远程攻击者之间建立双向隐蔽通信。我们提出了两种情况:渗出(将数据泄漏出网络)和渗透(将数据发送到网络)。撤离监控和安全摄像头配备了红外LED,用于夜视。在渗透场景中,组织内的恶意软件通过本地网络访问监控摄像头并控制红外照明。敏感数据,如PIN码,密码和加密密钥,然后调制,编码,并通过红外信号传输。浸润在渗透场景中,站在公共区域的攻击者(例如,在街上)使用红外LED将隐藏信号传输到监控摄像头。二进制数据,如命令和控制(C&C)和信标消息编码的IR信号的顶部。渗出和渗透可以结合起来,在受损网络和攻击者之间建立双向的“气隙”通信。我们讨论了相关的工作,并提供了科学背景,这种光通道。我们实现了一个恶意软件的原型,并提出了数据调制模式和一个基本的传输协议。我们对隐蔽通道的评估表明,数据可以以每台监控摄像机20 bit/sec的速度从组织中秘密地泄露到数十米之外。数据可以以每台监控摄像机超过100比特/秒的速度从数百米到数千米的距离秘密渗透到组织中。
2017-09-18 cs.CR
xLED: Covert Data Exfiltration from Air-Gapped Networks via Router LEDs
在本文中,我们展示了攻击者如何秘密泄露数据(例如,通过LAN交换机和路由器等网络设备中的一排状态LED,从高度安全或空气隔离的网络中获取加密密钥、密码和文件)。虽然已知一些网络设备发出与设备正在处理的信息相关的光信号(“侧通道”),但以前从未研究过有意控制状态LED以携带任何类型的数据(“隐蔽通道”)。在LAN交换机或路由器上执行恶意代码,从而完全控制状态LED。敏感数据可以通过LED的闪烁进行编码和调制。然后,所产生的信号可以由各种类型的远程摄像机和光学传感器记录。我们提供了交换机和路由器内部架构的技术背景(在硬件和软件层面),使这种类型的攻击。我们还提出了基于幅度和频率的调制和编码方案,以及一个简单的传输协议。我们实现了一个原型的泄漏恶意软件,并讨论其设计和实施。我们用几个路由器和不同类型的LED来评估这种方法。此外,我们还测试了各种接收器,包括远程摄像头,安全摄像头,智能手机摄像头和光学传感器,并讨论了不同的检测和预防对策。我们的实验表明,敏感数据可以通过交换机和路由器的状态LED以每个LED 10 bit/sec到超过1 Kbit/sec的比特率秘密泄漏。
2017-06-04 cs.CR
Toward Undetectable Quantum Key Distribution over Bosonic Channels
我们表明,隐蔽的秘密密钥扩展是可能的,使用一个公共认证的经典信道和量子信道主要是在对手的控制下,我们精确定义。我们还证明了一个相反的结果表明,在量子密钥分配的黄金标准下,对手完全控制量子信道,没有秘密密钥生成是可能的。我们提出了一种基于脉冲位置调制和多级编码的协议,该协议允许使用传统的量子密钥分发(QKD)协议,同时确保隐蔽性,在这个意义上说,没有统计测试的对手可以检测到通信的存在比随机猜测。当运行在玻色子通道,我们的协议可以利用现有的离散调制连续变量协议。由于现有的技术,以约束夏娃的信息不直接适用,我们开发了一个新的约束,导致在积极的吞吐量的信道参数的范围。
2019-11-08 cs.CR cs.IT math.IT
CYPRESS: Transferring Secrets in the Shadow of Visible Packets
本文提出隐蔽信道框架CYPRESS,通过将秘密数据包搭载于常规网络流量上,以去中心化、可动态更新和运行时调度多种隐蔽信道的方式实现可靠隐藏通信,最高秘密带宽达1.6MB/s,并验证其可绕过安全措施、隐藏攻击来源。
2025-11-09 cs.CR cs.NI
Data Exfiltration via Multipurpose RFID Cards and Countermeasures
射频识别(RFID)技术广泛应用于人类的日常生活中。RFID卡随处可见,从门禁到消费。对RFID卡的信息安全问题,如数据保密性、标签匿名性、相互认证等进行了深入的研究。本文利用MIFARE Classic和DESFire系列的RFID卡,通过多用途RFID卡在服务提供商之间建立双向隐蔽通道,实现两个仿真系统之间的敏感数据泄漏。通过计算和实验,得到了该信道每天泄漏数据的信道容量。虽然单个RFID卡的存储容量很小,但庞大的用户群仍然会带来相当数量的数据泄露。然后,这种通道的存在的原因进行了讨论。为了消除这种类型的隐蔽通道,一个新的认证协议之间的RFID卡和读卡器的建议。我们的实验结果表明,在防止这种隐蔽通信,同时保持用户的方便显着的安全性提高。
2019-05-19 cs.CR
Covert Attacks on Machine Learning Training in Passively Secure MPC
Google DeepMind(谷歌DeepMind);Visa Research(Visa研究);Aarhus University(阿arhus大学)
本研究揭示主动对手可在被动安全MPC训练协议中实施隐蔽攻击,损害模型完整性与隐私,甚至重建训练数据,挑战了被动安全威胁模型的合理性,并推动采用主动安全协议。
2025-05-21 cs.CR cs.LG
Leaky Wires: Information Leakage and Covert Communication Between FPGA Long Wires
现场可编程门阵列(FPGA)是实现可重构硬件的集成电路。它们用于现代系统,创建专业的,高度优化的集成电路,而无需设计和制造专用芯片。随着FPGA容量的增长,设计人员越来越多地采用来自一系列第三方来源的算法和协议。FPGA的单片特性意味着所有片上电路(包括第三方黑盒设计)必须共享共同的片上基础设施,例如路由资源。在本文中,我们观察到,一个“长”的路由线携带一个逻辑1减少了传播延迟的其他相邻的,但未连接的长线在FPGA互连,从而泄漏有关其状态的信息。我们利用这种效果,并提出了一种通信信道,可用于电路之间的隐蔽传输,并从芯片的秘密渗出。我们表明,静态和动态信号的效果是可测量的,它可以使用非常小的板上电路检测。在我们的原型中,我们能够正确地推断出相邻长导线的逻辑状态超过99%的时间,即使没有纠错,并且信号保持了82 us。使用曼彻斯特编码方案,我们的信道带宽高达6kbps。我们详细描述了通道的特征,并表明即使存在多个竞争电路,它也是可测量的,并且可以在不同代和不同系列的Xilinx设备(Virtex 5,Virtex 6和Artix 7)上复制。最后,我们提出的对策,可以部署系统和工具设计师,以减少这种信息泄漏的影响。
2018-03-13 cs.CR
Covert Quantum Learning: Privately and Verifiably Learning from Quantum Data
California Institute of Technology(加州理工学院);University of Warwick(沃里克大学);Morgan Stanley Machine Learning Research(摩根士丹利机器学习研究);Columbia University(哥伦比亚大学)
本文提出量子学习中的隐蔽可验证模型,在无计算假设下实现策略与目标隐私,证明Forrelation和Simon问题的量子优势在隐蔽约束下依然成立。
2025-10-08 cs.CR cs.LG quant-ph
Hiding Data in Plain Sight: Undetectable Wireless Communications Through Pseudo-Noise Asymmetric Shift Keying
不可检测的无线传输是避免窃听者的根本。为了解决这个问题,无线隐写术通过稍微修改传输的波形将隐蔽信息隐藏在原始信息内,使得原始信息仍然是可解码的,而隐蔽信息将被不可知的接收器视为噪声。由于隐藏信息的添加不可避免地降低了主传输的SNR,因此无线隐写术中的关键挑战是:i)评估作为不同信道条件的函数的隐藏信道对主信道的影响;以及ii)确保隐藏信道是不可检测的。现有的方法是协议特定的,我们也注意到,现有的无线技术依赖于相位键控调制,在大多数情况下不使用信道的香农容量。因此,可以利用剩余容量来实现基于伪噪声非对称移位键控(PN-ASK)调制的无线系统,其中通过移位主符号的幅度来映射隐蔽符号。这样,隐藏信息将是不可检测的,因为期望相位调制符号的接收器将看到它们的幅度偏移作为信道/路径损耗降级的影响。我们首先研究的SER的PN-ASK作为一个函数的信道,然后,我们找到了最佳的PN-ASK参数,优化在不同的信道条件下的主要和隐蔽的吞吐量。我们通过大量的模拟和基于USRP N210软件定义无线电的实验测试平台,评估了PN-ASK的吞吐量性能和不可检测性。我们表明,PN-ASK的吞吐量提高了8倍以上,相对于现有技术。最后,我们通过实验证明,PN-ASK能够传输隐藏的数据上的IEEE 802.11g帧,这是正确解码的现成的笔记本电脑WiFi。
2019-05-06 cs.CR cs.NI eess.SP
Verifier-Bound Communication for LLM Agents: Certified Bounds on Covert Signaling
umd(马里兰大学)
本文提出CLBC协议,通过验证器绑定通信限制LLM代理的隐蔽信号,确保安全性和可验证性。
2026-02-27 cs.AI cs.CR cs.SY
Fingerprinting All AI Cluster I/O Without Mutually Trusted Processors
MATS;Oxford Hardware AI Governance Lab(牛津硬件AI治理实验室);SaferAI;Martian;RWTH Aachen University, Aachen, Germany(亚琛工业大学)
提出一种通过网络分流器计算哈希来加密承诺进出数据中心所有信息的方法,并设计“安全网关设备”消除隐蔽信道,以实现对AI集群I/O的可验证审计。
2026-06-09 cs.CR
SteaLTE: Private 5G Cellular Connectivity as a Service with Full-stack Wireless Steganography
第五代(5G)系统将广泛采用无线电接入网络(RAN)软件化。这一关键创新使在共享物理基础设施的不同切片上运行的"虚拟蜂窝网络"的实例化成为可能。在本文中,我们提出了私有蜂窝连接即服务(PCCaaS)的概念,基础设施提供商部署仅为用户子集所知的隐蔽网络切片。然后,我们提出SteaLTE作为蜂窝网络的PCCaaS使能系统的第一个实现。SteaLTE的核心是利用无线隐写术将数据伪装成对抗接收器的噪声。然而,与以前的工作不同的是,它采用全栈方法进行隐写,为基于PCCaaS的通信提供符合LTE的隐写协议栈,并在传统蜂窝流量(主要流量)之上嵌入隐藏数据流。SteaLTE通过模仿信道损伤来平衡不可检测性和性能,使得隐蔽数据波形几乎无法与噪声区分。我们评估SteaLTE的性能在室内LTE兼容的测试平台下不同的流量配置文件,距离和移动模式。我们进一步测试它在室外PAWR POWDER平台上通过远程蜂窝链路。结果表明,在大多数实验中,SteaLTE在存在隐蔽数据传输的情况下几乎不会造成主要流量吞吐量的损失(<6%),这使得它适用于不可检测的PCCaaS网络。
2021-02-10 cs.CR cs.NI
Impossibility of Three Pass Protocol using Public Abelian Groups
密钥传输协议被设计为将秘密密钥从发起主体传输到网络中的其他实体。三遍协议是Adi Shamir在1980年开发的一种密钥传输协议,其中Alice希望通过不安全的信道向Bob传输秘密消息,并且他们没有任何预先共享的秘密信息。本文证明了在公共阿贝尔群上利用三次通过协议在网络中从一个主体到另一个实体传送秘密密钥的不可能性。如果有可能使用公共阿贝尔群来实现三遍协议,我们就可以在后量子密码学中使用它来传输密钥,从而提供信息论安全性,而不依赖于任何计算困难的问题。
2017-03-17 cs.CR
Privacy Friendly E-Ticketing For Public Transport
本文研究了如何在实践中实现一种隐私友好的公共交通票务形式。所描述的协议受到世界各地使用的当前(侵犯隐私)公共交通票务系统的启发。第一个协议模拟基于纸张的票据。第二个协议实现了一种现收现付的方法,在用户办理登机手续和退房手续时确定票价。这两种协议都假设使用智能手机作为主要用户设备来存储机票或旅行信用。我们认为这项研究是朝着研究如何在实践中以隐私友好的方式设计常用基础设施迈出的一步,特别关注如何处理故障。
2021-01-22 cs.CR
Contiguous Zero-Copy for Encrypted Transport Protocols
本文提出Reverso方法,通过颠倒加密传输协议字段顺序解锁连续零拷贝,基于QUIC实现quiceh验证可在不损失安全性的前提下显著提升CPU效率,且该方法可推广至其他现代加密协议。
2025-11-14 cs.CR
The Vehicle May Be Sick: Denial of Diagnostic Services by Exploiting the CAN Transport Protocol
School of Cybersecurity, Korea University(韩国大学网络安全学院);Division of Artificial Intelligence Engineering, Sookmyung Women’s University(淑明女子大学人工智能工程系)
本文识别了八个新型攻击场景,利用ISO 15765-2标准的传输层机制,导致诊断服务拒绝,揭示了车辆诊断中的关键漏洞,可能对安全造成威胁。
2026-04-26 cs.CR
Application-layer Characterization and Traffic Analysis for Encrypted QUIC Transport Protocol
针对加密QUIC流量分析难题,提出基于规则的算法,利用数据包大小、时间和方向信息,在不解密的情况下推断HTTP请求响应对及多路复用特征,以评估QoE并分类服务。
2023-10-10 cs.CR
Transport Level Security: a proof using the Gong-Needham-Yahalom Logic
本文利用Gong Needham Yahalom逻辑对提出的Internet标准传输级安全协议进行了证明。它的目的是作为一个教学辅助工具,并希望向学生展示:一个正式的协议设计方法的效力;一些微妙的认证方在网络上,所有的消息可以被拦截;设计什么应该是一个广泛接受的标准。
1999-04-14 cs.CR
Strongvelope Multi-Party Encrypted Messaging Protocol design document
在本文档中,我们描述了多方消息传递加密协议“Strongwere”的设计。我们希望它将被证明是有用的人有兴趣了解这个协议的内部工作以及密码学和安全专家审查的基本概念和假设。在这篇设计论文中,我们通过Strongslane模块概述了聊天消息保护的前景。这与产品(Mega chat)及其将使用的运输方式不同。聊天产品和传输的各个方面仅在适当的地方提及,但不在本文档中讨论。
2016-06-14 cs.CR
JSON Web Token (JWT) based client authentication in Message Queuing Telemetry Transport (MQTT)
本文概述了JSON Web令牌(JWT)和传输层安全性(TLS)作为互联网上事物认证的两种主要方法。JSON Web Token(JWT)目前被广泛用于OAuth和OpenId框架中的授权和身份验证。最近,Google Cloud IoT强制要求将JWT用于基于HTTP和消息传输远程传输(MQTT)协议的客户端,通过TLS安全地连接到云服务。MQTT是物联网设备中的首选协议,也是本文作为应用协议的主要关注点。另一个流行的云平台Amazon Web Service(AWS)使用TLS双向身份验证进行客户端身份验证。这里提供的两种方法之间的任何比较主要是从受约束的设备客户端的角度。
2019-03-07 cs.CR
mpENC Multi-Party Encrypted Messaging Protocol design document
本文档是对我们工作的技术概述和讨论,这是一个安全组消息传递协议。所谓安全,我们指的是对实际用户的安全,即端到端的安全,而不是对无关的第三方的“安全”。我们的工作提供了在真实传输协议之上的真实用户之间运行消息传递会话所需的一切。也就是说,我们不仅指定了密钥交换,还指定了何时以及如何相对于传输层事件运行这些密钥交换;如何实现可靠性和一致性等活动属性,这些属性对时间敏感,并且位于仅加密协议通常限制自己的发送-接收逻辑之外;并提供在用户界面中显示准确(即安全)但不压倒性信息的建议。我们的目标是一个通用的统一协议。换句话说,我们更倾向于避免仅仅为了支持自动化、可扩展性或不同的传输协议而创建一个全新的协议。这将增加整个通信协议生态系统的复杂性。如果原始协议设计得很好,就像我们试图做的那样,这是完全不必要的。这个目标并不完整--我们的完整协议系统,如目前实现的,只适合于与某些即时消息协议一起使用。然而,我们试图分离出概念上独立的关注点,并使用最小的假设单独解决这些问题,即使其他组件做出额外的假设。这意味着我们整个系统的许多组件可以在未来的协议扩展中重用,并且我们确切地知道哪些组件必须被替换,以解除我们整个系统的现有约束。
2016-06-15 cs.CR
Federated Sovereign Transport Protocol (FSTP): Verifiable Coordination Without Disclosure
University of Sonora(索诺拉大学)
提出联邦主权传输协议 (FSTP),通过编译时类型系统强制数据隔离、上下文无关身份模型和基于Blocklace的事件日志,实现无需暴露内部数据的可验证联邦协调。
2026-07-02 cs.CR
Expanding the Attack Scenarios of SAE J1939: A Comprehensive Analysis of Established and Novel Vulnerabilities in Transport Protocol
本文针对广泛应用的 SAE J1939 协议漏洞识别有限的问题,提出并验证了 14 种攻击场景(含 7 种新场景),通过实时通信测试平台确认 11 种可成功执行,揭示了商用车辆面临的网络安全威胁。
2024-06-02 cs.CR
Trends toward real-time network data steganography
网络隐写术是一种著名的隐蔽数据通道方法,已有三十多年的历史。自20世纪80年代初引入以来,基本的技术和实现工具集没有发生重大变化。在本文中,我们回顾了经典的网络隐写术的主要方法,描述了在网络传输域中嵌入数据的详细操作和由此产生的挑战。我们还考虑了网络隐写术的各种网络威胁向量,并指出了经典网络隐写术和众所周知的端点多媒体嵌入技术之间的主要差异,这些技术只专注于静态数据修改数据隐藏。然后,我们通过引入一种全新的网络数据隐藏方法来挑战安全社区,我们称之为实时的【形】网络数据隐写。最后,我们通过形成实时的【形】网络数据操作的基本框架,为隐藏网络数据嵌入的根本性变化奠定了基础,这将为计算机网络安全的进一步发展开辟道路。
2016-04-11 cs.CR cs.MM
Secure Communication Protocol for Smart Transportation Based on Vehicular Cloud
联网汽车的开创性概念通过从附近物体收集相关数据,改变了研究人员和企业家的思维方式。然而,这些数据仅对特定车辆有用。此外,车辆获得大量数据(例如,交通、安全和多媒体信息娱乐)。因此,车辆期望有足够的存储设备来存储这些数据,但是在每辆车中具有大的存储器是不可行的。因此,车辆云计算(VCC)框架进入画面,以通过将路边单元(RSU)与车辆云(VC)连接来提供存储设施。在这种情况下,数据应该以加密的形式保存以保持安全性,但是在加密数据上搜索信息是一个挑战。接下来,我们了解到,许多车辆通信方案由于其性能不佳并且容易受到不同的基本安全攻击而对数据传输效率低下。因此,设备上的性能至关重要,但数据损坏和安全的按时连接也是公共环境中的重大挑战。因此,我们提出了可靠的数据传输协议的尖端架构,从存储搜索数据,抵御各种安全攻击,并提供更好的性能结果。因此,所提出的数据传输协议可用于各种智能城市应用(商业、安全和娱乐),以造福社会。
2020-01-04 cs.CR
The QQUIC Transport Protocol: Quantum assisted UDP Internet Connections
量子密钥分发是1984年提出的一种商业化的保密通信方法,它利用量子力学的性质,使通信双方产生共享的随机秘密密钥。我们提出了QQUIC(Quantum assisted Quick UDP Internet Connections)传输协议,该协议对著名的QUIC传输协议进行了改进,在密钥交换阶段采用量子密钥分配来代替原来的经典算法。由于量子密钥分发的可证明安全性,QQUIC密钥的安全性不依赖于计算假设。也许令人惊讶的是,QQUIC在某些情况下甚至比QUIC更能减少网络延迟。为了实现这一点,附加的量子连接被用作密钥生成的专用线路。
2020-06-01 cs.CR cs.NI quant-ph
Designing Transport-Level Encryption for Datacenter Networks
University of Edinburgh(爱丁堡大学)
SMT是一种用于数据中心网络的传输级加密协议,通过整合TLS加密与高效RPC支持,提升RPC性能并防止重放攻击。
2026-02-12 cs.CR cs.NI
Security Analysis of Bitcoin's V2 Transport Protocol: Exploiting Design Implications for Sustained Eclipse and Downgrade Attacks
Dresden University of Technology(德累斯顿工业大学)
本文分析了比特币V2传输协议的安全性,指出尽管某些攻击已被修复,但存在其他攻击路径。研究展示了网络攻击者如何利用TCP载荷长度识别应用消息,通过加密通信机制实现持续Eclipse攻击,并利用兼容性机制降级节点连接。
2026-05-19 cs.CR cs.DC cs.NI
Cryptanalysis of three matrix-based key establishment protocols
我们对Baumslag、Camps、Fine、Rosenberger和Xu等人在2006年提出的一个基于矩阵的密钥传输协议进行了密码分析。我们还密码分析两个最近提出的基于矩阵的密钥协商协议,由于Habeeb,Kahrobaei和Shpilrain,由于Romanczuk和Ustimenko。
2011-02-11 cs.CR math.GR
Analysis of the DoIP Protocol for Security Vulnerabilities
在ISO 13400中定义的DoIP是用于诊断数据的传输协议栈。诊断数据是车辆的潜在攻击媒介,因此必须保证安全传输以保护敏感数据和车辆。以前的工作分析了DoIP协议的草案版本和早期版本,没有传输层安全性(TLS)。DoIP协议没有正式的分析。这项工作的目标是调查的DoIP协议的设计缺陷,可能会导致安全漏洞和可能的攻击,利用他们。为此,我们演绎分析的DoIP协议的第一步,随后正式确认我们的结论。对于形式分析,我们使用证明器Tamarin。在此基础上,我们提出了提高DoIP安全性的对策,指出DoIP协议不能被认为是安全的,主要是因为DoIP协议中的TLS和客户端认证等安全机制不是强制性的。我们提出了一些措施来缓解我们确认激活TLS后仍然存在的漏洞。这些只需要对协议进行微小的重新设计。
2022-11-22 cs.CR cs.NI
QUIC-Fuzz: An Effective Greybox Fuzzer For The QUIC Protocol
针对QUIC协议模糊测试的诸多挑战,研究团队开发了灰盒变异模糊测试工具QUIC-Fuzz,测试6款主流服务端实现发现10个新漏洞,代码覆盖率较现有最优工具最高提升84%,已开源。
2025-03-25 cs.CR cs.SE