A Security Reference Architecture for Blockchains
由于其有趣的功能，区块链近年来变得流行起来。它们是全栈系统，安全性是其成功的关键因素。这项工作的主要重点是系统化有关区块链安全和隐私问题的知识。为此，我们提出了一个安全参考架构的基础上，展示了堆叠层次结构的各种威胁（类似于ISO/OSI层次结构），以及威胁风险评估使用ISO/IEC 15408的模型。与以前的调查相比，我们专注于基于其起源的安全事件的分类，并使用建议的架构，我们提出现有的预防和缓解技术。我们的工作范围主要涵盖与区块链的去中心化性质相关的方面，而我们只提到常见的操作安全问题和对策。
2019-04-15 cs.CR
Mobile App Security Trends and Topics: An Examination of Questions From Stack Overflow
该研究挖掘并定量、定性分析 Stack Overflow 上的移动应用安全问题，识别出七类主题，揭示开发者实际安全需求，为工具与资源开发提供依据。
2024-09-14 cs.CR cs.SE
Efficient Full-Stack Private Federated Deep Learning with Post-Quantum Security
本文提出后量子安全联邦学习框架Beskar，融合安全聚合与差分隐私，优化计算开销并系统分析安全、性能与精度的权衡。
2025-05-09 cs.CR
Winternitz stack protocols
针对互不信任双方的连续签署与不可否认需求，论文提出基于 Winternitz 链和 HORS 预言机的单公钥双方后量子签名协议，并评估其安全性与应用。
2022-04-14 cs.CR
Enabling Security on the Edge: A CHERI Compartmentalized Network Stack
本文研究利用 CHERI 硬件能力在 Arm Morello 平台的 CheriBSD 系统上隔离网络协议栈，通过案例实验表明该方法可在嵌入式场景中兼顾安全性与性能。
2025-07-07 cs.CR cs.ET
Fast Intra-kernel Isolation and Security with IskiOS
Windows、Linux和MacOS等操作系统的内核容易受到控制流劫持的攻击。防御措施是存在的，但许多需要有效的地址空间内隔离。例如，只执行内存需要对代码段进行读保护，影子堆栈需要防止缓冲区重写。原则上，英特尔的用户空间保护密钥（PKU）可以提供此类防御所需的内核内隔离，但当按设计使用时，它仅适用于用户模式应用程序代码。本文提出了一种非传统的内存保护方法，允许PKU在现有Intel硬件上的操作系统内核中使用，取代传统的用户/管理程序隔离机制，同时实现高效的内核内隔离。我们称之为内核空间保护密钥（PKK）。为了证明它的实用性和效率，我们提出了一个我们称之为IskiOS的系统：一个Linux变体，具有只执行内存（XOM）和第一个用于x86-64的无竞争阴影堆栈。使用LMBench内核微基准测试的实验显示，PKK的几何平均开销约为11%，XOM没有额外的开销。Iskios的影子堆栈使总数达到22%。对于完整的应用程序，Phoronix测试套件的系统基准测试显示PKK和XOM的开销可以忽略不计，影子堆栈的几何平均开销小于5%。
2021-08-02 cs.CR
Formalizing Stack Safety as a Security Property
本文提出一种基于语言安全概念的栈安全性形式化表征，将其分解为完整性与机密性等五个属性，支持寄存器保存与尾调用消除，并通过随机测试成功区分了微策略的正确与错误实现。
2024-03-21 cs.CR cs.PL
WATSON: Leveraging Data Watchpoints for Shadow Stack Protection on Embedded Systems
University of Colorado Colorado Springs（科罗拉多大学科罗拉多斯普林斯分校）；Northeastern University（东北大学）
WATSON通过利用标准硬件调试单元的数据监视点，为嵌入式系统提供高效有效的影栈保护，解决现有解决方案在系统保护、性能开销和兼容性方面的不足。
2026-05-09 cs.CR
SoK: State of the time: On Trustworthiness of Digital Clocks
本文针对现代计时栈易受恶意攻击的问题，系统分析其安全漏洞，发现物理计时组件等被忽视的攻击面，指出新兴可信计时架构缺陷，提出软硬件协同设计的替代方案以提升数字时钟可信性。
2025-02-14 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
Effectiveness of Transformer Models on IoT Security Detection in StackOverflow Discussions
Ahsanullah University of Science and Technology（阿赫桑努拉科技大学）
针对Stack Overflow中IoT安全讨论难以识别的问题，本文构建并公开7147条人工标注的IoT Security Dataset，验证transformer跨领域迁移最高损失44%，并训练F1为0.69的领域检测器。
2022-07-29 cs.CR cs.LG cs.SE
Security Issues in the Android Cross-Layer Architecture
Android的安全性最近受到了挑战，发现了许多涉及Android堆栈不同层的漏洞。我们认为，这些漏洞在很大程度上与组成Android堆栈的层之间的相互作用有关。因此，我们还认为，从安全的角度来看，这种相互作用被低估了，并且尚未对Android的相互作用进行系统的分析。为此，在本文中，我们提供了一个简单的模型的Android跨层交互流的概念的基础上，作为分析Android的相互作用。特别是，我们的模型允许我们推理与Android中的跨层交互相关的安全问题，包括最近发现的漏洞，该漏洞允许恶意应用程序使Android设备完全没有响应。我们使用该模型对Android跨层架构中的一些流程进行了实证评估。我们的实验表明，Android安全框架（ASF）对Android中的跨层交互几乎没有控制权。特别是，我们观察到ASF缺乏区分流的发起者，并且Android堆栈和Linux内核之间出现了敏感的安全问题，从而表明Android平台的攻击面比预期的更广。
2012-09-04 cs.CR cs.OS
Stack-Aware Hyperproperties
超属性与程序的执行有关，用于形式化安全目标，如机密性，不干涉，隐私和匿名。从形式上讲，超属性是允许的执行集的集合。如果程序的执行集不在超属性指定的集合中，则程序违反超属性。逻辑HyperCTL^* 已经在文献中被提出来形式化地指定和验证超属性。检查有限状态程序是否满足HyperCTL^* 公式的问题是已知可判定的。然而，这个问题对于过程（递归）程序来说是不可判定的。令人惊讶的是，我们表明，可判定性可以恢复，如果我们考虑限制类的hyperproperties，即那些只涉及那些执行程序具有相同的调用堆栈访问模式。我们呼吁这样的hyperproperties，\emph{stack-aware hyperproperties.}我们的决策过程可以用来作为一个证明方法，建立安全目标，如非推理递归程序，也为反驳安全目标，如观察确定性。此外，如果调用堆栈大小对攻击者是可观察的，则决策过程提供精确的验证。
2023-01-27 cs.CR cs.FL cs.LO
Formal-Guided Fuzz Testing: Targeting Security Assurance from Specification to Implementation for 5G and Beyond
本研究提出形式化引导的模糊测试方法，结合形式化验证与模糊测试的优势，分层检测5G协议到软件栈的漏洞，在srsRAN平台发现61个漏洞，将计算成本从指数增长降为线性增长。
2023-07-20 cs.CR
Generating Stack-based Access Control Policies
基于堆栈的访问控制机制在Java和Microsoft的公共语言运行时（Common Language Runtime）的安全体系结构中起着基础性的作用。它在运行时通过在程序执行安全关键操作之前检查当前调用堆栈中的方法以获得授予的权限来实施。虽然堆栈检查是很好的研究，有相对较少的工作自动生成的访问控制策略，大多数现有的工作推断安全策略假设的权限检查堆栈检查点是事先知道的。生成访问控制策略的实用方法仍然是由开发人员根据特定领域的知识和试错测试手动完成的。在本文中，我们提出了一个系统的方法来自动生成的Java程序，必须确保程序通过堆栈检查的访问控制策略。这些技术是基于抽象解释的上下文敏感静态程序分析。我们的分析模型的程序相结合的上下文敏感的调用图与依赖图。因此，我们能够准确地识别在堆栈检查点的许可要求，这通常是在以前的研究中被忽略。
2013-10-13 cs.CR cs.PL
A Graph-Based Stackelberg Security Game for Trustworthy 6G Disaggregated Architecture
AI Innovation Institute, Stony Brook University（石溪大学人工智能创新研究所）；University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）
本文将6G架构解构建模为基于图的Stackelberg安全博弈，通过部署图和攻击图分析接缝的加固与监控策略，发现选择性监控优于完全集成或最大解构。
2026-09-25 cs.CR eess.SP
The Same Zero: Why Identical ASR Can Imply Different Guarantees in LLM-Agent Security
本文提出验证自主级别（VAL）分类法，比较VAL引导防御堆栈与主流直觉堆栈在LLM智能体安全中的效果，证明相同ASR零值可能源于结构保证或行为运气，零是结果而非保证。
2026-10-06 cs.CL cs.CR
On the Figures of Merit for Quantum Software Security: Toward a Benchmarking Rubric
University of Jyväskylä（于韦斯屈莱大学）
本文针对量子软件安全未被充分衡量的问题，提出基于ISO/IEC 25010等的结构化安全性能指标集及基准评估准则，为量子软件栈安全基准评估奠定基础。
2026-08-07 cs.CR
The Security Reference Architecture for Blockchains: Towards a Standardized Model for Studying Vulnerabilities, Threats, and Defenses
区块链是分布式系统，安全性是其成功的关键因素。然而，尽管它们越来越受欢迎和采用，但缺乏研究区块链相关安全威胁的标准化模型。为了填补这一空白，我们工作的主要重点是系统化和扩展有关区块链安全和隐私方面的知识，并为该领域的标准化做出贡献。我们提出了区块链的安全参考架构（SRA），它采用了一个堆栈模型（类似于ISO/OSI），描述了各种安全和隐私方面的性质和层次结构。SRA包含四个层：（1）网络层，（2）共识层，（3）复制状态机层，以及（4）应用层。在每一层，我们都识别出已知的安全威胁、它们的来源和对策，同时我们还分析了几个跨层依赖关系。接下来，为了让从业者更好地推理区块链的安全方面，我们提出了一个特定于区块链的威胁风险评估标准ISO/IEC 15408版本，将堆栈模型嵌入到该标准中。最后，我们为区块链平台和应用程序的设计人员提供了遵循SRA模型及其层次结构的设计方法。
2020-10-28 cs.CR cs.DC
AgentRFC: Security Design Principles and Conformance Testing for Agent Protocols
Dartmouth College（达特茅斯学院）；Palo Alto Networks（帕洛阿尔托网络）
本文提出AgentProtocolStack、Agent-AgnosticSecurityModel和AgentConform，旨在为智能体协议提供系统性的安全框架，解决协议合规性测试问题，并揭示协议组合时的安全隐患。
2026-03-25 cs.CR
R5Detect: Detecting Control-Flow Attacks from Standard RISC-V Enclaves
本文提出 R5Detect，通过内存保护影子栈与基于硬件性能计数器的启发式检测，在标准低功耗 RISC-V 设备上防御控制流攻击，平均开销低于 5%。
2024-04-04 cs.CR
On Runtime Software Security of TrustZone-M based IoT Devices
物联网（IoT）设备已经越来越多地融入我们的日常生活。然而，这样的智能设备遭受广泛的攻击面。特别是，如果物联网设备使用资源受限的微控制器（MCU），则在运行时针对设备软件的攻击具有挑战性。TrustZone-M是MCU的TrustZone扩展，是一种新兴的安全技术，可增强基于MCU的物联网设备。本文首次对启用TrustZone-M的MCU中的潜在软件安全问题进行了安全分析。我们探讨了基于堆栈的缓冲区溢出（BOF）攻击的代码注入，面向返回的编程（ROP）攻击，基于堆的BOF攻击，格式字符串攻击，和攻击非安全可调用（NSC）的上下文中的TrustZone-M的功能。我们使用启用TrustZone-M的SAM L11 MCU验证这些攻击。还讨论了减轻这些软件攻击的策略。
2020-07-12 cs.CR
Generalizing intrusion detection for heterogeneous networks: A stacked-unsupervised federated learning approach
不断发展的数字化转型对我们的社会提出了新的要求。与依赖网络域和通过设计实现安全性的困难有关的方面构成了当今的挑战。因此，以数据为中心的方法和机器学习方法成为保护大型网络的可行解决方案。虽然，在网络安全领域，基于ML的解决方案面临着关于在不同上下文之间进行概括的能力的挑战。换句话说，基于特定网络数据的解决方案在其他网络上通常不能令人满意地执行。本文介绍了堆叠无监督联邦学习（FL）的方法来推广的跨筒仓配置的基于流的网络入侵检测系统（NIDS）。我们已经研究过的方法包括在集成学习任务中结合能量流分类器的深度自动编码器。我们的方法比传统的本地学习和朴素的交叉评估（在一个上下文中训练，在另一个网络数据上测试）表现得更好。值得注意的是，所提出的方法在非iid数据孤岛的情况下表现出良好的性能。结合无监督学习的集成架构中的信息功能，我们建议，建议基于FL的NIDS结果在异构网络之间的推广一个可行的方法。据我们所知，我们的建议是第一个成功的方法，应用无监督FL的网络入侵检测泛化使用基于流的数据的问题。
2022-11-28 cs.CR
BlueSWAT: A Lightweight State-Aware Security Framework for Bluetooth Low Energy
针对BLE易受基于会话攻击的问题，提出BlueSWAT轻量级状态感知框架，利用有限状态机监控会话行为，结合eBPF实现跨设备补丁分发，在101个真实漏洞上缓解76.1%的攻击，开销极低。
2024-05-28 cs.CR
An Empirical Study of Developers' Discussions about Security Challenges of Different Programming Languages
鉴于程序设计语言可以提供不同类型和级别的安全支持，在选择用于开发软件系统的程序设计语言时，考虑安全方面至关重要。在选择程序设计语言时对安全性考虑不足可能会导致安全开发的潜在后果。虽然已经对不同程序设计语言的假定安全属性进行了理论分析，但是相对较少的努力来经验性地探索开发人员所经历的实际安全挑战。我们对15种程序设计语言的安全挑战进行了大规模的研究，通过定量和定性分析Stack Overflow和GitHub上的开发人员讨论。通过利用主题建模，我们已经得出了6个主题类别的18个主要安全挑战的分类。我们还进行了比较分析，以了解所识别的挑战在不同的程序设计语言和数据源方面的差异。我们的研究结果表明，对于不同的程序设计语言和数据源，挑战及其特征有很大不同，即，Stack Overflow和GitHub。这些发现为软件专业人员提供了基于证据的见解和对与不同程序设计语言相关的安全挑战的理解（即，研究人员或研究人员）。报告的安全挑战分类可以帮助从业者和研究人员更好地理解和遍历安全开发环境。这项研究强调了技术选择的重要性，例如，安全软件工程中的程序设计语言。因此，预计调查结果将激励从业人员考虑软件安全的程序设计语言的选择的潜在影响。
2021-11-26 cs.CR cs.SE
The Evolution of DNS Security and Privacy
本文梳理DNS面临的安全风险，并总结增强DNS生态攻击抵御能力与用户隐私保护的最新技术进展。
2023-12-01 cs.CR cs.NI
ATLAS: An IoT Architecture and Secure Open-source Networking Stack for Anonymous Localization and Tracking Using Smartphones and Bluetooth Beacons
蓝牙（BT）彻底改变了近距离通信，通过无线技术在日常设备中实现智能功能。物联网（IoT）最重要的子领域之一专门使用BT技术来开发灵巧家庭和环境，包括医院，建筑物，购物设施等，以提供广泛的功能，如即时和远程访问通风，照明，安全，定位和跟踪。然而，在智能基础设施中部署这些功能通常没有适当的安全措施来保护数据并保护其用户。为此，我们提出了ATLAS框架，该框架由我们新颖的物联网架构和安全网络堆栈组成，可用于通过在整个环境中部署多个蓝牙低功耗（BLE）信标来匿名定位和跟踪智能手机和可穿戴设备。拟议的网络堆栈支持在通信堆栈的所有层上进行不同级别的加密，以确保易于采用的安全设计网络架构。我们还部署了一种新的数据转换和基于指纹的定位算法，该算法在给定区域内定位用户设备方面非常有效。ATLAS框架在https://atlas-tuw.sourceforge.io上开源，以实现广泛采用和进一步的研究和开发。
2022-12-20 cs.CR cs.NI
AntiPhishStack: LSTM-based Stacked Generalization Model for Optimized Phishing URL Detection
Shenzhen Institute of Advanced Technology, Chinese Academy of Sciences（中国科学院深圳先进技术研究院）；Shenzhen College of Advanced Technology, University of Chinese Academy of Sciences（中国科学院大学深圳先进技术学院）；University of Genoa（热那亚大学）；University of Catania（卡塔尼亚大学）；Shenzhen Polytechnic University（深圳职业技术大学）
提出两阶段堆叠模型 AntiPhishStack，融合字符级 TF-IDF、基础分类器、两层 LSTM 与 meta-XGBoost，在两个基准 URL 数据集上实现 96.04% 准确率。
2024-01-21 cs.CR cs.LG
Cybersecurity Discussions in Stack Overflow: A Developer-Centred Analysis of Engagement and Self-Disclosure Behaviour
Stack Overflow（SO）是一个受开发人员欢迎的平台，寻求有关各种软件相关主题的建议，包括隐私和安全。就许多知识共享网站而言，标准化组织的价值在很大程度上取决于用户的参与，即他们是否愿意回答、评论或提出技术问题。尽管如此，其中许多问题（包括与网络安全相关的问题）仍然没有答案，使该网站的相关性和声誉受到质疑。因此，重要的是要了解用户参与隐私和安全讨论的情况，以促进参与并促进此类专业知识的交流。目的：基于先前的在线社交网络的研究结果，这项工作阐述了用户的参与和他们的隐私实践之间的相互作用。特别是，它分析了开发人员关于个人资料可见性的自我披露行为，以及他们参与与隐私和安全相关的讨论。方法：我们采用混合方法，（i）分析来自1239个网络安全标记问题的SO数据以及7048个用户简档，（ii）进行匿名在线调查（N=64）。结果：约33%的问题，我们检索没有答案，而超过50%的没有被接受的答案。我们观察到，“主动”用户倾向于在他们的个人资料中披露的信息明显少于“被动”和“不参与”的用户。然而，没有发现这些参与类别和隐私相关的结构，如感知控制或一般隐私问题之间的相关性。含义：这些发现有助于（i）更好地了解开发人员对隐私和安全主题的参与，以及（ii）制定战略，促进SO中网络安全专业知识的交流。
2022-07-04 cs.CR cs.HC cs.SE
A Lifecycle and Application-Stack Survey of Large Language Model Vulnerabilities: Attacks, Risks, Defenses, and Open Problems
Worcester Polytechnic Institute（伍斯特理工学院）
本文通过生命周期与应用栈视角系统化梳理大语言模型系统的漏洞，涵盖数据收集、预训练、对齐、供应链、检索、推理、工具执行和部署等阶段，分析攻击、风险与防御，并提出安全研究议程。
2026-07-01 cs.AI cs.CR cs.GT
From Paranoia to Compliance: The Bumpy Road of System Hardening Practices on Stack Exchange
本文通过定性分析316篇Stack Exchange帖子，揭示系统运维人员在系统加固中面临访问控制与部署等核心挑战，并据此提出改进建议。
2025-07-17 cs.CR
SoK: Where's the "up"?! A Comprehensive (bottom-up) Study on the Security of Arm Cortex-M Systems
该SoK研究自底向上全面分析Arm Cortex-M系统的软硬件安全局限，结合1797个真实固件实证梳理软件漏洞，体系化评估现有安全方案并给出研究与开发建议。
2024-05-13 cs.AR cs.CR
An Analysis of the Cloud Computing Security Problem
云计算是一种新的计算模式，为组织提供了一种创新的业务模式，使其无需前期投资即可采用IT。尽管从云计算中获得了潜在的收益，但模型的安全性仍然值得怀疑，这影响了云模型的采用。云模型下的安全问题变得更加复杂，因为新的维度已经进入与模型架构，多租户，弹性和层依赖堆栈相关的问题范围。在本文中，我们介绍了云安全问题的详细分析。我们从云架构的角度、云提供的特性的角度、云利益相关者的角度和云服务交付模型的角度来研究这个问题。基于此分析，我们得出了云安全问题的详细规范和任何建议的安全解决方案应涵盖的关键功能。
2016-09-05 cs.CR cs.SE
Enhancing the Security & Privacy of Wearable Brain-Computer Interfaces
University of Cambridge（剑桥大学）
脑计算接口（BCI）用于大量安全/隐私关键应用，从医疗保健到智能通信和控制。可穿戴BCI设置通常涉及连接到移动终端的头戴式传感器，结合基于ML的数据处理。因此，它们很容易受到跨硬件、软件和网络堆栈的多种攻击，这些攻击可能会泄露用户的脑波数据，或者在最坏的情况下，将BCI辅助设备的控制权交给远程攻击者。在本文中，我们：（i）从操作系统和对抗性机器学习的角度分析现有可穿戴BCI产品的整个系统安全和隐私威胁;以及（ii）引入Argus，这是可穿戴BCI应用的第一个信息流控制系统，可以减轻这些攻击。Argus的特定于领域的设计导致了Linux ARM平台上的轻量级实现，适用于现有的BCI用例。我们对真实世界BCI设备（Muse、NeuroSky和OpenBCI）的概念验证攻击使我们发现了六个主要攻击向量堆栈中的300多个漏洞。我们的评估表明，Argus在跟踪敏感的恶意攻击和限制这些攻击方面非常有效，并且具有可接受的内存和性能开销（<15%）。
2022-01-19 cs.CR cs.HC cs.LG
Leveraging 3D Technologies for Hardware Security: Opportunities and Challenges
本文提出利用2.5D和3D集成技术的内在特性设计安全系统，包括屏蔽侧信道、有源中介层拆分制造、单片3D IC电路伪装和3D安全存内处理，以改进现有硬件安全对策并提供新安全特性。
2025-08-26 cs.CR cs.ET
A survey of security and privacy issues in the Internet of Things from the layered context
物联网（IoT）是一种新颖的范例，其不仅便于大量设备通过互联网无处不在地连接，而且还提供了远程控制这些设备的机制。物联网无处不在，几乎是我们日常生活中不可或缺的一部分。随着设备的连接越来越紧密，隐私和安全问题变得越来越重要，这些问题需要紧急解决。物联网实施和设备非常容易受到威胁，这些威胁可能会危及消费者的安全和隐私，从而影响其实际部署。最近，已经进行了一些研究来保护物联网设备，旨在减轻用户的安全担忧。本文的目的是强调物联网系统中的安全和隐私问题。为此，本文研究了物联网协议栈中每一层的安全问题，确定了潜在的挑战和关键的安全要求，并简要概述了现有的安全解决方案，以保护物联网免受分层环境的影响。
2020-02-25 cs.CR cs.NI
A Large-Scale Study of IoT Security Weaknesses and Vulnerabilities in the Wild
本研究针对三个Stack Exchange站点的IoT C/C++代码示例开展大规模分析，识别出多类CWE弱点及可映射的CVE漏洞，揭示了漏洞分布与危害，为IoT安全防护与工具开发提供参考。
2023-08-25 cs.CR cs.SE
A Platform for Implementing Secure Wireless Ad Hoc Networks
我们提出了一个新的平台，实现安全的无线ad hoc网络。我们的建议是基于一个模块化的体系结构，与软件栈直接构建在以太网层。在我们的平台中，我们使用了一个新的安全协议，该协议旨在确保节点之间的相互认证和安全的密钥交换。Guttman的认证测试保证了所提出的安全协议的正确性。
2010-07-06 cs.CR cs.NI
Security and Machine Learning Adoption in IoT: A Preliminary Study of IoT Developer Discussions
物联网（IoT）被定义为地点和物理对象之间的连接（即，事物）经由智能计算设备通过因特网/网络。传统上，我们通过对物联网开发人员/从业人员进行调查来了解物联网生态系统/问题。另一种学习方法是分析流行的在线开发者论坛（如Stack Overflow（SO））中的物联网开发者讨论。然而，我们知道没有这样的研究，专注于物联网开发人员的安全性和ML相关的讨论在SO。本文提供了SO中物联网开发人员讨论的初步研究结果。我们发现大约12%的句子包含安全讨论，而大约0.12%的句子包含ML相关的讨论。我们发现，物联网开发人员在讨论安全问题时经常询问如何在物联网设备和用户之间安全地存储、共享和传输共享数据。我们还发现，物联网开发人员有兴趣将基于深度神经网络的ML模型应用到他们的物联网设备中，但他们发现将这些模型应用到资源受限的物联网设备中具有挑战性。我们的研究结果为物联网供应商和研究人员开发和设计新技术以提高物联网设备的安全性和ML采用提供了启示。
2021-04-01 cs.CR cs.SE
A Developer-Centric Study Exploring Mobile Application Security Practices and Challenges
该研究通过对全球137名资深移动应用开发者的调查，梳理了开发者的移动应用安全实践现状与面临的漏洞、权限、隐私等挑战，指出学习材料的不足并给出相关建议，为优化安全实践、工具及培训提供参考。
2024-08-16 cs.CR cs.SE
The EVerest Dataset for Secure Software Engineering
Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院）
提出 EVerest 数据集，包含从需求到代码的多制品安全标签，支持端到端安全验证研究，并已发现并修复真实安全弱点。
2026-06-23 cs.CR cs.SE
Blockchain-Based Security Architecture for Unmanned Aerial Vehicles in B5G/6G Services and Beyond: A Comprehensive Approach
Mepco Schlenk Engineering College（梅普科施伦克工程学院）；Fordham University（福特汉姆大学）；University of South Florida（南佛罗里达大学）；Royal Military College of Canada（加拿大皇家军事学院）
该研究针对B5G/6G场景下无人机应用的安全需求，全面梳理了5G/6G架构各层的安全集成、现有通信安全机制及能源优化因素，总结了相关技术趋势与未来研究方向。
2023-12-12 cs.CR cs.RO
Low-Power IoT Communication Security: On the Performance of DTLS and TLS 1.3
与互联网上的其他地方类似，物联网（IoT）中的实际安全性是通过组合一系列机制来实现的，这些机制在协议栈的所有层、系统软件和硬件中工作。通常建议使用数据报传输层安全（DTLS 1.2）和传输层安全（TLS 1.2）等标准协议来保护与物联网设备之间的通信。最近，TLS 1.3标准发布，DTLS 1.3正处于标准化的最后阶段。在本文中，我们概述了这些协议的1.3版本，并在基于低功耗微控制器的真实物联网设备上首次对这些协议的不同实现和各种配置进行了实验性比较性能分析。我们展示了不同的实现如何导致不同的妥协。我们测量和比较空中字节数、内存占用和能耗。我们表明，当DTLS/TLS 1.3比DTLS/TLS 1.2需要更多资源时，这种额外的开销是相当合理的。我们还观察到，在某些配置中，DTLS/TLS 1.3实际上减少了开销和资源消耗。总而言之，我们的研究表明，仍然有空间来优化这些协议的现有实现。
2020-12-10 cs.CR cs.NI
Threat-Oriented Digital Twinning for Security Evaluation of Autonomous Platforms
Department of Electrical Engineering and Computer Science（电气工程与计算机科学系）；Embry-Riddle Aeronautical University（埃姆布里-瑞德航空大学）
本文提出一种面向威胁的数字孪生方法，用于评估具备学习能力的自主平台的网络安全。该方法通过模块化孪生技术，实现了对感知、自主和监督控制功能的分离，并引入了多模式感知、信任边界和运行时安全行为，提供可重复的测试模式以评估欺骗、重放、恶意输入注入等威胁。
2026-04-28 cs.AI cs.CR cs.RO
