Timing Analysis of SSL/TLS Man in the Middle Attacks
中间人攻击是现代电子商务和在线通信的重大威胁，即使这些交易受到TLS的保护。我们打算证明，通过检测标准SSL会话和我们创建的攻击之间的时间差异，可以检测对SSL和TLS的中间人攻击。
2013-08-16 cs.CR
Trustworthy and Secure Service-Oriented Architecture for the Internet of Things
在物联网（IoT）中，异构设备相互连接并连接到外部系统以交换数据并提供服务。鉴于设备的多样性，在设备之间建立协作关系以提供复合服务变得越来越普遍。然而，由于物联网环境的高度异构性，最重要的挑战之一是开发可以在各种设备上运行的软件应用程序，并可以与更广泛的系统进行通信和协作。因此，这些设备的通用中间件基础设施将对物联网系统中服务的设计，部署和使用产生重大影响，允许开发人员专注于应用程序，而不是每个设备的低级别实现细节。
2016-06-06 cs.CR cs.SE
A Review of Man-in-the-Middle Attacks
本文介绍了通信网络中的中间人攻击（MIM）及其防范方法。在实时的通信中，攻击在许多情况下可以通过使用定时信息来发现。最常见的攻击是由于地址解析协议（ARP）缓存中毒、DNS欺骗、会话劫持和SSL劫持。
2015-04-08 cs.CR
A Formal Assisted Approach for Modeling and Testing Security Attacks in IoT Edge Devices
随着物联网设备数量的快速增长，这些系统的安全性成为一个主要问题。由于这些设备资源有限，安全措施难以在边缘实施。我们提出了一种基于形式化建模和突变测试的物联网设备攻击检测新方法。也就是说，我们将运动传感器和RFID阅读器等小型物联网设备的行为建模为具有超时的状态机。我们还对基本的物联网攻击进行了建模，即电池耗尽、睡眠剥夺、数据伪造、重放和中间人攻击，作为这些规范的特殊突变体。我们还考虑用于检测实际物理设备操作的测试。然后使用突变测试来导出将这些攻击与原始规范区分开的测试。通过对这些突变体进行测试，在真实环境中测试它们的行为。我们的实验表明，派生的攻击突变体和测试的数量是小的，因此这些测试可以执行多次，在物理设备上的开销有限。因此，我们的方法不会受到传统突变检测相关高成本的阻碍。此外，我们还表明，通过我们的方法得出的测试覆盖了所有物联网攻击，但没有提供使用传统的基于突变代码的算子得出的突变体的良好覆盖率，这表明需要使用我们的方法。一个框架，实现我们的方法，以及其他一些相关的案例研究。
2022-10-11 cs.CR cs.SE
Peripheral-free Device Pairing by Randomly Switching Power
物联网（IoT）的普及带来了安全问题。针对物联网无线通信场所的攻击（例如，中间人攻击）在过去十年中以惊人的速度增长。因此，允许在没有先前关系的情况下为物联网设备建立安全通信通道的配对是一项至关重要的功能。现有的安全配对协议需要辅助设备/外围设备（例如，显示器、扬声器和传感器）来实现认证，这对于诸如智能灯的低价设备是不可接受的。本文研究了如何设计一个无外设的安全配对协议。具体地说，我们设计的协议，称为交换配对，通过开箱即用的电源充电器和车载时钟，同时实现安全性和经济性。当用户想要配对两个或更多个设备时，他/她将配对设备连接到相同的电源，并且多次按下/释放开关开/关按钮。然后，按压和释放定时可以用于导出对称密钥。由于CC 2640 R2 F的流行，我们通过两个德州仪器（TI）的CC 2640 R2 F开发板实现了原型。广泛的实验和用户研究也进行了基准我们的协议在效率和安全性。
2020-02-26 cs.CR
Deep Learning-Based Dynamic Watermarking for Secure Signal Authentication in the Internet of Things
保护物联网（IoT）是加快其应用程序和服务部署的必要里程碑。特别是，物联网设备的功能非常依赖于其消息传输的可靠性。数据注入、窃听和中间人威胁等网络攻击可能导致安全挑战。保护物联网设备免受此类攻击需要考虑其严格的计算能力和对低延迟操作的需求。本文提出了一种新的深度学习方法，用于物联网信号的动态水印检测网络攻击。所提出的学习框架基于长短期记忆（LSTM）结构，使物联网设备能够从其生成的信号中提取一组随机特征，并将这些特征动态地水印到信号中。这种方法使从物联网设备收集信号的物联网云中心能够有效地验证信号的可靠性。此外，所提出的方法可以防止复杂的攻击场景，例如网络攻击者从物联网设备收集数据并旨在破坏水印算法的窃听。仿真结果表明，在攻击检测延迟小于1秒的情况下，可以以几乎100%的可靠性从物联网设备传输消息。
2017-11-03 cs.CR cs.IT cs.MM
Trusted-HB: a low-cost version of HB+ secure against Man-in-The-Middle attacks
自从Juels和Weis在Crypto'05上提出HB+协议以来，许多工作都试图增强其安全性。我们在这里提出了一种新的方法来实现抵抗中间人攻击。我们的要求--在额外的通信和硬件方面--出奇的低。
2008-02-05 cs.CR
Security Weaknesses in IoT Management Platforms
本研究系统性评估了52个物联网管理平台，发现其中33个存在安全漏洞，包括未授权访问和身份验证破坏，可致远程SIM卡停用、数据伪造及账户接管等攻击，并获11个CVE编号。
2023-07-26 cs.CR
ESAU: Expeditious Swarm Remote Attestation for Pub-Sub IoT Networks with Untrusted Cloud-based Proxy Verifier
National Sun Yat-sen University（国立中山大学）
针对不可信云代理验证器的发布-订阅物联网网络，提出云辅助快速集群远程验证方案，解决资源受限设备轻量级验证、云侧未授权访问及RA与认证密钥交换扩展问题，经分析与仿真验证可行性。
2026-10-14 cs.CR
Deep Learning for Signal Authentication and Security in Massive Internet of Things Systems
Virginia Tech（弗吉尼亚理工大学）
由于系统的大规模性及其对中间人和窃听攻击的敏感性，安全信号认证可以说是物联网（IoT）环境中最具挑战性的问题之一。本文提出了一种新的深度学习方法，用于物联网信号的动态认证以检测网络攻击。所提出的学习框架基于长短期记忆（LSTM）结构，使物联网设备（IoTD）能够从其生成的信号中提取一组随机特征，并将这些特征动态地水印到信号中。这种方法使从物联网设备收集信号的云能够有效地验证信号的可靠性。此外，在大规模物联网场景中，由于计算限制，云无法同时认证所有的物联网设备，因此提出了一种博弈论框架，通过预测易受攻击的物联网设备来改善云的决策过程。推导了该博弈的混合策略纳什均衡，并证明了均衡处期望效用的唯一性。在大规模物联网系统中，由于云的大量可用动作，分析推导MSNE是具有挑战性的，因此，提出了一种收敛于MSNE的学习算法。此外，为了应对云无法访问未经认证的物联网设备的状态的不完全信息情况，提出了深度强化学习算法来动态预测未经认证的物联网设备的状态，并允许云决定对哪些物联网设备进行认证。仿真结果表明，在攻击检测延迟小于1秒的情况下，可以以几乎100%的可靠性从物联网设备传输消息。
2019-06-03 cs.CR cs.GT cs.LG
Anonymous communication system provides a secure environment without leaking metadata, which has many application scenarios in IoT
匿名的基于身份的加密（AIBET）方案允许跟踪者使用跟踪密钥从密文中揭示接收者的身份，同时保持其他数据匿名。这一特殊功能使AIBET成为分布式物联网数据安全的有前途的解决方案。在本文中，我们构造了一个有效的量子安全的层次身份密码系统与可追踪的身份（AHIBET）与完全匿名的密文。我们证明了AHIBET计划下的学习错误（LWE）问题的标准模型的安全性。
2021-11-10 cs.CR
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
Incorporating Individual and Group Privacy Preferences in the Internet of Things
本文提出了一种新的隐私协商机制，物联网环境，这是有效的和实用的，以应付物联网的无缝的特殊需求。这种机制允许物联网用户在与物联网部署进行交互时，以无缝的方式表达和实施他们的个人隐私偏好。该论文的一个关键贡献是，它解决了个人用户以及一组用户的隐私问题，其中所有个人用户的隐私偏好都被合并到一个组隐私配置文件中，以便与物联网所有者进行协商。此外，所提出的机制满足物联网部署所有者的隐私要求。最后，所提出的隐私机制对实际的物联网架构是不可知的，并且可以在用户管理的、边缘管理的或云管理的物联网架构上使用。所提出的机制的原型已经实现了这三个架构中的每一个，结果表明协议的能力，以协商隐私，同时增加微不足道的时间开销。
2021-03-13 cs.CR
A Novel Bluetooth Man-In-The-Middle Attack Based On SSP using OOB Association model
蓝牙作为一种互联技术，必须解决分布式网络中所有的传统安全问题。此外，由于蓝牙网络是由无线电链路形成的，因此还存在其他安全方面，其影响尚未得到很好的理解。在本文中，我们提出了一种新的人在中间人（MITM）攻击支持简单安全配对（SSP）的蓝牙手机。从文献中证明了SSP关联模型，如数字比较，公正的作品和口令输入是不是更安全。在这里，我们提出了带外（OOB）信道增强安全性比以前的方法。
2012-03-21 cs.CR
IoT Threat Detection Testbed Using Generative Adversarial Networks
本文提出了一种基于生成对抗网络（GAN）的物联网威胁检测解决方案，使用良性流量和暗网数据训练，并在真实测试平台中验证了其检测网络内外恶意设备威胁的有效性。
2023-05-24 cs.CR
Software Defined Security Service Provisioning Framework for Internet of Things
可编程管理框架为网络中的设备管理铺平了道路。近来，新兴的软件定义网络（SDN）范式已经彻底改变了可编程网络。物联网（IoT）等网络应用的设计者已经开始研究SDN范式在改善网络管理方面的潜力。物联网设想将我们环境周围的各种嵌入式设备与IP互连，以实现互联网连接。与传统的网络架构不同，物联网的特点是资源限制和无线和有线介质的异构互连。因此，提出了管理物联网的独特挑战，本文对此进行了讨论。物联网的普遍存在给物联网带来了独特的安全挑战，这是物联网管理框架的一个方面。本文总结了物联网中的安全威胁和要求，这些威胁和要求是从调查物联网安全挑战的最新努力中提取的。提出了基于SDN的物联网安全服务提供框架。
2017-11-29 cs.CR cs.NI
Progression and Challenges of IoT in Healthcare: A Short Review
Dhaka National Medical College（达卡国家医学院）；University of Texas at El Paso（德克萨斯大学埃尔帕索分校）；Jahangirnagar University（贾汉吉尔纳加尔大学）
本文综述了智能医疗中IoMT的发展与COVID-19应用，指出其面临的安全与隐私挑战，并对IoT环境中恶意软件检测与预防的现有策略进行了比较分析。
2023-11-11 cs.AI cs.CR cs.LG
The Internet of Things: New Interoperability, Management and Security Challenges
物联网（IoT）为物理空间中的每一个物体带来了连接。它将连接扩展到日常物品。从联网的冰箱、汽车和城市，物联网在许多领域创造了机会。然而，这种连通性的增加带来了许多突出的挑战。本文对影响物联网广泛采用的一些主要问题进行了调查。特别是，它专注于物联网中的互操作性，管理，安全和隐私问题。得出的结论是，有必要开发一种多方面的技术方法来实现物联网的安全、管理和隐私。
2016-04-17 cs.CR cs.NI
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
IoT Network Security: Requirements, Threats, and Countermeasures
物联网设备越来越多地用于关键基础设施、企业和家庭。有几个复杂的网络攻击已经报告，许多网络已被证明容易受到主动和被动的攻击，泄露私人信息，允许未经授权的访问，并开放拒绝服务攻击。本文的目的首先是帮助网络运营商了解物联网网络安全解决方案的需求，其次是调查物联网网络攻击媒介、网络威胁和对策，重点是提高现有安全解决方案的鲁棒性。我们的第一个贡献强调了从制造商，服务提供商，消费者和当局等利益相关者的角度对物联网安全的观点。我们讨论了物联网和IT系统之间的差异，物联网安全解决方案的需求，并强调了物联网网络安全系统架构所需的关键组件。对于我们的第二个贡献，我们调查了物联网攻击的类型，根据它们的影响进行分组。我们讨论了各种攻击技术，威胁和现有对策的不足，旨在使未来的研究能够提高物联网网络安全性。
2020-08-21 cs.CR cs.NI
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
