WebTrap Park: An Automated Platform for Systematic Security Evaluation of Web Agents
Fudan University（复旦大学）；Shanghai Innovation Institute（上海创新研究院）
WebTrap Park通过自动化平台系统评估Web代理的安全性，揭示不同框架间的安全差异，强调架构重要性。
2026-01-13 cs.AI cs.CR
Assertain: Automated Security Assertion Generation Using Large Language Models
University of Florida（佛罗里达大学）
本文提出Assertain框架，通过RTL分析、CWE映射和威胁模型智能，利用大语言模型生成安全属性和可执行SystemVerilog断言，提升硬件安全验证效率与准确性。
2026-04-02 cs.CR
Design of an Automated Intrusion Detection System incorporating an Alarm
安全和安全是两个相互交织的概念。人们普遍认为，当一个地方或系统是安全的，它就是安全的。本文介绍了一种方法，集成三个设备的物理入侵检测。因此，本文提出了一种提高封闭区域安全水平的方法，使用四个安全层中的三个，以实现最佳安全。本文旨在表明，一个系统与一个以上的安全设备到位，往往防止未经授权的访问。本文件将说明在封闭区域实施这一点，该区域的安全级别必须始终保持在高水平。
2009-12-19 cs.CR
Integrating Threat Modeling and Automated Test Case Generation into Industrialized Software Security Testing
工业物联网（IIoT）应用为推动工业生产效率的提高提供了一系列全新的可能性。然而，随着系统之间的高度集成，后者面临着过多的新威胁，因为它们尚未被设计为广泛可达和互操作。为了缓解这些大量的新威胁，系统化和自动化的测试方法是必要的。这种全面性可以通过彻底的威胁建模来实现。为了自动化安全测试，我们提出了一种方法，自动化的测试过程中，从威胁建模向前，关闭之间的差距威胁建模和自动化测试用例生成。
2019-11-15 cs.CR cs.SE
Teaching DevOps Security Education with Hands-on Labware: Automated Detection of Security Weakness in Python
本文设计基于污点追踪的 Python 安全弱点检测实操学习模块，通过实验前、实操和实验后环节提升学生对 DevOps 安全的兴趣与漏洞应对能力。
2024-04-03 cs.CR
Automated Verification of Accountability in Security Protocols
问责制是安全协议设计中的一个新范式，旨在消除对各方的传统信任假设，并使他们对自己的不当行为负责。这意味着首先建立信任，并在这种信任受到侵犯时识别和做出反应。在这项工作中，我们讨论了一个协议不可知论定义的问责制：一个协议提供问责制（w.r.t.某些安全属性），如果它可以标识所有行为不端的各方，其中行为不端被定义为导致安全违规的协议偏离。我们提供了一个机械化的方法来验证问责制，并展示其用于验证和攻击发现各种例子的问责制和因果关系的文献，包括证书透明度和克罗尔负责算法协议。我们达到了高度的自动化表示问责制方面的一组跟踪属性，并显示其健全性和完整性。
2019-05-08 cs.CR
APIRO: A Framework for Automated Security Tools API Recommendation
安全部署、自动化和响应（SOAR）平台集成并协调各种安全工具，以加速安全运营中心（SOC）的运营活动。SOAR平台中安全工具的集成主要是使用API、插件和脚本手动完成的。SOC团队需要浏览不同安全工具的API调用，以找到合适的API来定义或更新事件响应操作。分析具有不同API格式和表示结构的各种类型的API文档涉及重大挑战，例如数据可用性、数据异构性和语义变化，以自动识别特定于特定任务的安全工具API。鉴于这些挑战可能对SOC团队有效和高效地处理安全事件的能力产生负面影响，我们认为制定合适的自动化支持解决方案来应对这些挑战非常重要。我们提出了一种新的基于学习的自动化安全工具框架API推荐安全演示，自动化和响应，APIRO。为了缓解数据可用性约束，APIRO通过应用各种各样的数据增强技术来丰富安全工具API描述。为了了解安全工具的数据异构性和API描述中的语义变化，APIRO由特定于API的词嵌入模型和卷积神经网络（CNN）模型组成，用于预测任务的前3个相关API。我们通过实验证明了APIRO在使用3种安全工具和36种增强技术为不同任务推荐API方面的有效性。我们的实验结果表明，APIRO实现91.9%的Top-1准确度的可行性。
2022-01-20 cs.CR cs.SE
CellSecInspector: Safeguarding Cellular Networks via Automated Security Analysis on Specifications
Utah State University（犹他州立大学）；Michigan State University（密歇根州立大学）；University of Maryland, Baltimore County（马里兰大学巴尔的摩县分校）
本文提出CellSecInspector框架，通过提取结构化状态-条件-动作表示，系统验证9个基础安全属性，发现43个漏洞，其中7个此前未报告。
2026-09-07 cs.CR
Automated analysis of security protocols with global state
需要保持事务状态的安全API、密钥服务器和协议需要保持全局的、非单调的状态，例如，以数据库或寄存器的形式。然而，大多数现有的自动化验证工具不支持这种有状态的安全协议的分析-有时是因为根本的原因，如编码的协议作为霍恩条款，这是固有的单调性。一个值得注意的例外是最近的tamarin prover，它允许将协议指定为多集重写（msr）规则，这是一种足以表达状态的形式主义。由于多集重写是一种“低级”规约语言，不直接支持并发消息传递，因此正确编码协议是一个困难且容易出错的过程。我们提出了一个进程演算，这是一个变种的应用π演算与构造操作的全局状态的进程并行运行。我们表明，这种语言可以被翻译为msr规则，同时保留所有的安全属性表示在一个专用的一阶逻辑的安全属性。翻译已经实现了一个原型工具，它使用的tamarin证明作为后端。我们将该工具应用于几个案例研究，其中包括PKCS\#11的简化片段，Yubikey安全令牌和乐观的合同签署协议。
2014-05-12 cs.CR
Why LLMs Fail: A Failure Analysis and Partial Success Measurement for Automated Security Patch Generation
University of Passau（帕绍大学）
本研究分析了LLM在生成安全补丁时的失败原因，指出其在安全性和功能上的不足，并提出安全修复评分以量化这一差距。
2026-03-10 cs.AI cs.CR
Security of Connected and Automated Vehicles
交通系统正在快速发展，新的互联和自动驾驶汽车（CAV）技术将CAV与其他车辆和路边基础设施集成在网络物理系统（CPS）中。通过连接，CAV会影响其环境，反之亦然，增加了网络攻击面的规模和恶意行为者利用安全漏洞的风险。因此，更好地了解潜在的CAV-CPS网络攻击以及预防它们的方法是一个高度优先事项。在本文中，我们描述了CAV-CPS网络攻击表面和安全漏洞，并概述了潜在的网络攻击检测和缓解策略。我们研究了新兴技术-人工智能，软件定义网络，网络功能虚拟化，边缘计算，以信息为中心的虚拟分散网络，第五代（5G）蜂窝网络，区块链技术以及量子和后量子密码学-作为帮助保护CAV和交通基础设施免受现有和未来网络攻击的潜在解决方案。
2020-12-24 cs.CR
IoT Sentinel: Automated Device-Type Identification for Security Enforcement in IoT
随着物联网（IoT）的快速发展，对IoT设备安全性的担忧变得突出。一些供应商正在为家庭和小型办公室网络生产IP连接设备，这些设备通常存在安全设计和实施缺陷。它们还往往缺乏固件更新或补丁的机制，这些机制可以帮助消除安全漏洞。保护存在此类易受攻击设备的网络需要棕地方法：在网络内应用必要的保护措施，以便潜在易受攻击的设备可以共存，而不会危及同一网络中其他设备的安全。在本文中，我们介绍了IOT SENTINEL，这是一种能够自动识别连接到物联网网络的设备类型的系统，并能够强制执行限制易受攻击设备通信的规则，以最大限度地减少因其危害而造成的损害。我们表明IOT SENTINEL在识别设备类型方面是有效的，并且具有最小的性能开销。
2016-12-13 cs.CR
Toward Automated Potential Primary Asset Identification in Verilog Designs
本文提出一种自动化方法，通过分析三个 IP 系列开源硬件设计中的结构性模式与共性，初步识别 Verilog 设计中的潜在主要安全资产，以减少人工搜索空间并支持下游安全分析。
2025-02-07 cs.CR
An Automated Analyzer for Financial Security of Ethereum Smart Contracts
针对以太坊智能合约财务安全难以大规模精确分析的问题，提出 FASVERIF 自动化分析器，自动生成验证模型与安全属性，并在漏洞数据集上展现出更高准确性和覆盖度。
2023-03-24 cs.CR
GLITCH: Automated Polyglot Security Smell Detection in Infrastructure as Code
基础架构即代码（IaC）是通过可编程配置文件（也称为IaC脚本）管理IT基础架构的过程。与其他软件工件一样，IaC脚本可能包含安全气味，这是可能导致安全漏洞的编码模式。存在用于检测IaC脚本中安全气味的自动分析工具，但它们专注于特定技术，如Puppet，Ansible或Chef。这意味着，当在其中一个工具中实现新气味的检测时，它不能立即用于其他工具支持的技术-唯一的选择是重复工作。本文提出了一种方法，使一致的安全气味检测不同的IaC技术。我们进行了一项大规模的实证研究，分析了包含196，755个IaC脚本和12，281，251个IaC脚本的三个大型数据集的安全气味。我们发现，所有类别的安全气味在所有数据集，我们确定了一些气味，可能会影响许多IaC项目。为了进行这项研究，我们开发了GLITCH，这是一种新的技术不可知的框架，通过将IaC脚本转换为中间表示，可以定义不同的安全气味检测器，从而实现自动化的多语种气味检测。GLITCH目前支持在Ansible、Chef或Puppet编写的脚本中检测九种不同的安全气味。我们将GLITCH与最先进的安全气味探测器进行比较。实验结果表明，GLITCH不仅可以减少编写多种IaC技术的安全气味分析的工作量，而且比当前最先进的工具具有更高的准确率和召回率。
2022-09-07 cs.CR cs.SE
argXtract: Deriving IoT Security Configurations via Automated Static Analysis of Stripped ARM Binaries
最近对物联网（IoT）的高调攻击已经将“智能”设备的脆弱性带到了最前沿，并导致了许多以IoT为重点的安全分析。许多攻击的根本原因是设备配置薄弱。有关IoT设备配置的丰富和明确信息的一个潜在来源是设备的固件。然而，固件分析是复杂的，并且自动化固件分析迄今为止仅限于具有更传统的操作系统（诸如Linux或Linux Works）的设备。由于缺乏传统的操作系统和实施各种通信技术，大多数物联网外围设备只是小规模分析的对象。由于此类固件文件主要以剥离的二进制文件形式提供，没有可以简化逆向工程的ELF标头和符号表，因此外围固件分析变得更加复杂。在本文中，我们介绍了argXtract，一个开源的自动化静态分析工具，它从剥离的物联网外围固件中提取安全相关的配置信息。具体来说，我们专注于针对ARM Cortex-M架构的二进制文件，因为它在物联网外设中越来越受欢迎。argXtract克服了与剥离的Cortex-M分析相关的挑战，能够检索与安全相关的管理程序和函数调用的参数，从而实现对固件文件的自动批量分析。我们通过三个真实世界的案例研究来证明这一点。最大的案例研究涵盖了针对Nordic Semiconductor芯片组的243个蓝牙低功耗二进制文件的数据集，而另外两个案例研究则侧重于Nordic ANT和STMicroelectronics BlueNRG二进制文件。结果显示，物联网普遍缺乏安全和隐私…
2021-05-07 cs.CR
An Automated Security Analysis Framework and Implementation for Cloud
云服务提供商为其客户提供按需且经济高效的服务、可扩展计算和网络基础设施。企业将其服务迁移到云以利用云计算的好处，例如消除其计算需求的资本支出。云中存在安全漏洞和威胁。许多研究已经提出了使用图形安全模型（GSM）和安全度量来分析云安全。此外，它已经被广泛研究，为云的安全性找到适当的防御策略。移动目标防御（MTD）技术可以利用云的弹性特性改变攻击面，迷惑攻击者。以前的大部分工作，将MTD到GSM的理论和性能进行了评估的基础上的模拟。在本文中，我们实现了上述框架，并设计，实现和测试一个云安全评估工具在一个真正的云平台名为UniteCloud。我们的安全解决方案可以（1）实时监控云计算，（2）自动化安全建模和分析，并通过Web应用程序使用图形用户界面可视化GSM，以及（3）在真实的云基础设施上部署三种MTD技术，包括多样性，冗余和洗牌。我们使用API分析了自动化过程，并展示了在UniteCloud上自动部署所有三种MTD技术的实用性和可行性。
2019-04-03 cs.CR
Toward Automated Security Risk Detection in Large Software Using Call Graph Analysis
针对人工威胁建模效率低易出错的问题，提出基于调用图聚类（密度算法+社区检测）的自动化威胁建模方法，经SFO案例验证可行，为云原生环境的可扩展半自动化威胁建模框架提供支撑。
2025-10-30 cs.CR cs.SE
Automated Identification of Security-Relevant Configuration Settings Using NLP
该研究提出使用自然语言处理技术，根据描述自动分类安全相关配置设置，以辅助安全专家并减少人工成本。
2022-09-19 cs.CR cs.SE
Isadora: Automated Information Flow Property Generation for Hardware Designs
Isadora是一种用于创建硬件设计的信息流规范的方法。该方法结合了信息流跟踪和规范挖掘，以产生一组信息流属性，这些属性适合在安全验证过程中使用，并支持更好地理解设计的安全态势。Isadora完全自动化;用户仅提供所考虑的设计和测试台，而不需要提供威胁模型或安全规范。我们在RISC-V处理器上评估了Isadora，以及两个与SoC访问控制相关的设计。Isadora生成的安全属性与常见弱点枚举（CWE）建议的安全属性一致，并且在SoC设计的情况下，与安全专家手动编写的属性一致。
2021-10-02 cs.AR cs.CR
Securing Automated Insulin Delivery Systems: A Review of Security Threats and Protective Strategies
College of Computing and Data Science, Nanyang Technological University（南洋理工大学计算与数据科学学院）
本文综述了自动化胰岛素输送系统面临的安全威胁及防护策略，指出现有安全评估框架不足，需发展轻量级和适应性强的防御机制以提升系统安全性。
2026-01-19 cs.CR
Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case
University of Zagreb（萨格勒布大学）
本文通过Tamarin证明器对SAML V2.0 SP发起的SSO与POST/Artifact绑定用例进行了全面的形式安全分析，验证了多个关键安全属性并识别了潜在漏洞。
2026-01-20 cs.CR
Semi-Automated Detection of Gaps in LLM Security Knowledge
Northeastern University（东北大学）
研究旨在实现大语言模型安全知识自动化测试，引入利用消费者保护机构权威信息识别LLM响应不稳定性的部分自动化方法，通过对身份盗窃和冒名顶替诈骗主题及Gemini和GPT家族中5个LLMs进行测试，可区分模型安全知识充足与否。
2026-09-23 cs.AI cs.CR cs.HC
Generic Security Proof of Quantum Key Exchange using Squeezed States
最近，Gottesman和Preskill提出了一种利用压缩态的量子密钥交换协议。在本文中，我们给出了一个通用的安全性证明该协议。用于这种通用安全证明的方法是基于Christiandl，Renner和Ekert最近的工作。
2005-08-09 cs.CR quant-ph
Semantic Ranking for Automated Adversarial Technique Annotation in Security Text
提出基于多阶段排序架构的方法，从威胁情报文本中提取结构化威胁行为，在零样本设置下性能优于大型语言模型，top-3召回率达81%。
2024-03-25 cs.CR
On the post-quantum security of encrypted key exchange protocols
基于离子阱量子计算机的一些基本物理参数，研究了加密密钥交换（EKE）协议的后量子安全性，证明了在多台离子阱量子计算机的情况下，使用40位口令的EKE协议是安全的.提出了一种抵抗中间人攻击的口令加密无密钥协议，并证明了该协议也具有后量子安全性。本文的分析对各种混合密码体制的安全性评估具有普遍意义。
2013-06-21 cs.CR quant-ph
GlucOS: Security, correctness, and simplicity for automated insulin delivery
GlucOS是一个用于自动化胰岛素输送的可信系统，通过新颖架构和整体安全机制，实现个性化剂量管理并抵御恶意模型，实际部署与模拟验证了其安全性和血糖控制改善效果。
2025-10-27 cs.CR
Automated Validation of Security-sensitive Web Services specified in BPEL and RBAC (Extended Version)
我们正式的自动化分析技术的验证Web服务中指定的RBAC和定制的RBAC的变种。其思想是使用一阶逻辑的可判定片段来描述某类Web服务的状态空间，然后使用最先进的SMT求解器来处理其可达性问题。为了评估我们的方法的实际可行性，我们开发了一个原型工具来实现我们的技术，并将其应用于受工业案例研究启发的数字合同签署服务。
2010-09-07 cs.CR cs.LO cs.SE
Modeling the Interdependent Coupling of Safety and Security for Connected and Automated Vehicles: A Copula-Based Integrated Risk Analysis Approach
本文提出基于Copula的综合风险分析方法，用于建模连接与自动化车辆中安全与安全的相互依赖耦合，通过动态故障模型量化两者耦合效应，并提供理论框架指导协同设计。
2025-12-13 cs.CR
Towards the Automated Verification of Cyber-Physical Security Protocols: Bounding the Number of Timed Intruders
时间入侵者模型被提出来验证网络物理安全协议（CPSP），修改了传统的Dolev-Yao入侵者以遵守环境的物理限制。由于要学习消息，定时入侵者需要等待消息到达，因此发起攻击可能取决于定时入侵者的位置。很可能出现这样的情况，即在存在大量入侵者的情况下，没有攻击，但在存在少量处于适当位置的入侵者的情况下，存在攻击。因此，CPSP自动化验证的一个主要挑战是确定使用多少定时入侵者以及将它们放置在何处。本文通过证明使用与参与者数量相同的定时入侵者数量就足够了来回答这个问题。我们还报告了一些初步的实验结果，发现在CPSP攻击。
2016-05-27 cs.CR cs.LO
Automated U.S Diplomatic Cables Security Classification: Topic Model Pruning vs. Classification Based on Clusters
美国政府一直是来自世界各地的网络攻击的目标。就在最近，前总统奥巴马指责俄罗斯政府向维基解密泄露电子邮件，并宣布美国可能被迫做出回应。虽然俄罗斯否认参与其中，但很明显，美国必须采取一些防御措施来保护其数据基础设施。内部威胁也是其他敏感信息泄露的原因，包括臭名昭著的爱德华·斯诺登事件。最近的大部分泄漏都是以文本的形式。由于文本数据的性质，安全分类是手动分配的。在一个对抗性的环境中，内部人员可以通过电子邮件、打印机或任何不受信任的渠道泄露文本。最佳防御是自动检测非结构化文本安全类，并在不降低服务或日常任务质量的情况下实施适当的保护机制。不幸的是，现有的数据泄漏防护（DLP）系统并不适合检测非结构化文本。在本文中，我们比较了最近的两种方法在文献中的文本安全分类，评估他们的实际敏感文本数据从维基解密数据集。
2017-03-07 cs.CR
RAN Tester UE: An Automated Declarative UE Centric Security Testing Platform
本文提出自动化、可扩展且以 UE 为中心的 RAN Tester UE 声明式安全测试框架，并在基于商用硬件与开源软件的 5G 软件无线电测试床上验证其测试流程的效率和可复现性。
2025-05-16 cs.CR cs.SE cs.SY
Towards Automated Classification of Attackers' TTPs by combining NLP with ML Techniques
University of Innsbruck（因斯布鲁克大学）
日益复杂和越来越多的威胁行为者以及网络攻击的速度，使得及时识别攻击对组织的安全至关重要。因此，负责安全的人员采用关于新出现的攻击、攻击者的行动过程或危害指标的各种各样的信息源。然而，大量所需的安全信息是以非结构化文本形式提供的，这使得自动和及时提取攻击者的战术、技术和程序（TTP）变得复杂。为了解决这个问题，我们系统地评估和比较不同的自然语言处理（NLP）和机器学习技术用于安全信息抽取的研究。根据我们的调查，我们提出了一个数据处理管道，自动分类非结构化文本根据攻击者的战术和技术来自对手的战术，技术和程序的知识库。
2022-07-18 cs.CL cs.CR
SEC-bench: Automated Benchmarking of LLM Agents on Real-World Software Security Tasks
University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校）；Purdue University（普渡大学）
针对现有LLM智能体安全评估基准脱离真实场景的问题，提出全自动化基准框架SEC-bench，通过多智能体支架构建真实漏洞数据集，测试显示前沿LLM在PoC生成和漏洞修复任务上成功率极低，指明了安全领域LLM智能体的改进方向。
2025-10-22 cs.CR cs.LG
ORCA - An Automated Threat Analysis Pipeline for O-RAN Continuous Development
University of Passau（帕绍大学）；University of Padova（帕多瓦大学）；Institute for the Wireless Internet of Things, Northeastern University（东北大学无线互联网研究所）
ORCA提出一种自动化流水线，利用NLP技术实现O-RAN持续发展中的威胁分析，提升安全评估的效率和准确性。
2026-01-20 cs.CR
Automated Implementation of Windows-related Security-Configuration Guides
强化是指配置IT系统以确保系统组件及其处理或存储的数据的安全性的过程。然而，当代IT基础设施的复杂性使得手动安全加固和维护成为一项艰巨的任务。在许多组织中，SCAP（安全内容自动化协议）中表达的安全配置指南被用作加强的基础，但这些指南本身并没有提供自动实现所需配置的方法。在本文中，我们提出了一种方法来自动提取相关信息，从公开的安全配置指南Windows操作系统使用自然语言处理。在第二步中，使用存储在Windows管理模板文件中的可用设置的信息来验证提取的信息，其中定义了大多数Windows配置设置。我们表明，我们的实现这种方法可以提取和实现83%的规则，而无需任何手动工作和96%，以最小的手动工作。此外，我们对12个最先进的指南进行了研究，这些指南由2014年的自动检查规则组成，并表明我们的工具至少可以正确实现其中的97%。因此，我们大大减少了基于现有安全配置指南保护系统的工作。
2022-09-19 cs.CR cs.SE
Improving security for users of decentralized exchanges through multiparty computation
去中心化的加密货币交易所提供了令人信服的安全优势：用户控制他们的资金，避免交易所黑客或恶意操作者的风险。然而，由于用户资产可以通过秘密密钥完全访问，因此分散的交易所对交易公司和自动交易系统构成了重大的内部安全风险，其中受损的系统可能导致资金的全部损失。集中式交易所通过基于API密钥的安全策略减轻了这种风险，这些策略允许专业用户向个人交易者或自动化系统授予特定和可定制的访问权，例如交易或提款限制。然而，这样的策略与去中心化的交易所不兼容，在去中心化的交易所中，所有的交易所操作都需要由所有者的秘密密钥生成的签名。本文介绍了一种基于多方计算的协议，该协议允许创建可应用于任何现有分散式交换的API密钥和安全策略。我们的协议可以同时使用ECDSA和EdDSA签名方案，并优先考虑有效的计算和通信。我们已在纳什交易所以及几个基于以太坊的自动做市商智能合约上部署了该协议，它可以保护数千名用户的交易账户和钱包的安全。
2021-06-21 cs.CR
Empirical Vulnerability Analysis of Automated Smart Contracts Security Testing on Blockchains
新兴的区块链技术支持去中心化计算范式的转变，并且是一种快速接近的现象。虽然区块链主要被认为是比特币的基础，但由于智能合约的引入，其应用已经远远超出了加密货币。智能合约是一种自我执行的软件，它驻留并运行在托管区块链上。使用基于区块链的智能合约进行安全和透明的管理，以管理互联网环境（主要是物联网）中的交互（身份验证、连接和交易），是研究和实践的一个利基领域。然而，由于底层特定领域语言的复杂语义及其可测试性，编写值得信赖和安全的智能合约可能具有巨大的挑战性。有一些引人注目的事件表明，区块链智能合约可能包含各种代码安全漏洞，从而引发财务损害。当涉及到智能合约的安全性时，拥有编写合约能力的开发人员应该能够在将其部署到区块链上的不可变环境之前测试其代码，以诊断安全漏洞。然而，只有少数智能合约的安全测试工具。这意味着现有的自动智能合约安全测试研究还不够充分，仍处于起步阶段。为了更容易地实现区块链智能合约在安全和隐私方面的应用，我们应该在广泛实施之前首先了解它们的漏洞。因此，本文的目标是对当前静态智能合约安全测试工具进行一次影响深远的实验性评估，为目前应用最广泛的区块链、以太坊及其领域专用程序设计语言Solidity提供第一...
2018-09-07 cs.CR
SMSI: System Model Security Inference: Automated Threat Modeling for Cyber-Physical Systems
School of Electrical Engineering and Computer Science, University of Ottawa（奥多亚大学电气工程与计算机科学学院）
本文提出SMSI框架，通过SysML模型生成优先级安全控制列表，采用神经符号混合方法实现CVE到MITRE ATT&CK的映射，并在医疗物联网网关上验证了其有效性。
2026-04-26 cs.AI cs.CR
Automated Testing of Broken Authentication Vulnerabilities in Web APIs with AuthREST
提出开源安全测试工具 AuthREST，通过自动化检测撞库、密码暴力破解及未检查令牌真实性等问题，有效提升 Web API 安全性，并成功在四个公共 API 中发现未知身份验证漏洞。
2025-09-12 cs.CR cs.SE
How to Generate Security Cameras: Towards Defence Generation for Socio-Technical Systems
最近，安全研究人员开始研究从社会技术系统模型自动生成攻击树。自动化风险分析趋势的下一步显然是自动选择安全控制来处理检测到的威胁。然而，现有的社会技术模型过于抽象，无法代表从业者和标准推荐的所有安全控制。在本文中，我们提出了一个攻击-防御模型，由一组攻击-防御束，生成和维护的社会技术模型。攻击-防御捆绑包可用于直接从模型合成攻击-防御树，以提供基本的攻击-防御分析，但它们也可用于选择和维护模型本身无法处理的安全控制。
2015-09-02 cs.CR
IC-SECURE: Intelligent System for Assisting Security Experts in Generating Playbooks for Automated Incident Response
针对SOAR系统剧本需手动创建、触发依赖规则的局限，提出基于深度学习的交互式剧本创建方案IC-SECURE，结合告警与未完成剧本上下文推荐下一个模块，在三个数据集上precision@1超0.8、recall@3超0.92，优于现有方法。
2023-11-07 cs.CR
Automated Security Assessment for the Internet of Things
Deakin University（迪肯大学）；RMIT University（皇家墨尔本理工大学）；The University of Adelaide（阿德莱德大学）；Cyber Security Cooperative Research Centre（网络安全合作研究中心）
基于物联网（IoT）的应用面临着越来越多的潜在安全风险，需要系统地评估和解决。基于专家的物联网安全手动评估是一种主要方法，但通常效率低下。为了解决这个问题，我们提出了一个物联网网络的自动安全评估框架。我们的框架首先利用机器学习和自然语言处理来分析漏洞描述以预测漏洞度量。然后将预测的度量输入到两层图形安全模型中，该模型由上层的攻击图和底层的攻击树组成，上层用于表示网络的连通性，底层用于描述网络中每个节点的漏洞信息。该安全模型通过捕获潜在的攻击路径来自动评估物联网网络的安全性。我们使用一个概念验证的智能建筑系统模型来评估我们方法的可行性，该模型包含各种真实世界的物联网设备和潜在的漏洞。我们对所提出的框架的评估表明，它在自动预测新漏洞的漏洞度量方面具有有效性，平均准确率超过90%，并确定物联网网络中最脆弱的攻击路径。所产生的评估结果可作为网络安全专业人员采取进一步行动和及时降低风险的指南。
2021-09-09 cs.AI cs.CR cs.LG
Automated Reasoning for Vulnerability Management by Design
Department of Computer Science, University of Oxford（牛津大学计算机科学系）；IRIT, CNRS, UT2（IRIT、CNRS、UT2）
本文提出一种基于形式化基础的自动化推理机制，集成于开源安全设计工具，用于系统性地识别漏洞、指定缓解选项并管理系统设计的漏洞态势。
2025-07-08 cs.AI cs.CR cs.LO
SPI: Automated Identification of Security Patches via Commits
开源软件中的安全补丁，为已识别的漏洞提供安全修复，对于防范网络攻击至关重要。尽管国家漏洞数据库（NVD）发布了已识别的漏洞，但绝大多数漏洞及其相应的安全补丁仍然无法公开，例如，开发者非常依赖的开源库中。一个广泛的安全补丁数据集可以帮助最终用户，如安全公司，建立安全知识库，或研究人员，例如，协助脆弱性研究。为了以大规模和低成本管理包括未公开补丁在内的安全补丁，我们提出了一种基于开源库提交的基于深度神经网络的方法。我们构建了安全补丁数据集，其中包括来自四个C库的38，291个安全相关提交和1，045个CVE补丁。我们手动验证38，291个与安全相关的提交中的每个提交，以确定它们是否与安全相关。我们设计了一个基于深度学习的安全补丁识别系统，该系统由两个神经网络组成：一个是提交消息神经网络，它利用从我们的提交数据集学习的预训练单词表示;另一个是代码修订神经网络，它在修订之前和之后获取代码，并学习语句级别上的区别。我们的评估结果表明，我们的系统优于SVM和K-折叠堆叠算法，实现高达87.93%的F1分数和精度为86.24%。我们在工业生产环境中部署了我们的管道和学习模型，以评估我们的方法的泛化能力。工业数据集由来自410个新库的298，917个提交组成，这些库的功能范围很广。我们的实验结果和观察证明，我们的方法可以有效地识别开源项目中的安全补丁。
2021-06-06 cs.CR cs.SE
Automated SELinux RBAC Policy Verification Using SMT
本文提出将 SELinux RBAC 策略自动转换为 SMT 并借助定理证明检查其与预期规范一致性的工具，以发现常见策略错误配置。
2023-12-04 cs.CR cs.LO
Dual-Technique Privacy & Security Analysis for E-Commerce Websites Through Automated and Manual Implementation
本文通过自动化工具与人工评估相结合的双重技术方法分析90个美国电商网站，发现cookie滥用、缺乏多因素认证和输入验证不足等安全缺陷，并提出改进隐私政策、增强cookie透明度和强化认证协议等针对性建议，以促进CCPA和COPPA合规并保护年轻用户。
2024-10-19 cs.CR cs.CY
Verifying Cryptographic Security Implementations in C Using Automated Model Extraction
本文提出了一种自动验证用C语言编写的协议实现的安全属性的方法。我们假设协议的每次成功运行都遵循相同的路径通过C代码，这是由典型的安全协议具有线性结构的事实证明的。然后，我们执行该路径的符号执行，以提取一个类似于CryptoVerif工具所使用的进程演算中表达的模型。符号执行使用一种新的算法，允许符号变量表示潜在未知长度的位串，以模拟传入的协议消息。提取的模型不使用指针寻址内存，但它们可能仍然包含有关消息格式的低级细节。在下一步中，我们用抽象元组和投影运算符替换消息格式化表达式。这些运算符的属性，例如投影运算是元组运算的逆运算，通常只满足正确类型的输入。因此，我们对模型进行类型检查，以确保满足所有类型安全约束。然后，可以使用CryptoVerif来验证所得到的模型，以直接获得计算安全结果，或者使用ProVerif，通过调用计算可靠性定理来获得计算安全结果。我们的方法实现了高度自动化，不需要用户输入超出什么是必要的指定的加密原语的属性和所需的安全目标。我们在几个协议实现上评估了该方法，总共超过3000行代码。最大的案例研究是一个1000行的实现，它是独立编写的，没有考虑验证。我们发现了几个被作者承认并修复的缺陷，并且能够验证修复的代码而无需对其进行任何进一步的修改。
2020-01-03 cs.CR cs.PL
Rethinking IoT Security: A Protocol Based on Blockchain Smart Contracts for Secure and Automated IoT Deployments
物联网设备在社会中的扩散需要重新关注这些系统的使用和维护。基于物联网的系统将对社会产生巨大影响，因此这些系统必须具有保证的弹性。我们引入了基于密码的构建块，努力确保分布式物联网网络在其整个生命周期中保持健康状态。我们提出的解决方案利用以太坊区块链上的确定性和相互关联的智能合约，为强化的物联网设备实施安全管理和维护。调查的一个关键问题是用于保护物联网设备部署的协议开发以及与设备安全通信的方法。通过支持开放性、自动化和来源的价值观，我们可以引入新的手段来减少监视和盗窃的威胁，同时提高运营商对物联网技术的责任感和信任度。
2020-07-06 cs.CR cs.SE
Automated False Positive Filtering for esNetwork Alerts
入侵检测系统（IDS）是一种能够自动分析网络流量并检测可疑活动的安全工具。它们被广泛地实施为各种商业网络中的安全保障工具。然而，高误报率为安全分析师筛选大量不必要的警报。esNetwork是eSentire Inc.的IDS产品。该项目的重点是在随机森林（RF）分类器的帮助下减少esNetwork生成的误报警报。建立RF模型，将警报分类为高和低，仅将高可能性警报传递给分析员。作为评估实验的结果，该模型可以达到97%的训练验证的准确性，88%的测试与最近的数据，和58%的安全运营中心（SOC）审查的事件。由于缺乏明确标记的训练数据和SOC审查的事件进行评估，该模型的评估结果是中间的。该模型仍然需要时间进行微调，以满足行业部署要求。
2022-08-26 cs.CR
AIM: Automated Input Set Minimization for Metamorphic Security Testing
针对蜕变安全测试因输入集规模大导致测试效率低的问题，提出AIM方法，通过聚类、遗传算法和问题约简实现输入集最小化，在Jenkins和Joomla上可缩短80%以上测试时间且保持检测能力，漏洞覆盖率优于现有基线。
2024-10-24 cs.CR cs.SE
A Unified Compliance Aggregator Framework for Automated Multi-Tool Security Assessment of Linux Systems
Department of Computing, Engineering and Mathematical Science（计算、工程与数学科学系）
本文提出统一合规聚合框架UCA，整合多个开源安全工具，通过标准化和加权聚合提升系统安全评分，揭示合规与文件完整性工具的差异。
2026-04-19 cs.CR cs.LG
Combining Exploratory Analysis and Automated Analysis for Anomaly Detection in Real-Time Data Streams
本文通过开发实时监控BGP流量的原型系统，探讨探索性分析与自动化分析的互补性，以检测异常并可视化警报上下文，为安全监控系统开发提供见解。
2026-09-21 cs.CR
Automated Road Traffic Congestion Detection and Alarm Systems: Incorporating V2I communications into ATCSs
在这份立场文件中，我们解决的问题，自动道路拥堵检测和报警系统及其安全性能。我们回顾了不同的理论自适应道路交通控制方法，和三个广泛部署的自适应交通控制系统（ATCS），即SCATS，SCOOT和InSync。然后，我们讨论了一些相关的研究问题，和相应的可能的方法，以及对手模型和潜在的攻击场景。在SCATS、SCOOT和InSync等ATCS的基础上，结合安全的无线V2I通信，提出了两种自动道路拥堵报警系统的理论概念（包括系统结构、通信协议和算法）。最后，该系统的安全性能进行了讨论和分析，使用ProVerif协议验证工具。
2016-06-03 cs.CR
