A New Non-MDS Hash Function Resisting Birthday Attack and Meet-in-the-middle Attack
为了有效和经济地检查IP地址的完整性和真实性,本文提出了一种新的非Merkle-Damgard结构(非MDS)哈希函数称为JUNA,它是基于一个多变量置换问题和一个异常子集积问题,到目前为止还没有找到亚指数时间的解决方案。JUNA包括初始化算法和压缩算法,并将仅被视为一个块的n比特的短消息转换为m比特的摘要,其中80 ≤ m ≤ 232和80 ≤ m ≤ n ≤ 4096。分析和证明表明,新的哈希算法是单向的、弱无冲突的和强无冲突的,其对生日攻击和中间相遇攻击的安全性为O(2 ^ m)。此外,给出了新的哈希函数抵抗生日攻击的详细证明。与基于离散对数问题的Chaum-Heijst-Pfitzmann散列相比,新的散列是轻量级的,从而为轻量级数字签名方案的应用打开了一扇方便的大门.
2017-04-30 cs.CR
Authentication against Man-in-the-Middle Attack with a Time-variant Reconfigurable Dual-LFSR-based Arbiter PUF
随着物联网产业规模的扩大,物联网设备的信息安全备受关注。传统的加密算法需要将密钥等敏感信息存储在内存中,还需要操作系统的支持,这对于资源受限的物联网终端来说显然是无法接受的。物理不克隆功能通过提取芯片在制造过程中不可避免的工艺偏差,引入相应的激励和响应功能关系,不需要存储用户的敏感信息,并且只有在通电时才会响应,在通电时响应立即消失,这样可以节省大量的设备资源和功耗。然而,PUF容易受到建模攻击,并且挑战混淆方法等传统方法是时不变的,这相当于在传统APUF电路的前级添加了一个固定的功能。因此,它可能会受到足够CRP的建模攻击。为了进一步提高APUF电路对建模攻击的抵抗能力,提出了一种基于双LFSR的时变挑战混淆APUF电路。此外,传统的认证方案一般采用一次性密钥方案来增强对中间人攻击的抵抗能力。本文提出的两次认证方案可以在不牺牲CRP的情况下提高RFID系统抵抗中间人攻击的能力。
2020-07-21 cs.CR
An ELEGANT dataset with Denial of Service and Man in The Middle attacks
本文档描述了一个包含各种类型的拒绝服务(DoS)攻击和中间人(MiTM)攻击的数据集。数据可在以下DOI 10.21227/mewp-g646中获得。本文档描述了数据汇集过程,并提供了有关如何使用可编程逻辑控制器(PLC)将数据用于设计关键基础设施网络安全模型的有用信息。
2021-03-18 cs.CR cs.SY eess.SY
Implementing Man-in-the-Middle Attack to Investigate Network Vulnerabilities in Smart Grid Test-bed
本文构建了一个实时网络物理系统测试平台,结合电力系统与通信系统仿真器分析Modbus协议漏洞,实施中间人攻击评估其影响,并提出网络安全防护策略。
2023-05-31 cs.CR
Man-in-the-Middle Attack Resistant Secret Key Generation via Channel Randomization
基于物理层的密钥生成方案利用信道的互易性来提取秘密密钥,可以实现对窃听者的信息论保密。这样的方法虽然实用,但已经被证明易受中间人(MitM)攻击的影响,其中主动对手Mallory可以通过在观察到来自Alice和Bob的高度相关的信道/RSS测量时注入她自己的分组来影响和推断Alice和Bob之间生成的秘密密钥的一部分。由于所有信道在信道相干时间内保持稳定,所以Mallory注入的数据包使Alice和Bob测量类似的RSS,这使得Mallory能够成功地预测导出的密钥位。为了抵御这样的MitM攻击,我们建议利用一个可重新配置的天线在一个合法的收发器主动随机化的信道状态在不同的信道探测轮。天线模式在每个探测回合的随机化打破了从对手到合法设备的信道的时间相关性,同时保留了后者之间的信道的互易性。这防止了来自对手的密钥注入,而不影响Alice和Bob测量公共随机性的能力。我们从理论上分析了协议的安全性,并进行了大量的模拟和现实世界的实验,以评估其性能。我们的研究结果表明,我们的方法消除了积极的MitM攻击的优势,通过驾驶的概率,成功猜测位的秘密密钥随机猜测。
2021-06-10 cs.CR
Secure Memory Erasure in the Presence of Man-in-the-Middle Attackers
内存擦除协议用于在安装新软件之前清理设备的内存。虽然这一任务可以通过直接的硬件操作来完成,但基于远程软件的存储器擦除协议已经成为一种更有效和更具成本效益的替代方案。然而,现有的远程存储器擦除协议仍然依赖于非标准的对抗模型来正确操作,从而需要额外的硬件来限制对手的能力。在这项工作中,我们提供了一个正式的定义内的符号安全模型,利用标准的Dolev-Yao对手的安全内存擦除。我们的主要结果包括Dolev姚对手的限制,我们证明了必要和充分的解决问题,找到一个协议,满足安全的内存擦除。我们还提供了一个使用标准的密码符号,我们用它来分析的安全性和通信复杂性权衡通常存在于这种类型的协议所产生的协议的描述。
2019-05-31 cs.CR
DCeption: Real-world Wireless Man-in-the-Middle Attacks Against CCS EV Charging
University of Oxford(牛津大学);armasuisse S+T(瑞士国防部武装部队科学与技术局)
DCeption研究了针对CCS电动汽车充电的现实无线中间人攻击,展示了对TLS和协议版本的控制,并提出了一种缓解底层漏洞的协议扩展。
2026-01-21 cs.CR
Man in the middle and current injection attacks against the KLJN key exchanger compromised by DC sources
这项研究解决了一个新的问题,关于Kirchhoff-Law-Johnson-Noise(KLJN)方案的安全性受到Alice和Bob处的DC源的影响:这些寄生源对主动攻击(如中间人(MITM)攻击或电流注入攻击)的影响是什么?令人惊讶的答案是,寄生DC源实际上增加了系统的安全性,因为在MITM攻击的情况下,它们更容易发现窃听。在某些情况下,Eve可以修复此缺陷,但随后问题被简化为KLJN方案免疫的原始MITM攻击,这已经在前面得到了证明
2020-04-03 cs.CR cs.SY eess.SY
Quantum Meet-in-the-Middle Attack on Feistel Construction
Hosoyamada et al.的工作[14],我们提出了一种新的量子中间相遇(QMITM)攻击$r$轮($r \ge 7$)Feistel构造,以降低时间复杂度。类似于Hosoyamada et al.的工作,我们对7轮费斯特尔的攻击也是基于郭等人。的经典中间相遇(Meet-in-the-Middle,MITM)攻击[13]。经典的MITM攻击主要在构造查找表、查询数据和查找匹配三个方面消耗大量时间。因此,并行Grover搜索处理器用于减少构造查找表的时间。我们调整了Guo等人提出的5轮搜索算法的截断差分,以平衡构造查找表和查询数据之间的复杂性。最后,我们介绍了一个量子爪发现算法来找到一个匹配,以减少时间。子密钥可以通过此匹配恢复。此外,对于$r$ -round($r > 7$)Feistel构造,我们将对前7轮的上述攻击视为内循环,并使用Grover算法搜索子密钥的最后$r-7$轮作为外循环。综上所述,我们对$r$ -轮($r \ge 7$)的攻击的总时间复杂度仅比经典攻击和量子攻击低$O(2^{2n/3+(r-7)n/4})$。此外,我们的攻击属于Q1模型,比其他量子攻击更实用。
2022-04-18 cs.CR quant-ph
Vesper: Using Echo-Analysis to Detect Man-in-the-Middle Attacks in LANs
中间人(MitM)攻击是一种网络攻击,其中攻击者拦截流量,从而损害网络的机密性,完整性和可用性。由于其简单性,它仍然是一种流行的攻击媒介。然而,现有的解决方案要么是不可移植的,遭受高的假阳性率,要么就是不通用的。在本文中,我们提出了Vesper:一种新的即插即用的局域网MitM检测器。Vesper使用了一种受声学信号处理领域中脉冲响应分析启发的技术。类似于洞穴中的回声如何捕捉环境的形状和结构,因此可以用短而强的脉冲回波请求来模拟两个网络主机之间的链接。Vesper使用称为自动编码器的神经网络来模拟回波脉冲的正常模式,并检测环境何时发生变化。使用这种技术,Vesper能够以高精度检测MitM攻击,同时产生最小的网络开销。我们评估Vesper的局域网组成的视频监控摄像机,服务器和PC工作站。我们还调查了几种可能的对抗攻击对Vesper,并演示如何Vesper减轻这些攻击。
2018-03-07 cs.CR cs.NI
Man-in-the-Middle Proof-of-Concept via Krontiris' Ephemeral Diffie-Hellman Over COSE (EDHOC) in C
本报告分析了轻量级密钥交换协议的认证过程,重点探讨中间人攻击如何破坏其安全性以助长大规模监控,并排除了恶意超表面对B5G网络的安全影响。
2025-10-12 cs.CR
Men-in-the-Middle Attack Simulation on Low Energy Wireless Devices using Software Define Radio
以蓝牙为研究对象,利用软件无线电技术,结合无线电波的嗅探和欺骗、捕获和分析技术,对蓝牙低功耗设备和ZigBee数据包进行中间人攻击和渗透测试。本文分析了这一领域的最新科学工作,提供了SDR的比较分析和硬件选择的基本原理,给出了从ZigBee和BLE设备收集无线数据包和数据汇集的操作顺序,并分析了改进捕获的无线数据包分析技术的方法。对于研究收集的实验装置,实时的分析其结果。将收集的无线数据包与发送的无线数据包进行比较。实验结果显示了本地无线网络的弱点。
2019-06-26 cs.CR cs.NI
Quantum Meet-in-the-Middle Attacks on Key-Length Extension Constructions
针对密钥长度扩展构造中的双密钥三重加密和3异或级联加密,提出量子中途相遇攻击,在Q2/Q1模型下实现更低时间复杂度,还扩展出量子中途筛选攻击框架,适用于更多构造。
2025-11-12 cs.CR quant-ph
Man-in-the-Middle Attacks against Machine Learning Classifiers via Malicious Generative Models
Swinburne University of Technology(斯威本科技大学)
深度神经网络(DNN)容易受到故意制作的对抗性示例的影响。在过去的几年里,人们花了很多精力来探索查询优化攻击,以找到黑盒或白盒DNN模型的对抗性例子,以及针对这些攻击的防御对策。在这项工作中,我们探索了DNN模型在中间人(MitM)攻击的保护伞下的漏洞,这是以前没有调查过的。从MitM对手的角度来看,上述对抗性示例攻击不再可行。首先,这种攻击必须在实际发动攻击之前多次获得模型的输出,这对于MitM对手来说在实践中是困难的。其次,这种攻击是一次性的,不能直接推广到新的数据示例上,这降低了攻击者的回报率。相比之下,使用生成模型来动态制作对抗性示例可以减轻缺点。然而,生成模型的对抗能力,如变分自动编码器(VAE),还没有得到广泛的研究。因此,给定一个分类器,我们研究使用VAE解码器将良性输入转换为对抗性输入,或者将良性VAE编码器的输出解码为对抗性示例。该方法可以赋予MitM攻击者更多的攻击能力。根据我们的评估,所提出的攻击在MNIST和CIFAR10数据集上都可以达到95%以上的成功率,这比最先进的查询优化攻击更好或相当。与此同时,该攻击比查询优化攻击快104倍。
2019-10-14 cs.CR cs.LG
Man-in-the-Middle Attacks Targeting Quantum Cryptography
Chunghwa Telecom Laboratories(中華電信實驗室)
针对现有量子密钥分发(QKD)协议在特定条件下的漏洞,本研究提出两类中间人(MITM)攻击技术并通过案例验证其风险,同时给出应对策略与安全增强方法,为安全量子通信系统部署提供参考。
2025-02-01 cs.CR quant-ph
Preemptive Image Robustification for Protecting Users against Man-in-the-Middle Adversarial Attacks
Seoul National University(首尔大学);DeepMetrics
深度神经网络已经成为现代图像识别系统的驱动力。但是,神经网络对对抗攻击的脆弱性对受这些系统影响的人构成了严重威胁。在本文中,我们专注于一个现实世界的威胁模型,其中一个人在中间的对手恶意拦截和干扰图像的Web用户在线上传。这种类型的攻击除了简单的性能下降外,还可能引发严重的道德问题。为了防止这种攻击,我们设计了一种新的双层优化算法,该算法可以在自然图像附近找到对对抗性扰动具有鲁棒性的点。在CIFAR-10和ImageNet上的实验表明,该方法可以在给定的修改预算内有效地鲁棒自然图像。我们还表明,所提出的方法可以提高鲁棒性时,联合使用随机平滑。
2021-12-10 cs.CR cs.CV cs.LG
MITHYS: Mind The Hand You Shake - Protecting mobile devices from SSL usage vulnerabilities
最近的研究表明,大量的移动应用程序,通常处理敏感数据,如银行帐户和登录凭据,遭受SSL漏洞。大多数情况下,这些漏洞是由于不正确使用SSL协议(特别是在其\emph{handshake}阶段),导致应用程序暴露于中间人攻击。在本文中,我们提出了MITHYS,一个系统能够:(i)检测应用程序容易受到中间人攻击,(ii)保护他们免受这些攻击。我们证明了我们的建议的可行性,通过在Android的原型实现,名为MITHYSApp。一组完整的实验评估我们的解决方案在检测和保护移动应用程序免受中间人攻击,而不引入显着的开销的有效性。最后,MITHYSApp不需要任何特殊权限或操作系统修改,因为它在应用程序级别运行。这些功能使MITHYSApp可以立即部署在庞大的用户群中。
2013-06-28 cs.CR
Defending Against Attack on the Cloned: In-Band Active Man-in-the-Middle Detection for the Signal Protocol
本文针对 Signal 协议中的主动中间人攻击,提出一种无需用户干预和带外信道的带内检测方案,通过服务器跟踪密钥指纹变化实现自动化密钥确认,并在保持现有安全保证的同时验证了其低性能开销。
2025-03-11 cs.CR
Man-in-The-Middle Attacks and Defense in a Power System Cyber-Physical Testbed
中间人(MiTM)攻击给智能电网带来了许多威胁。在MiTM攻击中,入侵者将自己嵌入两个设备之间的对话中,以窃听或冒充其中一个设备,使其看起来像是正常的信息交换。因此,入侵者可以执行错误数据注入(FDI)和错误命令注入(FCI)攻击,这可以危害电力系统操作,诸如状态估计、经济调度和自动发电控制(AGC)。很少有研究人员关注在智能电网中难以检测的MiTM方法。为了解决这个问题,我们正在设计和实施基于仿真的网络物理电力系统测试平台中的多阶段MiTM入侵,以大规模合成电网模型来演示此类攻击如何导致物理突发事件,例如误导操作和错误测量。MiTM入侵在这个合成电网中创建FCI、FDI和重放攻击。这项工作使利益相关者能够抵御这些隐形攻击,我们提出了使用入侵检测系统和网络监控工具的多个警报开发的检测机制。我们的贡献将使其他智能电网安全研究人员和行业能够为不显眼的MiTM攻击开发进一步的检测机制。
2021-02-23 cs.CR cs.SY eess.SY
Securing SMS Based One Time Password Technique from Man in the Middle Attack
电子商务中的金融交易安全性难以实现,并且存在用户通过互联网的机密数据可能被黑客访问的风险。不幸的是,与在线服务(如银行Web应用程序)进行交互通常需要一定程度的技术复杂性,而不是所有Internet用户都拥有。在过去的几年里,这些天真的用户越来越多地成为网络钓鱼攻击的目标,这些攻击是由旨在通过非法金融交易轻松获利的歹徒发起的。在本文中,我们提出了一个想法,以确保电子商务交易的网络钓鱼攻击。目前已有的一种方法是通过手机短信向注册用户发送一次性密码进行身份验证,防止网络钓鱼攻击,但这种方法容易受到中间人的攻击,本文提出了一种新的思想,与现有的使用一次性密码的在线支付系统相比,这种思想更加安全。在该机制中,OTP与安全密钥相结合,然后通过RSA算法来生成交易密码。此密码的副本保存在服务器端,并使用移动应用程序在用户端生成。因此,它不会通过不安全的网络传输,从而导致欺诈性交易。
2014-05-19 cs.CR cs.SI
Design and Detection of Covert Man-in-the-Middle Cyberattacks on Water Treatment Plants
本文针对水处理厂提出一种利用系统辨识设计隐蔽中间人攻击的系统化建模方法,并通过PASAD检测方法评估对策,揭示噪声与模型误差对攻击隐蔽性的影响,强调工业控制环境需更鲁棒的检测策略。
2025-11-06 cs.CR cs.SY eess.SY
Man-in-the-Middle and Denial of Service Attacks in Wireless Secret Key Generation
根据共享随机性的无线秘密密钥生成(W-SKG)(例如,来自无线信道衰落实现)是可以用于会话密钥协商的已建立的方案。W-SKG方法在延迟受限的无线网络中特别令人感兴趣,尤其是在超五代(B5 G)系统中的超可靠低延迟通信(URLLC)的上下文中。然而,W-SKG方案被认为在所谓的“优势蒸馏”阶段是可延展的,在此期间,在合法方处获得共享随机性的观察结果。作为示例,主动攻击者可以通过注入导频信号来充当中间人(MiM)和/或可以以干扰的形式发起拒绝服务攻击(DoS)。本文研究了注入式和反应式干扰攻击对W-SKG的影响。首先,它表明,注入攻击可以减少到-潜在的危害较小-干扰攻击的导频随机化,一种新的系统设计与随机QPSK导频。随后,最佳的干扰策略是确定在块衰落加性高斯白噪声(BF-AWGN)信道中存在的反应式干扰,使用博弈论公式。结果表明,反应式干扰机的干扰效果远大于简单的主动式干扰机
2020-03-26 cs.CR cs.IT math.IT
(Unconditional) Secure Multiparty Computation with Man-in-the-middle Attacks
在安全多方计算$n$中,各方在存在对手的情况下联合评估$n$变量函数$f$,所述对手可以破坏直到$t$方。迄今为止,几乎所有出现在文献中的作品都假定当事人之间存在经过认证的渠道。这种假设是不现实的。从放松这个(强)假设已经承担了两个方向的研究:(a)对手是几乎无所不能的,可以控制所有的通信信道在网络中,(b)只有部分连接的拓扑结构的认证通道是保证和对手控制的一个子集的通信信道在网络中。这项工作介绍了一个新的设置(无条件)安全多方计算问题,这是一个有趣的中间模型,相对于上述研究模型的文献(通过共享一个显着的特点,从上述两个模型)。我们认为(无条件)安全多方计算的问题时,“一些”的通信渠道连接各方可以被动地以及主动地被损坏。对于这种设置,一些诚实方可能通过损坏的信道连接到其他几个诚实方,并且可能无法与他们进行真实通信。这些当事人可能无法得到正确性或隐私的规范保证。我们提出了这个新的无条件多方计算的中间模型的安全性的定义。我们将展示如何适应协议(无条件)安全多方计算实现的定义,并认为我们取得的结果的紧密性。
2010-05-27 cs.CR
Injecting Falsehoods: Adversarial Man-in-the-Middle Attacks Undermining Factual Recall in LLMs
Technical University of Munich(慕尼黑技术大学);Munich Center for Machine Learning(慕尼黑机器学习中心)
本文提出首个基于提示注入的LLM事实记忆攻击评估框架Xmera,通过扰动输入在封闭书本和事实基础QA场景中降低响应正确性并评估生成过程的不确定性,提出基于响应不确定性的随机森林分类器作为防御机制。
2026-03-24 cs.AI cs.CL cs.CR
Investigating Man-in-the-Middle-based False Data Injection in a Smart Grid Laboratory Environment
随着信息和通信技术在电网中的日益广泛应用,网络攻击对能源供应安全的威胁日益严重。传统的网络安全措施,如防火墙或入侵检测/预防系统,可用作缓解和预防措施,但有效使用这些措施需要深入了解能源信息系统中的潜在威胁格局和复杂的攻击过程。鉴于智能电网应用中协调的定时攻击的复杂性和缺乏详细的知识,我们需要在适当和实用的环境中了解现实的攻击场景。在本文中,我们提出了一种基于中间人的攻击方案,该方案拦截控制系统和现场设备之间的过程通信,采用错误数据注入技术,并执行数据损坏,如向现场设备发送错误命令。我们证明了物理智能电网实验室环境中的攻击场景的适用性,并分析正常和攻击条件下生成的数据,提取特定领域的知识检测机制。
2021-10-18 cs.CR cs.NI cs.SY
An Efficient Encryption Algorithm for P2P Networks Robust Against Man-in-the-Middle Adversary
对等(Peer-to-Peer,P2P)网络作为信息交换的新范例已经变得流行,并且被用于许多应用,诸如文件共享、分布式计算、视频会议、VoIP、无线电和TV广播。这种流行带来了需要解决的安全问题和漏洞。特别是由于P2P网络中两个端节点之间的直接通信,这些网络很容易受到“中间人”攻击。在本文中,我们提出了一个新的公钥密码系统的P2P网络,是强大的对中间人的对手。该密码体制基于RSA和背包问题。我们基于预编码的算法使用背包问题执行置换和填充随机数据的消息。我们表明,与其他建议的密码系统相比,我们的算法是更有效的,它是完全安全的对一个积极的对手。
2013-08-09 cs.CR
Middle-Solving F4 to Compute Grobner bases for Cryptanalysis over GF(2)
代数密码分析通常需要通过求解多项式方程组来恢复秘密密钥。Faugere的F4算法是解决这一问题的著名Grobner基算法。然而,基于Grobner基的代数攻击存在一个严重的缺陷,即如果不能求出多项式方程组的Grobner基,就无法得到任何信息。本文深入研究了GF(2)上的F4算法。通过用S-多项式代替临界对,按一定步骤计算场方程的产生式的范式,避免了F4算法计算过程中的“冗余”约简子.通过对F4算法的逻辑稍加修改,对算法中出现的一元多项式进行求解,然后在每次迭代时将求解变量的值回代。我们称我们的改进为中间解决F4。中间求解的启发式策略克服了代数攻击的缺点,很好地适应了代数攻击。它以前从未被应用于Grobner基算法。对隐场方程实例和经典基准测试(Cyclic 6,Gonnet 83)的实验表明,Middle-Solving F4比Faugere的F4速度更快,占用的内存更少。
2013-10-09 cs.CR cs.NI cs.SC
Tracing the Man in the Middle in Monoidal Categories
中间人(MM)不仅是一种普遍存在的安全攻击模式,也是网络计算和经济学的重要研究范式。识别正在进行的MM攻击是一个重要的安全任务,建模MM交互是一个有趣的任务计算语义。跟踪monoidal范畴是MM建模的自然框架,因为跟踪结构提供了一个工具来隐藏中间发生的事情。对已经追踪到的东西进行有效的分析似乎需要迹线的一个额外的属性,称为“正态性”。我们描述了一个适度的网络计算模型,基于偏序多集(pomsets),其中基本的网络相互作用产生的monoidal跟踪结构,和正常的跟踪结构产生的迭代,即coalgebraic结构在计算和通信中使用的术语和消息。对应关系的建立使用一个方便的monadic描述正常跟踪monoidal范畴。
2012-03-28 cs.CR cs.LO math.CT
Physical Layer Security Protocol for Poisson Channels for Passive Man-in-the-middle Attack
在这项工作中,我们专注于经典的光信道具有泊松统计行为,并提出了一种新的基于保密编码的物理层协议。我们的协议是不同的,但补充(计算安全)量子免疫密码协议和(信息理论安全)量子密码协议。具体而言,我们的(信息理论)保密编码协议确保经典的数字信息位在光子级利用泊松信道的随机性。众所周知,基于经典单向窃听信道(Wyner于1975年提出)的泊松信道的保密编码技术仅在窃听者的互信息小于合法接收者的相互信息时才能确保保密通信。为了克服这样一个强大的限制,我们引入了一个双向协议,始终确保独立的合法和窃听信道的条件下的秘密通信。我们证明了这一点,显示严格的比较推导和分析的信息理论的保密能力的经典单向和建议的双向协议。我们还展示了数值计算,证明了我们提出的双向协议,以确保光信道上的信息传输的巨大收益和强大的实用潜力。
2019-12-31 cs.CR cs.IT math.IT
Concurrently Non-Malleable Zero Knowledge in the Authenticated Public-Key Model
我们考虑一种类型的零知识协议,他们的实际应用中的网络,如互联网的兴趣:有效的零知识参数的知识,仍然是安全的并发中间人攻击。为了减少设置假设所需的有效零知识参数的知识,仍然是安全的并发人在中间攻击,我们考虑一个模型,我们称之为认证公钥(APK)模型。APK模型似乎大大减少了CRS模型所做的设置假设(因为不需要可信方或诚实执行集中式算法),并且可以被视为\cite{CGGM,MR}中的裸公钥(BPK)模型的稍强变体,以及\cite{BCNP}中使用的注册公钥模型的较弱变体。然后,我们定义和研究的APK模型中的中间人攻击。我们的主要结果是一个常数轮并发的非延展性零知识参数的知识为任何多项式时间关系(与语言在$\mathcal{NP}$),根据(最小)的假设存在一个单向函数家庭。此外,我们展示了我们的协议的时间有效的实例化的基础上已知的数论假设。我们还注意到一个负面的结果,进一步减少我们的协议的设置假设的(未经认证的)BPK模型,通过显示,同时非可塑性的零知识参数的BPK模型中的知识是唯一可能的平凡的语言。
2006-09-12 cs.CR
A Systematic Review on Crimes facilitated by Consumer Internet of Things Devices
本系统性综述分析了543篇文章,揭示了针对消费IoT设备的安全攻击及其缓解措施,并探讨了由此引发的欺诈、身份盗窃等犯罪威胁场景。
2025-09-17 cs.CR
Extending Attack Graphs to Represent Cyber-Attacks in Communication Protocols and Modern IT Networks
攻击图是一种用于枚举攻击者可以在组织网络中执行的可能路径的方法。MulVAL是用于自动生成攻击图的已知开源框架。MulVAL的默认建模有两个主要缺点。首先,它缺乏对网络协议漏洞的表示,因此不能用于对常见的网络攻击(如ARP中毒、DNS欺骗和SYN泛洪)进行建模。其次,它不支持无线和总线通信等高级类型的通信,因此不能用于对包括物联网设备或工业组件的网络进行网络攻击建模。在本文中,我们提出了一个扩展的网络安全模型MulVAL:(1)考虑物理网络拓扑结构,(2)支持短距离通信协议(例如,蓝牙),(3)对网络协议的设计中的漏洞进行建模,以及(4)对特定的工业通信体系结构进行建模。使用所提出的扩展,我们能够模拟多种攻击技术,包括:欺骗,中间人,拒绝服务,以及对高级类型的通信的攻击。我们证明了所提出的模型在一个测试平台上实现了一个简化的网络架构,包括IT和工业组件。
2019-06-24 cs.CR
The Impostor Among US(B): Off-Path Injection Attacks on USB Communications
USB是现代计算机系统中最普遍的外围接口,其固有的不安全性使其成为吸引人的攻击媒介。USB的一个众所周知的限制是流量没有加密。这使得路径上的对手可以轻易地执行中间人攻击。破坏通信机密性的偏离路径攻击也被证明是可能的。然而,到目前为止,还没有发现破坏USB通信完整性的偏离路径攻击。在这项工作中,我们表明,USB通信的完整性是不能保证,即使对off-path attackers.Specifically,我们设计和构建恶意设备,即使当放置在受害者设备和主机之间的路径外,可以注入数据到该path. Using我们开发的注入器,我们可以伪造的数据输入的来源解释由主机计算机系统。通过代表受信任的受害者设备进行注入,我们可以绕过计算机系统针对常见USB攻击采用的任何基于软件的授权策略防御。我们展示了两个具体的攻击。第一个注入漏洞,允许攻击者执行命令。第二个演示了文件内容的替换,包括在系统安装过程中从USB磁盘。我们在29个USB 2.0和USB 3.x集线器上测试了攻击,发现其中14个是脆弱的。
2022-11-03 cs.CR
Red-Teaming LLM Multi-Agent Systems via Communication Attacks
本文提出AiTM攻击,通过拦截和操纵智能体间消息,利用LLM驱动的对抗性智能体生成恶意指令,揭示LLM多智能体系统的通信漏洞,强调需加强安全措施。
2025-06-02 cs.CR
Okara: Detection and Attribution of TLS Man-in-the-Middle Vulnerabilities in Android Apps with Foundation Models
University of Science and Technology of China(中国科学技术大学);Ocean University of China(中国海洋大学);Monash University(蒙纳士大学)
Okara利用基础模型自动化检测和归因Android应用中的TLS中间人漏洞,发现8374个存在漏洞的应用,揭示第三方库和不安全模式为主要问题,提出新的分类体系并推动责任披露。
2026-03-17 cs.CR
Towards Understanding Man-on-the-Side Attacks (MotS) in SCADA Networks
我们描述了一类新的数据包注入攻击,称为人的侧攻击(MotS),以前只看到国家行为者“妥协”了一些电信公司。MotS注入攻击在科学文献中尚未得到广泛研究,尽管新闻媒体和安全博客已经讨论过。MotS在爱德华·斯诺登(Edward Snowden)曝光后引起了人们的注意,该事件描述了对互联网基础设施的大规模无处不在的监控。对于试图干扰IT连接系统的高级攻击者来说,下一个合乎逻辑的步骤是使此类攻击适应较小的规模,例如企业或关键基础设施网络。MotS是一种比中间人(MitM)更弱的攻击形式。MotS攻击允许攻击者读取和注入数据包,但不能修改其他主机发送的数据包。本文介绍了实际的实验,我们已经实现和执行MotS攻击对两个测试床:1)在HTTP连接,通过重定向受害者到由对手控制的主机;和2)在工业控制网络上,我们注入伪造的命令响应受害者。在这两种情况下,受害者接受注入的数据包,而不会在网络上生成可疑的大量异常数据包。然后,我们执行三个领先的网络IDS的分析,以确定是否检测到的攻击,并讨论缓解方法。
2020-04-29 cs.CR cs.NI
SISSA: Real-time Monitoring of Hardware Functional Safety and Cybersecurity with In-vehicle SOME/IP Ethernet Traffic
School of Computer Engineering and Science, Shanghai University(上海大学计算机工程与科学学院);Purple Mountain Laboratories(紫金山实验室)
本文提出SISSA方法,通过分析车载SOME/IP以太网流量,结合Weibull分布建模硬件故障和深度学习模型检测网络攻击,实现对ECU功能安全与网络安全的实时监控。
2024-02-21 cs.CR cs.LG cs.NI