A Study on the Security Requirements Analysis to build a Zero Trust-based Remote Work Environment
本文针对现有边界安全模型在云远程办公中的局限，通过对OpenStack云进行威胁建模提出比NIST和DoD更详细的零信任安全需求，并对Azure、AWS和Google Cloud进行安全分析以验证需求，最终提出潜在威胁与对策，助力构建安全的零信任远程办公环境。
2024-01-08 cs.CR
Formally-verified Security against Forgery of Remote Attestation using SSProve
本文基于 Rocq Prover 中的 SSProve 框架，首次对远程证明（RA）的安全属性进行了机械化形式化，通过将 RA 及其原语的安全性归约到数字签名抵御伪造的安全性，提供了 RA 协议安全的验证证据。
2025-07-14 cs.CR
Remote Document Encryption - encrypting data for e-passport holders
我们展示了任何一方如何加密电子护照持有人的数据，只有物理拥有的电子护照解密是可能的。电子身份证和驾驶执照也是如此。我们还指出了可能的应用。荷兰护照允许160位安全性，理论上在2079年之后提供足够的安全性，超过目前128位安全性的良好实践。我们还介绍了RDE提取PIN的概念，它有效地提供了与常规PIN相同的安全性。具有讽刺意味的是，我们的研究结果表明，在国外旅行时携带护照可能违反关于强密码学的进出口法律。
2017-06-09 cs.CR
On the Design and Security of Collective Remote Attestation Protocols
针对现有集体远程证明（CRA）协议设计多样、安全保障难以统一评估的问题，本文提出统一框架Catt，基于40项协议的研究定义设备角色与新安全属性，分类协议安全目标，并通过tamarin prover验证SIMPLE+协议证明其适用性。
2024-07-12 cs.CR
On the Security of Liaw et al.'s Scheme
最近，Liaw等人提出了一种使用智能卡的远程用户认证方案。他们声称他们的方案的一些特点，例如，不需要验证表字典来认证用户;用户可以自由选择密码;在用户和远程系统之间提供相互认证;通信成本和计算成本非常低;用户可以在注册阶段之后更新密码;一个由用户和远程系统同意的会话密钥在每个会话中产生;和基于nonce的方案，它不需要一个时间戳（解决严重的时间同步问题）等。的方案不符合各种安全要求，是完全不安全的。关键词：身份验证，智能卡，远程系统，攻击。
2008-06-04 cs.CR
Remote Attestation: A Literature Review
随着物联网设备数量的增加，这些设备的安全性变得越来越重要。远程证明（RA）是一种独特的安全服务，它允许远程验证者推断不受信任的远程证明者（设备）的状态。远程证明的范例从基于软件的证明中的完全软件跨越到完全基于硬件。介于这两个极端之间的是混合证明，它利用安全硬件组件的增强安全性，并结合纯粹基于软件的实现的较低成本。传统的远程证明协议关注的是对证明者状态的推理。然而，也存在对远程证明的扩展，例如代码更新、设备重置、擦除和设备运行时状态的证明。此外，随着互联物联网设备变得越来越流行，对设备群的认证需求也越来越大。我们将描述和评估国家的最先进的远程认证，其中包括奇异的认证设备以及较新的研究领域的正式验证RA协议，群认证和控制流认证。
2021-05-12 cs.CR
Strategic Remote Attestation: Testbed for Internet-of-Things Devices and Stackelberg Security Game for Optimal Strategies
物联网（IoT）设备和应用程序可能存在重大漏洞，这些漏洞可能会被对手利用，造成相当大的伤害。减轻这种威胁的一种重要方法是远程证明，它使防御者能够远程验证设备及其软件的完整性。远程认证有多种方法，每种方法在检测精度和计算成本方面都有其独特的优点和缺点。此外，证明方法可以以多种方式应用，诸如各种级别的软件覆盖。因此，为了最大限度地减少安全风险和计算开销，防御者需要根据设备的特性和潜在的损失，从战略上决定应用哪些证明方法以及如何应用它们。为了回答这些问题，我们首先开发了一个用于物联网设备远程认证的测试平台，这使我们能够测量各种认证方法的检测准确性和性能开销。我们的测试平台集成了两个示例物联网应用程序、基于内存校验和的证明以及各种软件漏洞，这些漏洞允许攻击者将任意代码注入到正在运行的应用程序中。其次，我们模型的问题，找到一个最佳的策略，应用远程认证作为一个Stackelberg安全游戏之间的防御者和对手。我们刻画了防御者在各种特殊情况下的最优证明策略。最后，建立在我们的测试平台的实验结果，我们评估我们的模型，并表明，最佳的战略认证可以导致显着低于天真的基线策略的损失。
2021-09-26 cs.CR cs.GT
UCLog+ : A Security Data Management System for Correlating Alerts, Incidents, and Raw Data From Remote Logs
用于计算机网络安全分析的源数据采用不同的形式（警报、事件、日志），并且每个源可能是大量的。由于这对数据管理提出了挑战，这通常导致安全烟囱操作，其主要集中在用于分析的少量数据源上，数据源之间很少或没有自动关联（尽管关联可以手动完成）。我们寻求解决这一系统性问题。在以前的工作中，我们开发了一个统一的相关日志系统（UCLog），自动处理来自不同设备的警报。我们通过介绍UCLog+的架构和应用程序将这项工作向前推进了一步，UCLog+增加了将警报和事件与远程日志上的原始数据相关联的新功能。UCLog+可用于取证分析，包括查询和报告生成，但更重要的是，它可用于对正在进行的攻击模式进行近实时的态势感知。该系统使用开放源代码工具实现，也可以成为不同组织共享安全信息的存储库。
2006-07-25 cs.CR
Threats and Countermeasures of Cyber Security in Direct and Remote Vehicle Communication Systems
交通管理、道路安全和环境影响是当今世界的重要问题。智能交通系统（ITS）的传感、控制和通信方法的应用解决了这些挑战。ITS的一部分是车辆自组织网络（VANET），其意味着车辆的无线网络。然而，在VANET中的车辆之间的通信暴露了一些需要研究和解决的安全威胁。本文首先阐述了车载自组网的基本流程，重点介绍了车载自组网的通信方式、体系结构、特点、标准和安全设施。其次，讨论了VANET面临的攻击和威胁。此外，描述了认证系统，通过该认证系统可以保护车辆网络免受虚假消息和恶意节点的攻击。讨论了远程无钥匙进入系统、专用短程通信、蜂窝方案、Zigbee、蓝牙、射频识别、WiFi、WiMAX等不同远程车辆通信方式以及车载诊断和通用串行总线等不同直接车辆通信方式的安全威胁和应对措施。
2020-06-11 cs.CR cs.IT eess.SP
Understanding Privacy Attitudes and Concerns Towards Remote Communications During the COVID-19 Pandemic
自2019年12月以来，COVID-19疫情导致世界各地的人们实行社交距离，这导致远程通信在工作、社交和在家学习方面的应用急剧增加。由于远程通信将持续到疫情结束后，在这种前所未有的环境下保护用户的安全和尊重他们的隐私至关重要，这需要彻底了解他们的行为，态度和对远程通信各个方面的关注。为此，我们对全球220名多产参与者进行了在线研究。我们发现，隐私和安全是影响与会者对会议工具和会议地点的态度和舒适度的最常见因素之一。开放式回答显示，大多数参与者在选择会议工具或在远程会议中使用麦克风/网络摄像头时缺乏自主权，这在某些情况下与他们的个人隐私和安全偏好相矛盾。根据我们的调查结果，我们提炼出几条建议，说明雇主、教育工作者和工具开发人员如何在进行远程通信时告知用户并授权用户做出隐私保护决定。
2021-06-09 cs.CR cs.CY cs.HC
Design and Analysis of a Secure Three Factor User Authentication Scheme Using Biometric and Smart Card
密码安全性不再能够在远程用户身份验证领域提供足够的安全性。考虑到这一安全缺陷，研究人员正试图通过多因素远程用户认证系统来解决这一问题。近年来，利用生物特征和灵巧卡的三因素远程用户认证引起了研究者的极大关注。然而，目前提出的大多数方案都存在安全缺陷。它们容易受到攻击，如用户冒充攻击，服务器伪装攻击，密码猜测攻击，内部攻击，拒绝服务攻击，伪造攻击等，而且，他们中的大多数无法提供相互认证，会话密钥协商和密码，或灵巧卡恢复系统。针对这些缺点，我们提出了一个利用生物特征和灵巧卡的安全三因素用户认证方案。通过安全性分析，我们表明我们提出的方案可以克服现有系统的缺点，确保远程用户认证的高安全性。
2017-11-03 cs.CR
On the Security of A Remote Cloud Storage Integrity Checking Protocol
数据安全和隐私是云计算中一个重要但具有挑战性的问题。云用户的安全问题之一是如何有效地验证存储在云服务器上的数据的完整性。第三方审计（TPA）是近年来为实现这一目标而提出的一种新技术。在最近的论文（IEEE Transactions on Computers 62（2）：362-375（2013））中，Wang等人提出了一种高效且可扩展的TPA协议，以及可以防止离线猜测攻击的零知识公共审计协议。然而，在本文中，我们指出了Wang等人的协议中的几个安全弱点：首先，我们证明了攻击者可以在完整性检查过程中任意修改云数据而不被审计者发现，并且攻击者甚至可以在不知道云数据的内容或云服务器维护的任何验证元数据的情况下实现这一目标;其次，我们证明了零知识公共审计协议不能达到其设计目标，即防止离线猜测攻击。
2019-12-01 cs.CR
Towards a New Configurable and Practical Remote Automotive Security Testing Platform
本文提出车辆安全工程云（VSEC）测试平台，通过可配置的远程测试床支持渗透与模糊测试，解决汽车网络安全测试中平台缺失、系统复杂和标准化不足的问题。
2024-04-02 cs.CR cs.SY eess.SY
A First Measurement Study on Authentication Security in Real-World Remote MCP Servers
Fudan University（复旦大学）；Central South University（中南大学）
本研究首次测量了现实世界远程MCP服务器的认证安全性，发现40.55%的服务器未进行认证，OAuth是主要的授权机制，但存在新的攻击面，识别出9种具体漏洞类型，并通过负责任的披露获得了9个CVE ID。
2026-05-21 cs.CR
Towards Efficient Integration of Blockchain for IoT Security: The Case Study of IoT Remote Access
蓬勃发展的物联网（IoT）市场引起了网络攻击者的极大兴趣。集中式基于云的物联网服务架构在安全性、可用性和可扩展性方面存在严重限制，并且容易受到单点故障（SPOF）的影响。最近，在区块链上提供物联网服务已经成为一种趋势，以提高安全性、隐私性和可靠性。然而，区块链的高成本，低吞吐量和长延迟的缺点使其不适合物联网应用。在本文中，我们回顾了现有的基于区块链的物联网解决方案，并提出了一个有效的区块链和物联网集成框架。根据该框架，我们设计了一种新型的区块链辅助的分散式物联网远程访问系统RS-IoT，该系统具有在不依赖任何可信第三方的情况下保护物联网设备免受零日攻击的优点。通过引入由智能合约执行的激励和惩罚措施，我们的工作实现了“经济方法”，以挫败大多数旨在获得金钱收益的攻击者。我们的工作提供了一个例子，说明如何使用区块链来确保去中心化环境中服务交易的公平性，并客观地惩罚不当行为。我们通过详细的安全分析来展示RS-IoT的安全性。最后，我们通过以太坊测试网区块链上的概念验证实现来展示其可扩展性，效率和可用性。
2019-11-30 cs.CR cs.DC cs.NI
Examining the Examiners: Students' Privacy and Security Perceptions of Online Proctoring Services
为应对新冠肺炎疫情，教育机构迅速过渡到远程学习。如何在在线环境中进行学生评估的问题变得越来越重要，导致许多机构和教育工作者转向在线监考服务来管理远程考试。这些服务采用各种学生监控方法来遏制作弊，包括限制（“锁定”）浏览器模式、视频/屏幕监控、本地网络流量分析和眼动追踪。在本文中，我们探讨的安全和隐私的学生考生被监考的看法。我们分析了监考服务的浏览器扩展的用户评论，并随后进行了在线调查（n=102）。我们的研究结果表明，参与者关注与考试监考公司共享的信息的数量和个人性质。然而，许多参与者也认识到，在流行病安全问题和监考服务确保考试完整性的侵入性手段之间存在权衡。我们的研究结果还表明，机构的权力动态和学生对机构的信任可能会劝阻学生反对远程监考。
2021-06-10 cs.CR cs.HC
Virtual Classrooms and Real Harms: Remote Learning at U.S. Universities
大学被迫依赖远程教育技术，以促进向在线学习的快速转变。在这样做的过程中，他们获得了安全漏洞和侵犯隐私的新风险。为了帮助大学驾驭这一局面，我们开发了一个模型，描述了演员，激励措施和风险，通过调查美国大学的49名教育工作者和14名管理人员。接下来，我们为管理员开发了一种方法来评估这些产品的安全和隐私风险。然后，我们对23个流行的平台进行了隐私和安全分析，结合了对隐私政策和129个州法律的社会学分析，以及对平台软件的技术评估。根据我们的调查结果，我们为大学制定了建议，以减轻其利益相关者的风险。
2021-06-16 cs.CR
Security Analysis of the Consumer Remote SIM Provisioning Protocol
本文对消费者eSIM的远程SIM配置（RSP）协议开展形式化安全分析，通过ProVerif验证诚实场景下的安全性，同时揭示部分受损场景下的三类设计缺陷并给出改进建议，以增强eSIM安全鲁棒性。
2023-08-22 cs.CR
Secure OTA Software Updates in Connected Vehicles: A survey
本调查重点介绍并讨论了汽车行业的远程OTA软件更新，主要是从安全角度进行的。特别是，本次调查的主要目的是提供一个全面和结构化的概述各种研究方向和方法，在OTA更新技术的车辆。首先，我们讨论了联网汽车技术，然后将远程OTA更新功能与联网汽车的关系整合起来。我们还介绍了汽车远程OTA更新的好处以及相关统计数据。然后，我们强调远程OTA更新的安全挑战和要求，以及不同国家遵循的用例和标准道路安全法规。我们还提供了一个分类的文献中现有的作品，处理实现不同的安全技术，远程OTA更新车辆。我们进一步提供了一个分析讨论目前的情况下，远程OTA更新护理制造商。最后，我们确定了汽车远程OTA更新的未来可能的研究方向，特别是在安全领域。
2019-04-01 cs.CR
Investigating the Security of EV Charging Mobile Applications As an Attack Surface
在本文中，我们研究了电动汽车充电生态系统针对一种新型遥控器的安全态势，该遥控器利用电动汽车充电移动应用程序中的漏洞作为攻击面。我们利用静态和动态分析技术的组合来分析广泛使用的EV充电移动应用的安全性。我们对31个最广泛使用的移动应用程序进行了分析，包括它们与云管理系统等各种组件的交互。利用这些漏洞的攻击场景在实时协同仿真测试床上进行了验证。我们的发现表明，缺乏用户/车辆验证和对关键功能的不当授权，这使得对手能够远程劫持充电会话并对连接的关键基础设施发动攻击。通过EVCS移动应用程序演示了该攻击方法，验证了该攻击方法的可行性和适用性。事实上，我们讨论了特定的远程攻击场景及其对EV用户的影响。更重要的是，我们的分析结果证明了利用各种EV充电移动应用程序中的现有漏洞对连接的关键基础设施（例如，电网），具有重大的经济和运营影响。最后，我们提出了一些对策，以保护基础设施，并阻止对手使用受损帐户进行侦察和发起远程攻击。
2023-02-26 cs.CR
A Lightweight Blockchain and Fog-enabled Secure Remote Patient Monitoring System
物联网使智能远程医疗应用快速增长。这些基于物联网的远程医疗应用程序为有风险或患有慢性疾病的患者提供快速和预防性的医疗服务。然而，在医疗物联网设备之间交换敏感医疗数据的同时确保数据安全和患者隐私仍然是远程医疗保健应用中的一个重大问题。更改或损坏的医疗数据可能会导致错误的治疗，并为患者带来严重的健康问题。此外，需要解决和改进当前远程医疗应用的效率和响应时间。考虑到对安全高效的患者护理的需求，本文提出了一种轻量级的基于区块链和启用雾的远程患者监护系统，该系统提供了高级别的安全性和高效的响应时间。仿真结果和安全性分析表明，所提出的轻量级区块链架构能够很好地适应资源受限的物联网设备，并且具有较好的安全性。此外，雾计算的增强使远程患者监护系统的响应速度提高了40%。
2023-01-09 cs.CR cs.NI
Remote Memory-Deduplication Attacks
通过将相同的内存块合并到写时复制映射中，可以降低内存利用率。以前的工作表明，这种所谓的内存重复数据删除可以在本地攻击中被利用来破坏ASLR，监视其他程序，并确定数据的存在，即，网站图片所有这些攻击都利用了跨安全域的内存重复数据删除，而这反过来又被禁用。但是，在安全域中或在没有不受信任的本地访问的隔离系统上，内存重复数据消除仍然不被视为安全风险，并且默认情况下最近在Windows上重新启用。在本文中，我们提出了第一个完全远程memorydeduplication攻击。与以前的攻击不同，我们的攻击不需要执行本地代码。因此，我们可以通过发送和计时HTTP/1和HTTP/2网络请求来从远程服务器公开内存内容。我们展示了我们在Windows和Linux上对重复数据删除的攻击，并攻击了广泛使用的服务器软件，如Memcached和InnoDB。我们的侧通道通过互联网泄漏高达34.41 B/h，比类似的远程内存泄漏通道更快。我们在三个案例研究中展示了我们的远程内存重复数据删除攻击：首先，我们展示了攻击者可以在运行Memcached的服务器上泄露内存中数据的存在。我们表明，这种信息披露渠道也可以用于指纹识别，并在166.51秒内通过互联网检测正确的libc版本。其次，结合InnoDB，我们提出了一个信息泄露攻击泄漏MariaDB数据库记录。第三，我们演示了一个完全远程的KASLR中断，在不到4分钟的…
2021-11-16 cs.CR
On the Pitfalls of End-to-End Encrypted Communications: A Study of Remote Key-Fingerprint Verification
许多广泛使用的互联网消息和通话应用程序，如WhatsApp、Viber、Telegram和Signal，都部署了端对端加密功能。为了击败针对密钥交换协议的潜在MITM攻击者，该方法依赖于用户执行代码验证任务，其中每个用户必须将其应用程序计算的代码（加密密钥的指纹）与另一个用户的应用程序计算的代码进行比较，如果两者不匹配，则拒绝会话。在本文中，我们研究了这种以人为中心的代码验证任务的安全性和可用性的最终用户位于远程设置，并将其作为一个基线，以一个不太频繁的情况下，用户是在附近。我们考虑了代码呈现和验证方法的几种变体，这些变体被纳入代表性的现实世界应用程序中，包括编码为数字或图像的代码，显示在屏幕上，并由用户口头说出。我们在实验室环境中进行人为因素研究，以量化这些不同方法的安全性和可用性。我们的研究结果暴露了应用程序中使用的代码验证方法在安全性和可用性方面的关键弱点。首先，我们发现大多数代码验证方法在远程设置中提供了较差的安全性（高错误接受）和低可用性（高错误拒绝和低用户体验评级）。其次，我们证明，在远程代码验证设置下的安全性和可用性显着低于在接近设置。我们将这一结果归因于与在同一设备上（远程设置）而不是在两个设备上（接近设置）比较两个应用程序的代码相关的认知开销增加。总的来说，我们的工作是为了突出基于互联网的通信应用程序在远程环境中由于人为错误而造成的严重脆弱性。
2017-07-17 cs.CR
Formally Verified Hardware/Software Co-Design for Remote Attestation
在这项工作中，我们采取了形式化验证的远程证明（RA）的第一步，通过设计和验证的架构称为VRASED：可验证的远程证明简单的嵌入式设备。VRASED实例化了针对低端嵌入式系统的混合（硬件/软件）RA协同设计，例如，简单的物联网设备。VRASED提供了与基于硬件的方法相当的安全级别，同时依赖于软件来最大限度地减少额外的硬件成本。由于安全属性必须由硬件和软件共同保证，因此验证是一项具有挑战性的任务，在RA的背景下从未尝试过。我们认为，VRASED是第一个正式验证的RA计划。据我们所知，这也是任何安全服务的硬件/软件实现的第一次形式化验证。为了证明VRASED的实用性和低开销，我们实例化和评估它的商品平台（TI MSP430）。VRASED的公开实现部署在Basys 3 FPGA上。
2019-05-24 cs.CR
Approaches to Quantum Remote Memory Attestation
本文揭示了物联网设备中基于量子的远程内存证明过程的缺陷，指出量子内存证明与经典内存证明存在根本差异，并据此设计了一种通信效率和安全性更高的经典内存量子证明系统。
2025-03-06 cs.CR
Reasoning about Probabilistic Defense Mechanisms against Remote Attacks
尽管从业者和研究人员提出了许多对策，但具有内存安全漏洞的程序的远程控制流更改仍然是一个现实的威胁。保证复杂的软件完全没有内存安全漏洞是非常昂贵的。依赖于随机密钥的可能对策很有趣，因为它们是一种廉价的方式，可以提高旨在利用内存安全漏洞的攻击者的门槛。此外，一些对策甚至支持遗留系统。然而，目前还不清楚如何量化和比较不同的概率对策或这种对策的组合的有效性。在本文中，我们提出了一种方法，严格推导出概率对策的安全界限。我们认为，通过在这种情况下的概率游戏事件的安全概念，类似的加密安全定义，可以获得具体的和渐近的保证，对现实的攻击者。这些保证阐明了单一反措施的效力及其构成，并使从业人员能够更准确地衡量攻击的风险。
2017-02-17 cs.CR
SEDAT:Security Enhanced Device Attestation with TPM2.0
远程证明是验证不可信设备状态的方法之一。早期的研究已经尝试使用硬件、软件或混合方法来远程验证设备的状态。他们中的大多数人使用证明密钥作为硬件信任根，这不会检测硬件修改或伪造问题。此外，它们在验证者和证明者之间没有安全的通信信道，这使得它们容易受到现代安全攻击。本文介绍了SEDAT，一种新的方法，通过一个安全增强的通信信道的设备的远程认证。SEDAT执行硬件、固件和软件认证。SEDAT通过使用单包授权（SPA）技术，提供重放和拒绝服务（DoS）保护，增强了验证者和证明者之间通信协议的安全性。SEDAT为验证者提供了一种通过安全信道获取按需设备完整性和真实性状态的方法。它还使验证器能够检测设备上的伪造硬件、固件更改和软件代码。SEDAT验证制造商的根CA证书、平台证书、背书证书（EK）和属性证书以执行平台硬件认证。SEDAT是第一个以规范事件日志（CEL）格式（由可信计算组织推荐）表示固件和完整性度量机构（IMA）事件日志的已知工具。据我们所知，SEDAT是第一个使用可信平台模块（TPM 2.0）展示端到端硬件、固件和软件远程证明的实现，该模块可抵御DoS和重放攻击。SEDAT是第一个远程验证器，它能够从校准器中检索TPM 2.0报价，并在再生后使用软件TPM 2.0报价检查进行验证。
2021-01-16 cs.CR cs.CY
Designing a GDPR-Compliant Security Architecture for Remote Elderly Care Systems: A Privacy-by-Design Approach
Metropolia University of Applied Sciences（Metropolia应用科学大学）
研究基于物联网的远程老年护理系统安全架构问题，提出SEG框架，通过ESP32-WROOM-32网关实现多项安全措施，经多种验证方式证明该框架能兼顾GDPR合规与运营效率，解决三方差距问题。
2026-07-16 cs.CR cs.NI
Watching the watchers: bias and vulnerability in remote proctoring software
由于COVID-19疫情和教育行业不断扩大的虚拟化，教育工作者正迅速转向远程监考和考试软件以满足其考试需求。州议会越来越多地利用这些软件进行高风险的法律和医疗许可考试。使用这些复杂的软件会产生三个关键问题：考试的完整性，考试程序的公平性，以及考生的安全和隐私。我们通过对美国法学院和州检察官执照考试中使用的四个主要监考套件的案例研究，对这些问题进行了第一次技术分析。我们对这些监考套件进行了逆向工程，发现尽管承诺了高安全性，但他们所有的反作弊措施都可以被轻易绕过，并可能造成重大的用户安全风险。我们评估了当前的面部识别分类器以及市场份额最大的法律考试监考套件Examplify使用的分类器，以确定其准确性，并确定具有某些肤色的面孔是否更容易被标记为作弊。最后，我们提出了一些建议，以提高远程监考考试体验的完整性和公平性。
2022-05-06 cs.CR cs.CY
Cryptanalysis of a more efficient and secure dynamic id-based remote user authentication scheme
2004年，Das，Saxena和Gulati提出了一种基于动态身份的远程用户认证方案，该方案具有无需验证者表、用户可以自由选择和修改口令等优点，但随后的研究表明该方案是完全不安全的，容易受到多种攻击。从那时起，许多计划与改进Das等人的计划已被提出，但每一个都有其优点和缺点。最近，Yan-yan Wang等人提出了一个计划，以克服安全弱点Das等人。的方案。然而，该方案也容易受到各种安全攻击，如密码猜测攻击，伪装攻击，拒绝服务攻击。
2010-04-06 cs.CR
Towards Remotely Verifiable Software Integrity in Resource-Constrained IoT Devices
本文系统研究了资源受限低端IoT设备的低成本远程软件完整性验证架构，定性和定量比较了不同完整性证明的表达能力、架构支持与成本，并指出了未来研究方向与挑战。
2024-01-11 cs.CR
Resource-constrained Remote Attestation of Smart Meters Using Merkle Trees in a Trusted Execution Environment
Faculty of Electrical and Computer Engineering, Tarbiat Modares University（塔比巴特莫达雷斯大学电气与计算机工程学院）；Fouman Faculty of Engineering, College of Engineering, University of Tehran（德黑兰大学工程学院福曼工程学院）
针对智能电表的安全问题，提出在TEE中用OP-TEE执行默克尔树相关操作的远程认证方法，提升了资源效率与安全性，适用于资源受限设备。
2026-10-14 cs.AR cs.CR
An Empirical Study on Remote Code Execution in Machine Learning Model Hosting Ecosystems
University of Notre Dame（圣母大学）；IQVIA Inc（IQVIA公司）
本研究通过实证分析揭示了机器学习模型托管平台中远程代码执行的安全风险及开发者认知问题，提出安全与可用性平衡的改进方案。
2026-01-20 cs.CR cs.SE
Automated Remote Patient Monitoring: Data Sharing and Privacy Using Blockchain
物联网（IoT）设备和可穿戴技术的革命为远程患者监护开辟了巨大的可能性。为了简化诊断和治疗过程，医疗保健专业人员现在正在采用可穿戴技术。然而，这些技术也带来了严重的隐私风险，并对数据交易的传输和记录提出了安全问题。保护医疗保健隐私的一个解决方案是使用区块链技术。然而，区块链的主要问题之一是其高度有限的可扩展性。在这项工作中，我们提出利用基于区块链的协议来提供数据的安全管理和分析。在本文中，我们使用了最近推出的基于PoW的协议GHOSTDAG，该协议将中本聪的区块链推广为直接非循环块图（blockDAG），并提供了高吞吐量，同时还避免了安全可扩展性问题。我们使用两个基于原始GHOSTDAG协议的区块链，一个是私有的，一个是公共的。使用私有区块链，我们创建了一个使用智能合约分析患者健康数据的系统。如果智能合约出于任何原因发出异常读数警报，则系统会将该事件记录到公共区块链。这将解决与远程患者监控相关的隐私和安全漏洞，以及中本聪原始区块链有限的可扩展性问题。
2018-10-30 cs.CR cs.CY
On the effectiveness of virtualization-based security
保护商用操作系统和应用程序免受恶意软件和有针对性的攻击已被证明是困难的。近年来，虚拟化受到了安全研究人员的关注，他们利用虚拟化来强化现有系统并提供强大的安全保证。这导致了有趣的用例，例如云计算，其中可能的敏感数据在远程第三方系统上处理。在远程服务器中迁移和处理数据提出了新的技术和法律问题，例如应该采取哪些安全措施来保护这些数据，或者如何证明代码的执行没有被篡改。在本文中，我们专注于技术方面。我们讨论的各种可能性的安全性在虚拟化层，我们使用作为一个案例研究\HelloRootkitty{}，一个轻量级的不变性强制执行框架，它允许一个操作系统从内核级的攻击恢复。除了\HelloRootkitty{}之外，我们还探索使用特殊硬件芯片作为进一步保护和保证虚拟化系统完整性的一种方式。
2014-05-22 cs.CR
Global Pandemics Influence on Cyber Security and Cyber Crimes
COVID-19在生活的许多领域造成了广泛的破坏，使人类更加依赖互联网和技术，使我们意识到安全的远程工作环境的重要性。虽然在封锁期间鼓励社会分离，但在线基础设施已成为通信，商务，工作和学习的中心焦点，为公司采用新方法和运营模式带来了新的挑战和趋势。网络攻击案件增加，欺诈者和网络犯罪分子利用远程工作人员的脆弱性和公众对冠状病毒信息的兴趣，利用这一点来加强他们的非法活动。本文件探讨了人们在疫情期间面临的不同类型的安全威胁和网络犯罪，以及对安全可靠的网络基础设施的需求。本文试图分析这些问题的安全含义。
2023-02-24 cs.CR cs.CY
SRACARE: Secure Remote Attestation with Code Authentication and Resilience Engine
最近的技术进步使得小型嵌入式和物联网设备的使用激增，用于收集、处理和传输安全关键信息和用户数据。这种指数级的使用在最近复杂攻击的增长中起到了催化剂的作用，例如重放、中间人和恶意代码修改，以在恶意活动中隐藏、泄漏、调整或利用安全关键信息。因此，设备的安全通信和软件状态保证（在运行时和引导时）已经成为开放的安全问题。此外，这些设备需要具有适当的恢复机制，以使其恢复到已知良好的工作状态。以前的研究人员已经证明了独立的攻击检测和保护方法。然而，他们中的大多数缺乏提供车载系统恢复和安全通信技术。为了弥合这一差距，本文提出了SRACARE-一个框架，该框架利用自定义的轻量级安全通信协议执行远程/本地认证，并通过板载弹性恢复机制进行安全启动，以保护设备免受上述攻击。该原型采用了一个高效的轻量级，低功耗的32位RISC-V处理器，安全通信协议，代码认证和弹性引擎上运行的Artix 7现场可编程门阵列（FPGA）板。这项工作提出了性能评估和国家的最先进的比较结果，这表明有前途的弹性攻击，并展示了新的保护机制与板载恢复。该框架仅用8%的性能开销和非常小的硬件-软件占用空间增加来实现这些。
2021-01-15 cs.CR
CRC: Fully General Model of Confidential Remote Computing
本文提出机密远程计算（CRC）通用模型，整合硬件安全原语、可信计算基控制与 attestation 证明机制，为下一代应用提供紧凑方案，并分析去中心化、任务规模与透明度开销之间的权衡。
2023-04-17 cs.AR cs.CR
A Secure Communication Protocol for Remote Keyless Entry System with Adaptive Adjustment of Transmission Parameters
本文针对远程无钥匙进入系统易受重放、冒充攻击和干扰的问题，提出自适应跳频与TXP/PHY模式控制算法及轻量级车辆-钥匙认证协议，实验表明其能显著提升数据包投递率并有效防止未授权访问。
2025-04-13 cs.CR
Attestation with Constrained Relying Party
针对依赖方为资源受限设备、无法支撑公钥密码学的远程证明痛点，提出仅需对称密钥与单通信信道的远程平台证明协议，6KB代码即可实现且经ProVerif验证安全。
2023-12-14 cs.CR
Prezta: Provable Remote Execution of Zero-Trust Authorization using SNARKs
University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）
针对运营技术系统安全挑战，提出Prezta架构，通过在客户端zkVM内评估策略消除应用网关。用RISC Zero zkVM实现原型，采取编译策略等措施减轻证明开销，减少证明者时间，编译器实现部分XACML 3.0套件，验证快速，适用于边缘设备。
2026-07-28 cs.CR
Zero knowledge proofs for cloud storage integrity checking
随着云存储的广泛应用，云安全成为了一个至关重要的问题。相关工作已经解决了数据机密性和完整性等安全问题，确保远程存储的数据由云进行良好的维护。然而，如何定义存储数据完整性检查的零知识证明算法还没有正式定义和研究。我们认为，云服务器不能泄露有关存储数据的任何有用信息是很重要的。在本文中，我们介绍了一种新的定义的数据隐私的完整性检查，它描述了非常高的安全性的零知识证明。我们发现，所有其他现有的远程完整性证明都没有捕捉到这个特性。我们提供了一个全面的研究数据隐私和完整性检查算法，捕捉数据的完整性，机密性，隐私性和健全性。
2019-12-01 cs.CR
Security in the Age of AI Teammates: An Empirical Study of Agentic Pull Requests on GitHub
University of Notre Dame（圣母大学）
研究分析了GitHub上代理撰写的PR在安全方面的贡献，发现其主要进行支持性的安全加固活动，且PR被拒绝与复杂性和冗长性相关。
2026-09-04 cs.CR cs.SE
A Survey on Security Issues in Modern Implantable Devices: Solutions and Future Issues
本文综述了现代植入式医疗设备面临的安全威胁、现有解决方案及其优缺点，并提出未来研究方向以提升IMD系统的安全性。
2022-05-02 cs.CR
Systematic Solutions to Login and Authentication Security Problems: A Dual-Password Login-Authentication Mechanism
针对凭证窃取和远程攻击，提出双密码登录认证机制，将无机密登录密码转为不可输入认证密码，禁用相关功能以防攻击，解决密码重用与存储问题，并基于密码转换器实现双身份认证与未授权输入识别。
2024-05-31 cs.CR cs.ET cs.SY
Mobile Agent Systems, Recent Security Threats and Counter Measures
移动代理技术提供了一个戏剧性地发展的计算范例，其中一个程序，在一个软件代理的形式，可以暂停其在主机上的执行，将其本身转移到网络上的另一个代理启用主机，并恢复在新的主机上执行。自20世纪60年代以来，移动代码一直以远程作业输入系统的形式使用。今天的移动代理可以在许多方面的特点，从简单的分布式对象高度组织的智能软件。由于这种快速发展的移动代理，大量的关键安全问题已经出现，大量的工作正在做，以解决这些问题。其目的是提供可信的移动代理系统，可以很容易地部署和广泛采用。在本文中，我们提供了一个概述的代理平台的设计者和基于代理的应用程序的开发人员面临的最新威胁。该文件还确定了安全目标以及应对已查明威胁和实现这些安全目标的措施。
2014-10-06 cs.CR
C-FLAT: Control-FLow ATtestation for Embedded Systems Software
远程认证是一项至关重要的安全服务，尤其与日益流行的物联网（和其他嵌入式）设备相关。它允许受信任方（验证者）了解远程和可能感染恶意软件的设备（证明者）的状态。大多数现有的方法本质上是静态的，并且仅检查良性软件是否最初加载在证明器上。然而，它们容易受到运行时攻击，这些攻击会劫持应用程序的控制或数据流，例如，通过面向返回的编程或面向数据的漏洞利用。作为更全面的运行时远程认证的一个具体步骤，我们提出了控制流认证（C-FLAT）的设计和实现，使远程认证的应用程序的控制流路径，而不需要源代码。我们描述了Raspberry Pi上使用其ARM TrustZone硬件安全扩展的C-FLAT的完整原型实现。我们评估C-FLAT的性能使用现实世界的嵌入式（网络物理）应用程序，并证明其有效性对控制流劫持攻击。
2016-08-17 cs.CR
A Novel IoT Sensor Authentication Using HaLo Extraction Method and Memory Chip Variability
在本文中，我们提出了基于闪存的硬件安全原语作为一种可行的解决方案，以应对物联网和远程医疗市场的安全挑战。我们已经创建了一个新的解决方案，称为高和低（HaLo）的方法，生成物理不可克隆功能（PUF）签名的基础上，闪存内的工艺变化，以唯一地识别和认证远程传感器。HaLo方法的功耗比传统认证方案低60%，签名生成的平均延迟仅为39 ms，并且可以通过ONFI 2.2兼容的现成NAND闪存芯片上的固件轻松实现。HaLo方法生成512位签名，平均出错率为5.9 * 10^-4，同时还适应闪存芯片老化。由于其低延迟、低出错率和高功率效率，HaLo方法可以通过准确有效地认证远程健康传感器来帮助推进远程患者监测领域。
2021-09-03 cs.CR
Toward Secure AI-Powered Penetration Testing Agents: Security Threats, Guardrails, and Architectural Perspectives
National Institute of Technology Calicut（印度国家技术学院卡利卡特分校）
该研究系统分析AI渗透测试代理的安全威胁，提出涵盖LLM生命周期、架构及行为的威胁分类法，并指出现有防护不足，倡导开发上下文与架构感知的专门防护机制。
2026-09-16 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
Securing Generative AI Agentic Workflows: Risks, Mitigation, and a Proposed Firewall Architecture
本文针对生成式AI智能体工作流的安全风险，提出集成多种安全服务并利用GenAI增强防御的防火墙架构，以保障系统安全部署。
2025-06-10 cs.CR
Factors Influencing the Organizational Decision to Outsource IT Security: A Review and Research Agenda
IT安全外包是与第三方安全服务提供商签订合同，以执行组织的全部或部分IT安全功能的过程。很少有人知道的因素影响组织的决定外包这样一个关键的功能。我们对研究和实践文献的回顾确定了几个管理因素和法律因素。我们发现IT安全外包的研究还不成熟，重点领域没有解决行业实践面临的关键问题。因此，我们提出了一个研究议程，包括15个问题，以解决五个关键的差距，有关知识的IT安全外包，特别是有效性的结果，生活经验的做法，时间维度，多利益相关者的观点，以及对IT安全实践的影响，特别是敏捷性的事件响应。
2022-08-26 cs.CR cs.CY
An Overview on Data Security in Cloud Computing
云计算是指通过互联网按需使用计算机资源作为服务。它主要是基于数据和应用程序外包，传统上存储在用户的计算机上，由第三方拥有，管理和管理的远程服务器（数据中心）。本文对云计算中的数据安全问题进行了综述。其目的是突出云环境提出的与数据安全相关的主要问题。为了做到这一点，这些问题被分为三类：1-与传统基础设施相比，由单一云特征引起的数据安全问题，2-由云计算中的数据生存周期（存储，使用和传输数据）引起的数据安全问题，3-与数据安全属性（机密性，完整性和可用性）相关的数据安全问题。对于每个类别，都强调了用于保护云中数据的常见解决方案。
2018-12-21 cs.CR
Rowhammer.js: A Remote Software-Induced Fault Attack in JavaScript
软件安全中的一个基本假设是，内存位置只能由可能写入该内存位置的进程修改。然而，最近的研究表明，DRAM中的寄生效应可以改变存储单元的内容，而不访问它，而是通过以高频率访问其他存储单元。这种所谓的Rowhammer错误发生在今天的大多数内存模块中，并对所有受影响系统的安全性产生致命后果，例如，特权升级攻击。到目前为止，所有与Rowhammer相关的研究和攻击都依赖于缓存刷新指令的可用性，以便以足够高的频率访问DRAM模块。我们克服了这个限制，击败复杂的缓存替换策略。我们表明，高速缓存可以被迫进入快速缓存驱逐触发Rowhammer错误，只有定期的内存访问。这允许在高度受限甚至脚本环境中触发Rowhammer错误。我们演示了一个完全自动化的攻击，只需要一个网站与JavaScript触发远程硬件故障。因此，我们可以不受限制地访问网站访问者的系统。我们表明，攻击的现成的系统。现有的对策无法防止这种新的Rowhammer攻击。
2016-04-05 cs.CR
