Research / Paper Files
Paper Files
Paper Files 是一种持续进行 cybersecurity 学习的个人实践，它将科学方法作为学习工具。每篇文章都不是为了学术发表而写，而是作为一种有意为之的练习，用来磨快斧头——深化对特定主题的知识，以严谨的方式组织想法，并观察对某些主题的理解如何随时间发展。它相当于一本训练日志的知识版：每一条记录所学内容、分析方式以及得出的结论。
我强烈建议安全专业人员采用这种方法。选择一个你想精通的主题，研究一手资料（RFC、论文、官方文档），按照引言、方法、分析和结论来组织文本，并像是在向同事解释一样写作。写作本身会迫使你思路清晰，并暴露出被动阅读无法揭示的理解空白。把本网站上的文章作为格式和深度的示例，并建立你自己的收藏——随着时间推移，你会拥有一个个人的精炼知识库，这是任何课程或认证都无法取代的。
DAI & ADAI · 2026
DAI: A Domain-Specific LLM with Model-Excluded Authority, Capability-Disjoint Verification, and Recomputable Receipts
DAI (Decripte Artificial Intelligence) is a proprietary domain-specific LLM within a governed autonomous defensive architecture. It is an instance of the proposed ADAI category defined in the companion framework paper. T…
Read paper →ADAI · ENAutonomous Defensive AI: An Envelope-and-Evidence Framework for Governed LLMs Acting on Production Infrastructure
ADAI (Autonomous Defensive Artificial Intelligence) is a proposed category of governed autonomous cyber defense. The framework specifies defended perimeters, bounded effects, declared rollback and capability-disjoint ver…
Read paper →178 papers
面向跨域APT攻击检测的分层因果图学习与对抗鲁棒性增强框架研究
组织的信息系统架构正从传统的集中式数据中心演进为混合云、多云与边缘计算并存的复杂生态。微服务架构、容器编排平台（如Kubernetes）以及软件定义网络（SDN）的普及，使系统组件间依赖关系高度动态化与短生命周期化。在此背景下，攻击面不再局限于单一主机或网络边界，而是扩展至跨域身份凭证、API调用链与供应链依赖。 APT攻击的核心特征在于“持续性”“隐蔽性”与“多阶段协同”。攻击者往往通过钓鱼邮件、漏洞利用或供应链植入实现初始访问，然后逐步进行权限提升、凭证窃取与横向移动，最终达成数据外泄或破坏目标。SolarWinds供应链事件展示了攻击者通过合法更新机制植入后门，实现跨组织传播与长期潜伏；Log4Shell漏洞（CVE-2021-44228）暴露后，大量组织在数周内遭受远程代码执行攻击；Microsoft Outlook特权提升漏洞（CVE-2023-23397）被用于触发NTLM凭证泄露。这些真实事件说明，APT攻击往往跨越多个技术域与组织边界。 MITRE ATT&CK框架系统化总结了攻击者战术与技术，但其本质为知识库与映射框架，而非自动化检测机制。传统基于规则的系统依赖人工维护攻击模式，当攻击路径变化或攻击者采用低频渐进策略时，规则系统往往难以及时更新。基于单主机日志序列建模的深度学习方法，如DeepLog，通过LSTM预测下一条日志事件，但缺乏跨主机与跨阶段依赖表达
Read paper →AppSec云原生环境中的应用安全工程：2026年的威胁建模、运行时插桩与基于遥测的检测
这使得依赖于边界防护和集中式日志的传统安全方法变得更加困难。此外，REST 与 GraphQL API 的大规模采用也增加了对外公开的端点数量。 另一个新兴向量是人工智能模型和大型语言模型在应用中的集成。诸如提示注入（prompt injection）、通过上下文进行数据外泄以及模型操控等漏洞，已成为现代应用新的安全关注点（NIST, 2024）。 在这一背景下，安全社区开始采用更为综合的方法，将以下技术结合起来： • 静态代码分析（SAST） • 动态应用分析（DAST） • 软件组成分析（SCA） • 运行时监控（RASP / eBPF） • 安全可观测性与遥测 这些技术的融合使得既能在开发阶段检测漏洞，也能在生产环境中发现恶意行为。 本文提出了一种以遥测为导向的 AppSec 运营框架，在云原生环境中整合静态分析、威胁建模与运行时监控。该方案旨在缩小安全开发与攻击运营检测之间的差距。 2. 背景与相关工作 应用安全最初源自人工代码审查以及在开发周期末期执行的渗透测试。然而，随着敏捷方法和 CI/CD 流水线的采用，将安全直接集成到开发流程中变得必要。 DevSecOps 的概念正是在这种背景下出现的，它将安全控制集成到自动化的构建和部署流水线中。SAST、DAST 和 SCA 等工具开始在开发过程中自动运行。 SAST 工具与语义分析
Read paper →IR面向大规模企业网络的智能化事件响应框架：基于概率攻击图推理与自适应编排的闭环安全处置体系
企业网络结构经历了从传统内网边界防护模式向云原生、混合云与零信任架构的深刻转型。远程办公常态化、SaaS 应用普及、容器与微服务广泛部署，使企业资产分布高度动态化。攻击面（Attack Surface）不再局限于数据中心内部服务器，而扩展至终端设备、API 接口、第三方供应链组件与云服务控制平面。 根据公开行业报告，数据泄露事件的平均识别与遏制周期仍以“月”为单位计量，而攻击者完成横向移动与权限提升往往仅需数小时至数天。在 Log4Shell（CVE-2021-44228）漏洞披露后，多家安全厂商报告在极短时间内观测到自动化扫描与利用活动。类似地，MOVEit Transfer 漏洞（CVE-2023-34362）引发了大规模数据窃取事件，显示出供应链型漏洞对企业组织的系统性风险。 传统事件响应流程通常依据 NIST SP 800-61 Rev.2 所定义的四阶段模型展开：准备、检测与分析、遏制与根除、事后总结。然而，在实际 SOC 运行中，存在如下关键问题： （1）告警爆炸与信号稀释：多源设备产生海量告警，误报比例高，导致分析资源分散； （2）路径关联困难：攻击活动跨主机、跨时间窗口，缺乏统一的因果关联机制； （3）响应策略静态化：SOAR 剧本通常基于固定规则触发，无法根据全局风险动态调整； （4）规模扩展瓶颈：当终端数量达到十万级以上时，攻击图推理与策略优化在计算
Read paper →AppSec一种用于持续应用安全（AppSec）的形式化且可扩展的架构：基于模型引导的静态分析、自适应动态插桩与具有可量化保证的策略验证集成
应用安全是分布式企业环境与云原生环境中网络安全的结构性支柱之一。基于微服务、容器、Kubernetes 以及 CI/CD 流水线的架构整合显著扩大了攻击面，尤其是在公共 API 和服务间集成方面。根据 Verizon Data Breach Investigations Report 2023，大约 49% 的已分析安全事件涉及 Web 应用（VERIZON, 2023）。后续报告在 2025 年之前仍呈现类似趋势，进一步强化了 AppSec 的核心地位。 CISA 的 Known Exploited Vulnerabilities (KEV) 目录记录了关键漏洞的主动利用情况，其中包括广泛使用的库中的缺陷（CISA, 2023）。在 MITRE ATT&CK 框架中，针对暴露应用的利用对应技术 T1190（Exploit Public-Facing Application），而后续的命令执行通常与技术 T1059 相关（MITRE, 2023）。到 2026 年，这些攻击向量与新兴威胁并存，包括与 AI API 相关的风险，以及针对集成于企业应用中的 LLM 的 prompt injection 攻击（OWASP, 2023a）。 此外，Application Security、Cloud-Native Application Protection Platforms (CN
Read paper →AppSec一种基于混合分析、MITRE ATT&CK导向威胁建模与定量风险优先级的形式化可扩展持续AppSec架构
1. 引言
Read paper →DFIRDFIR-GraphX：一种基于概率时间图的形式化架构，用于混合与多云环境中的事件响应与数字取证
数字化转型以及云原生架构的成熟从根本上改变了这一局面。组织如今同时运行在多个公共云提供商之上——如 Amazon Web Services (AWS)、Microsoft Azure 和 Google Cloud Platform (GCP)——同时还结合私有数据中心、边缘环境以及 SaaS 集成。身份认证广泛依赖通过 SAML 2.0 与 OpenID Connect (OIDC) 的身份联合机制，使用短生命周期令牌以及分布式信任链。 综合报告表明，当代攻击通常呈现多阶段特征，包括初始利用、持久化、权限提升、横向移动、数据外泄以及破坏性影响（VERIZON, 2024; MANDIANT, 2024）。MITRE ATT&CK 框架以持续更新的结构化战术与技术矩阵对这些技术进行系统化描述（MITRE, 2025）。然而，对因果链的事后重建在很大程度上仍依赖于临时性的启发式方法以及有限的确定性关联分析。 我们将观测到的事件集合形式化为： $$ \mathcal{E} = \{e_1, e_2, \dots, e_n\}, $$ 其中每个事件表示为： $$ e_i = (\tau_i, \sigma_i, \rho_i, \eta_i), $$ 其中 $\tau_i \in \mathbb{R}^+$ 表示时间点（可能受到 clock skew（时钟偏移） 影响），$
Read paper →DFIRARC-DFIR：一种用于异构企业环境中事件自动检测、重建与关联的形式化、概率化且可扩展的架构
定向钓鱼以及供应链入侵仍然是主要的初始攻击向量。 一些标志性事件进一步凸显了问题的严重性。Apache Log4j 中的 Log4Shell 漏洞（CVE-2021-44228）允许通过 JNDI 注入实现远程代码执行（MITRE, 2021; CISA, 2024）。Microsoft Outlook 中的 CVE-2023-23397 利用 MAPI 属性强制触发 NTLM 认证，从而可能捕获哈希值（MICROSOFT, 2023）。在这两种情况下，攻击链的重建都需要对应用日志、认证日志、网络日志、EDR 以及云基础设施日志进行关联分析。 现代企业环境汇聚了来自 EDR/XDR、防火墙、IDS/IPS、代理、电子邮件网关、Kubernetes、云服务提供商、SaaS 系统以及基于 eBPF 的传感器的遥测数据。其数据量可能达到每天数十亿级事件。仅按时间顺序排序不足以推断因果关系，而纯粹基于规则的机制则面临组合爆炸问题（AXELSSON, 2000）。 因此，我们提出三个研究问题： RQ1：如何对异构取证事件进行形式化建模，同时保持部分时间因果关系和操作语义？ RQ2：是否可以自动重建复杂攻击链，并达到与人类辅助分析相当的精度？ RQ3：根据 NIST SP 800-61 Rev. 2（NIST, 2012），显式数学形式化对证据保全链治理以及 MTTR 降低的影响是
Read paper →DFIRDFIR-Graph：基于因果图的混合环境中攻击链的时间—概率相关性与形式化重建
滥用有效凭证和社会工程技术仍然是初始入侵的主要向量之一。持续观察到，大量安全泄露事件涉及对合法身份的滥用，包括在联合身份环境和基于 Zero Trust 的架构中（ROSE et al., 2020）。 SolarWinds（2020）事件、Log4Shell 漏洞（CVE-2021-44228）的利用以及与 CVE-2023-23397 相关的攻击活动表明，对手通常将远程利用与持久化、横向移动和数据外传相结合，这些行为往往与 MITRE ATT&CK（MITRE, 2023）中描述的战术和技术相一致。在许多情况下，对手的驻留时间可持续数周甚至数月，因此需要进行详细且方法论严谨的事后重建。 数字取证与事件响应（DFIR）按照 NIST SP 800-61 Rev.2（CICHONSKI et al., 2012）的结构，并结合 NIST 的较新指导，包含证据的收集、保存、分析与报告。形式化地，我们考虑一个离散事件的可观测空间 $\Omega$。每个事件建模为： $$ e_i = (t_i, s_i, a_i, o_i, m_i), $$ 其中 $t_i \in \mathbb{R}_{\ge 0}$ 表示时间戳，$s_i$ 表示主体（用户、进程或身份），$a_i$ 表示动作，$o_i$ 表示对象（文件、socket、云实例或 Kubernetes 资源），而 $m_i$ 表
Read paper →AppSec面向大规模微服务环境的应用安全自适应验证与运行时加固框架：形式化建模、算法设计与实证评估
应用程序体系结构已由单体架构演进为以容器化与微服务为核心的分布式系统。Kubernetes、Service Mesh 以及 DevSecOps 流水线的广泛应用，使系统具备高弹性与快速迭代能力，但同时显著扩大了攻击面。根据 Verizon《2023 Data Breach Investigations Report》，超过 43% 的数据泄露事件与应用层漏洞直接相关。OWASP Top 10（2021）指出，A01:2021-Broken Access Control 与 A03:2021-Injection 仍然是高风险类别的主要来源。 典型安全事件包括 CVE-2021-44228（Log4Shell），其利用 Apache Log4j 2 的 JNDI 查找机制触发远程代码执行（Remote Code Execution, RCE），以及 CVE-2023-34362（MOVEit Transfer SQL 注入漏洞），造成大规模敏感数据泄露。这些事件表明，在高度组件化与自动化部署环境下，攻击者可通过公开接口（MITRE ATT&CK 技术 T1190: Exploit Public-Facing Application）建立初始访问，并结合 T1059（Command and Scripting Interpreter）等技术完成后续利用与横向移动。 综合当前工
Read paper →Detection基于异构遥测概率相关性的多级自适应高级持续性威胁检测
1. 引言
Read paper →