Traefik is an open source HTTP reverse proxy and load balancer. From 3.0.0 until 3.6.25 and 3.7.10, Traefik's Kubernetes Gateway API provider in pkg/provider/kubernetes/gateway/httproute.go, grpcroute.go, tcproute.go, and tlsroute.go builds HTTPRoute, GRPCRoute, TCPRoute, and TLSRoute router and service identities by hyphen-concatenating namespace, route name, Gateway identity, entry point, and ru

SonicWall Global VPN Client version 4.10.8.1108 and earlier is vulnerable to an out-of-bounds kernel memory read in the SWIPsec.sys driver, which could allow a local attacker to cause a system crash.

The OnCallNotificationActivity in the Datadog Android application is declared android:exported="true" in AndroidManifest.xml with no permission guard. Any co-installed application on the same device can launch it with attacker-controlled Intent extras: on_call_page_content (rendered as full-screen lock-screen text), page_id (used to enqueue an on-call Acknowledge worker), and on_call_page_intent,

BubbleChatActivity in the Datadog Android application is declared android:exported="true" with no permission guard and accepts a SEND intent with mimeType text/plain. The activity reads a conversation_id from Intent extras and, on onDestroy, calls BubbleChatNotification.dismiss whenever no active in-process session matches the caller-supplied conversation_id. BubbleChatNotification.dismiss uncondi

Ivanti Endpoint Manager Mobile代码注入漏洞

Huawei Secoway USG firewall weak password

Yokogawa YFGW410 gateway

根据BleepingComputer报道，近期针对对冲基金、私募股权公司及其他金融机构的一波网络攻击被安全研究人员关联至UNC6671勒索组织。UNC6671据称与BlackFile威胁行为者存在联系，BlackFile可能是一种勒索软件家族或关联组织。报道指出，攻击者可能采用双重勒索策略，即在加密受害者数据的同时窃取敏感信息，以施加更大压力索取赎金。受害行业集中在金融领域，这类机构通常持有高价值资产和敏感数据，且对业务连续性要求极高，因此更容易成为勒索攻击的目标。目前公开信息中未披露具体的初始入侵途径、利用漏洞或部署的恶意工具，也没有提供IOC（妥协指标）或ATT&CK技术细节。此外，UNC6671与BlackFile的关联基于威胁情报机构的调查，属于报道性归因，尚未得到官方或受害企业确认。整体来看，这一事件反映出金融行业正面临新兴勒索团伙的持续性威胁，相关团队应密切关注该组织的后续活动，并加强防御准备。

这篇SecurityWeek文章是‘In Other News’系列新闻综述，汇总了多条可能被忽视的安全事件。正文摘要明确提到了三个值得关注的故事：一、美国相关方面拟禁止中国数据中心技术，这可能是出于国家安全考虑，对采用相关技术的企业带来合规与供应链调整风险；二、QuickFox VPN遭遇供应链攻击，具体攻击方式、影响范围及受影响用户等细节尚未公布，但供应链攻击意味着软件分发或更新环节可能被渗透，用户安装或更新后可能面临恶意代码执行风险；三、IEH Corporation公司的邮箱账户遭到钓鱼攻击，导致邮箱被入侵，可能造成内部邮件数据泄露，钓鱼攻击通常是为了窃取凭证或进行商业欺诈。此外，文章标题还提及了‘AI Slop限制苹果赏金’、‘北卡罗来纳州港口攻击’以及‘黑客针对华尔街’等事件，但正文摘录中未提供这些事件的详细描述。由于缺少CVE编号、攻击者归因和具体IOC，这些事件的整体严重程度和关联性尚不明确。总体而言，该综述反映了当前威胁环境中的多个维度，包括供应链安全、钓鱼攻击和地缘政治技术限制，企业应保持对这些主题的关注并强化相应防御措施。

本文提出一种名为 IPvSeeYou 的隐私攻击方法，允许远程且无特权的攻击者以街道级精度物理定位大量住宅 IPv6 主机和网络。核心方法分为三步：首先，通过高速网络探测，从 IPv6 地址中提取嵌入式 MAC 地址（这些 MAC 地址由 SLAAC 等机制泄露，通常对应住宅路由器的 WAN 接口）；其次，开发一种统计推断技术，跨制造商和设备类型建立路由器 WAN MAC 与 WiFi MAC（BSSID）之间的映射关系；最后，将 WAN MAC 与公开的 war-driving 定位数据库中的 WiFi BSSID 关联，实现大规模数据融合攻击。利用该技术，作者在 146 个国家和地区成功定位了超过 1200 万台路由器的 IPv6 前缀，并通过验证证明中位定位误差仅为 39 米。此外，作者利用技术部署限制，通过聚类和关联共享同一上游运营商路由器的设备，将攻击扩展到更多住宅 IPv6 路由器。作者已向多家制造商和提供商负责任地披露了结果，但由于现存的大量有线/DSL 住宅路由器生态系统固化，该攻击在可预见的未来仍将是隐私威胁。本文属于研究型论文，适合网络安全研究人员、隐私保护工程师、网络运营商和安全防御者阅读，以便了解 IPv6 地址生成机制中的隐私风险及大规模定位攻击的实施条件。

本文是一篇关于 Android 应用中第三方追踪（third-party tracking）与用户同意（consent）机制的实证研究。研究背景是：第三方追踪允许企业收集用户行为数据、跨设备追踪用户活动，可能将用户私生活的深度洞察暴露给陌生方，且通常发生在用户不知情或未明确同意的情况下。欧盟和英国的数据保护法要求，在访问和存储用户设备信息以及处理第三方追踪所涉及的个人数据时，必须获得用户同意。然而，实际中许多应用并未遵守这一要求。本文通过两个层面的分析来调查同意机制的落实情况。第一，对 Google Play Store 中有代表性的应用样本进行分析，发现大多数应用都进行第三方追踪，但很少在追踪前获得用户同意，暗示可能存在大范围违反欧盟和英国隐私法的行为。第二，详细审视最常见的第三方追踪库，发现虽然多数库承认依赖应用开发者代表其获取同意，但通常没有建立强有力的保障机制：同意要求的披露有限；缺乏默认的同意实现；合规指引难以找到、难以阅读且维护不良。研究方法结合了法律分析、大规模应用样本统计和代码级追踪库审查。主要贡献包括：系统性地揭示了 Android 生态中第三方追踪同意机制的普遍缺失；为监管机构和应用开发者提供了合规改进的具体方向；强调了追踪库在同意环节中的责任缺位。适合隐私研究人员、Android 应用开发者、合规人员以及关注数据保护的律师阅读。

本论文提出 JANUS，一个面向高速 RDMA 云环境的 ACL（访问控制列表）系统。RDMA（远程直接内存访问）云正日益普及，ACL 对于管控 RDMA 应用、服务和租户的未授权网络访问至关重要。然而，RDMA 独特的队列对（QP）语义和高速传输特性，使得现有 ACL 表达和强制机制无法以用户友好的方式全面高效地治理 RDMA 流量。传统 ACL 表达式通常基于五元组（如 IP、端口）格式，但 RDMA 与 TCP/IP 语义根本不同，涉及基于 QP 的更精细通信类型和复杂状态管理（如 QP 创建/销毁、远程内存区域操作），且流量被分离为控制面（QP 生命周期维护）和数据面（应用数据交换），每条路径需要独立控制不同的包元数据和 QP 行为。现有端主机 ACL（如 iptables、Open vSwitch）在内核中强制执行，但 RDMA 数据面流量绕过内核，无法被捕获；微内核方案（如 Snap、FreeFlow）在软件垫片层治理但引入显著 CPU 开销；网内硬件方案（如 Bedrock）需将主机内流量重定向到网内设备，增加额外延迟。JANUS 设计了专用 ACL 表达式，利用 QP 语义识别 RDMA 连接，并提供高层策略语言来表达复杂的 ACL 意图，以便治理 RDMA 流量。JANUS 进一步利用 DPU（数据处理单元）结合流量感知和架构特定优化来强制 ACL 策略，实现线速 RDMA 检查和稳健的策略更新。作者基于 NVIDIA BlueField-3 DPU 实现了开源原型。实验表明，JANUS 在 200Gbps 真实 RDMA 测试平台上实现了线速吞吐，且延迟小于 5 秒（原文如此，可能为微秒级笔误），并提供足够的表达能力来治理未授权的 RDMA 访问。该研究为 RDMA 云环境中的访问控制提供了新的解决思路，适合云网络研究人员、RDMA 系统开发者和安全工程师阅读。

这篇SoK论文聚焦于机器学习模型部署中的数据推断隐私风险。当模型在生产环境中被使用时， adversary（对手）可能通过模型输出推断出训练数据中的敏感信息。以往文献从不同角度分析了多种推断攻击，例如成员推断攻击（判断某样本是否在训练集中）和重建攻击（试图还原训练样本）。受密码学中利用博弈（即概率实验）来定义安全性质的启发，一些研究者开始用类似的博弈风格来描述机器学习中的隐私推断风险，但由于不同文献对 adversary 能力与目标的具体定义存在细微差异，导致相关工作难以相互比较和组合。本文提出一个基于博弈的统一框架，用于系统化整理机器学习中隐私推断风险的知识体系。具体贡献包括：（1）为各类推断风险定义提供一个统一的表达结构；（2）从形式上建立已知定义之间的关系；（3）发现通过人工对比难以察觉的、此前未知的定义关系。该工作旨在降低该领域知识碎片化程度，帮助研究者更清晰地理解和推导不同隐私风险之间的内在联系。适合机器学习隐私方向的研究人员、安全分析人员以及希望系统化理解成员推断、属性推断等攻击定义的读者阅读。

CrowdStrike与Zscaler宣布达成合作，将连续身份验证能力融入零信任访问解决方案。该合作旨在将CrowdStrike Falcon平台的身份威胁检测与Zscaler的零信任交换（Zscaler Zero Trust Exchange）相结合，使企业在用户访问应用时能持续验证身份与设备安全状态，而不仅限于初始登录时的静态验证。CrowdStrike提供基于AI的端点和身份风险分析，Zscaler负责代理和策略执行，两者结合可有效降低因凭据泄露、会话劫持或内部威胁导致的风险。合作后，安全团队能够在用户访问过程中实时评估风险，并在检测到可疑行为时动态调整访问权限或强制重新验证。该方案还支持对用户实体行为分析（UEBA）、异常检测以及事件响应联动，帮助企业更高效地实施最小权限原则。文中强调，这一集成面向多云和混合办公环境，解决了传统基于边界的信任模型失效后的核心痛点。文章属于产品与技术合作公告，未涉及具体攻击事件，也未披露漏洞或恶意软件数据。

CrowdStrike Announces Continuous Identity for AI Agents

### Impact When a Nuxt dev server is bound to a network-reachable interface (for example `nuxt dev --host` for on-device testing), the default-enabled Chrome DevTools workspace endpoint `GET /.well-known/appspecific/com.chrome.devtools.json` returns the absolute project root (`workspace.root`, i.e. `rootDir`) and a persistent per-project workspace UUID. `GHSA-rq7w-g337-39qq` added a gate (`isLoc

Citrix NetScaler 内存泄漏(CVE-2025-5777)

Flowise through 3.1.4 contains a missing authorization vulnerability that allows authenticated workspace members to perform unauthorized document store operations by accessing unprotected mutation endpoints. Attackers holding only view-level permissions can send direct HTTP requests to the upsert and refresh document store routes to trigger document ingestion, refresh vector database contents, con

Traefik is an open-source edge router that makes publishing services a fun and easy experience. Prior to 2.11.54, 3.6.25, and 3.7.10, cross-namespace @kubernetescrd references are not rejected for TraefikService backend references resolved by the service resolver. A tenant confined by RBAC to a single namespace can therefore bind its own router to a TraefikService owned by another namespace and ex

LightRAG provides simple and fast retrieval-augmented generation. Through version 1.5.4, the LightRAG API server binds to all network interfaces with authentication disabled by default, allowing an unauthenticated network attacker to read indexed document content, upload or delete documents, modify the knowledge graph, cancel pipelines, clear caches, and consume LLM resources. This issue is mitiga

The MStore API WordPress plugin before 4.21.0 does not verify the payment with the payment gateway before marking an order as paid on several of its payment-completion endpoints, allowing an unauthenticated attacker to mark an arbitrary order fully paid without paying and obtain goods or services for free.

Exposed dangerous method or function in Azure Confidential Ledger allows an authorized attacker to execute code over a network.

OpenReception's appointment booking software provides an end-to-end encrypted appointment booking platform. Prior to version 1.0.2, a TENANT_ADMIN promotes themselves to platform-wide GLOBAL_ADMIN through a single PUT request. The role-update handler accepts the `GLOBAL_ADMIN` enum value from any tenant admin updating their own tenant's staff. No policy check enforces that "only an existing GLOBAL

OpenReception's appointment booking software provides an end-to-end encrypted appointment booking platform. Prior to version 1.0.1, a fully provisioned OpenReception instance accepts unauthenticated POST requests to `/setup/create-admin-account` and creates additional GLOBAL_ADMIN accounts without verifying that an admin already exists. Any unauthenticated network attacker who can submit a same-or

OpenReception's appointment booking software provides an end-to-end encrypted appointment booking platform. Prior to version 1.0.2, a TENANT_ADMIN can store `javascript:` URLs in the tenant `links` configuration (`website`, `imprint`, `privacyStatement`). These values are returned to the patient-facing landing page via `/api/public`, hydrated into the SvelteKit Button component, and rendered as ``

league/commonmark is a PHP library for parsing and rendering CommonMark Markdown. From 1.5.0 until 2.9.0, the AttributesExtension's href and src unsafe-link filter can be bypassed by embedding control bytes, such as a tab, carriage return, line feed, or leading C0 control character, in a javascript: URL that browsers discard before parsing the scheme, causing the browser to still execute the scrip

pymdown-extensions is a collection of extensions for the Python Markdown library. In versions up to and including 11.0, four inline processors (caret, tilde, betterem, and magiclink) use regular expressions whose content groups can partition a run of delimiter characters in exponentially many ways, causing catastrophic backtracking. As a result, a single untrusted Markdown line under 50 bytes rend

Decidim is a participatory democracy framework. Prior to 0.30.9, from 0.31.0 before 0.31.5, and in 0.32.0.rc1 before 0.32.0.rc2, the identity-document verification admin UI embeds verification_attachment blobs through reusable signed Active Storage disk URLs, allowing anyone who obtains a URL to download the scanned document without an authenticated Decidim session until the signature expires. Ver

Decidim is a participatory democracy framework. Prior to 0.30.9, from 0.31.0 before 0.31.5, and in 0.32.0.rc1 before 0.32.0.rc2, an administrator with landing-page editing privileges can store arbitrary HTML and JavaScript in an HTML content block, which Decidim::ContentBlocks::HtmlCell#html_content renders without sanitization, causing the script to execute in visitors' browsers. This issue is fi

llama.cpp builds b1886 through b7445 contain a race condition use-after-free vulnerability in the LLaMA-Android JNI wrapper where bench_1model() and free_1context() lack synchronization, allowing Thread A to operate on freed memory while Thread B concurrently frees the llama_context. Attackers can exploit this by performing heap spray with attacker-controlled data containing a fake vtable to hijac

Ground Station prior to 0.6.0 contains an unauthenticated blind server-side request forgery vulnerability in the orbital-source configuration path that allows any unauthenticated Socket.IO client to cause the ground-station process to issue outbound HTTP requests to attacker-chosen destinations. Attackers can connect to the Socket.IO server on port 7000 without credentials due to disabled authenti

llama.cpp builds b1886 through b7445 contain a null pointer dereference vulnerability in the LLaMA-Android JNI wrapper where the bench_1model() function fails to validate the model context pointer before dereferencing it. Attackers can supply a malicious, corrupt, or truncated model file to trigger a null context condition, causing a SIGSEGV crash that terminates the Android application process an

llama.cpp builds b1886 through b7445 contain an integer overflow vulnerability in the LLaMA-Android JNI wrapper where the new_1batch() function multiplies sizeof(llama_seq_id) by an attacker-controlled n_seq_max parameter without overflow validation, causing heap buffer allocation to wrap and allocate insufficient memory. Attackers can exploit this by providing a crafted n_seq_max value through a

llama.cpp builds b1886 through b7445 contain a double free vulnerability in the LLaMA-Android JNI wrapper where new_1batch() allocates memory using malloc() while free_1batch() deallocates it using the C++ delete operator, causing heap metadata corruption. Attackers can trigger this memory management mismatch to cause denial of service through process crashes or potentially achieve arbitrary code

URL Redirection to Untrusted Site ('Open Redirect') vulnerability in the HTML5 scrubber in rrrene html_sanitize_ex allows a remote attacker to force visitors of a page to navigate to a site of the attacker's choosing via a element in sanitized HTML. HtmlSanitizeEx.html5/1 keeps attacker-supplied elements in its output. A meta element acts on the whole document rather than on the fragment it was

URL Redirection to Untrusted Site ('Open Redirect') vulnerability in the HTML5 scrubber in rrrene html_sanitize_ex allows an unauthenticated remote attacker to retarget a form already on the rendering page and receive whatever the victim submits, including credentials, via the form and formaction attributes on an element in sanitized HTML. HTML's form attribute associates an input with any form o

Inclusion of Functionality from Untrusted Control Sphere vulnerability in the HTML5 scrubber in rrrene html_sanitize_ex allows a remote attacker to load a document of their choosing into a trusted page via the data attribute of an element in sanitized HTML. object is the one URI-bearing element in lib/html_sanitize_ex/scrubber/html5.ex never registered through allow_tag_with_uri_attributes/3, and

Consul Community Edition and Consul Enterprise 1.18.0 through 2.0.2 are vulnerable to an authenticated denial of service in the Enterprise-to-Community Edition downgrade path that may allow an authorized caller to crash the Consul server. A caller with config-entry write permission can submit a service-router configuration entry that causes the agent to exit unexpectedly. This vulnerability, CVE-2

PLANET VDR-300NU ADSL Router - 未授权修改DNS

Acknowledgements

本文提出 LogicFuzz，据作者称这是首个专门针对可编程逻辑控制器（PLC）固件中逻辑指令库进行模糊测试的框架。PLC 广泛用于工业自动化，其逻辑指令库由供应商提供并编译进设备固件，若存在安全缺陷，可能被物理控制程序、网络服务或运行时子系统利用，导致权限绕过、内存破坏或数据泄露。现有模糊测试方法多关注协议或通用固件，难以有效覆盖 PLC 指令的语义依赖和触发条件。LogicFuzz 的核心创新在于构建语义依赖图（SDG），该图同时刻画 PLC 指令的操作语义和指令间依赖关系。结合使能信号（enable-signal）机制，LogicFuzz 能够自动合成针对特定指令的种子程序，显著减少人工构造测试用例的工作量，并支持在真实 PLC 硬件上进行可控、可重置的模糊测试。为了发现由控制流触发（即调用模式）的缺陷，LogicFuzz 通过变异 SDG 来多样化指令调用上下文；为了暴露由数据触发的故障，则在有效语义约束下进行覆盖率引导的参数变异。此外，LogicFuzz 集成了多源 oracle，通过监控运行时日志、状态 LED 和通信状态来检测模糊测试过程中指令级别的异常。作者在来自三家主要厂商的六台生产型 PLC 上进行了评估，共发现 19 个指令级缺陷，其中包含 4 个先前未知的漏洞。该研究对 PLC 安全测试、工业控制系统安全研究以及固件漏洞挖掘具有参考价值。适合关注 ICS/SCADA 安全、模糊测试方法、PLC 固件分析的读者阅读。

本文针对大型语言模型（LLM）推理阶段中提示词（prompt）包含敏感信息可能泄露给专有LLM API 的隐私问题，提出了一种基于密码学思想的提示词净化器（prompt sanitizer）概念及其系统实现 Prmpt（论文标题中写作 Prεεmpt）。核心目标是在形式化保护提示词中敏感信息的同时，尽量保持 LLM 响应的质量。作者首先定义了提示词净化器的形式化语义，将输入提示词转换为经过保护的版本。Prmpt 系统重点关注仅从单个 token 即可推导出的敏感信息，并将敏感 token 分为两类：第一类是 LLM 响应仅依赖于其格式的 token（如社会安全号码、信用卡号），采用保形加密（FPE）进行处理，确保格式不变但内容不可识别；第二类是响应依赖于具体数值的 token（如年龄、薪资），采用度量差分隐私（mDP）机制，在数值上添加受控噪声以实现隐私保护。实验评估表明，相比未净化的提示词，Prmpt 能够在实现有意义的隐私保证的同时保持较高的实用性，并且优于此前的方法。本文的主要贡献在于首次将形式化隐私概念（FPE 与 mDP）系统性地应用于 LLM 提示词净化，并通过实验验证了其实际可行性。适合对 LLM 隐私保护、数据脱敏、安全推理等方向感兴趣的研究人员和安全工程师阅读。

Firewall for AI

Domoticz versions prior to 2026.3 contains a stored cross-site scripting vulnerability in the mobile dashboard that allows authenticated attackers to inject arbitrary HTML and JavaScript by updating Text or Alert subtype device values through the API. The mobile dashboard renders device data via ng-bind-html with only an nl2br() transform that performs no HTML escaping, allowing attackers to store

### Summary `CryptoJS.lib.WordArray.random()` in affected versions is not a cryptographically secure random number generator. Nominal requests for 128 or 256 bits of entropy produce effective search spaces of approximately 2^39 and 2^47 possibilities — small enough to enumerate on commodity hardware. Coinspect's [Ill Bloom](https://www.coinspect.com/blog/ill-bloom-investigation/) investigation c

Six Android App Widget configuration activities in the Datadog Android application are declared android:exported="true" with no permission guard: IncidentWidgetActivity, MonitorSavedViewWidgetActivity, OnCallShiftsWidgetActivity, OnCallPagesWidgetActivity, SloWidgetActivity, and DashboardWidgetActivity. All six extend a shared base WidgetActivity that reads AppWidgetManager.EXTRA_APPWIDGET_ID from

The launcher activity AppActivity in the Datadog Android application is declared android:exported="true" with launchMode="singleTask" and no permission guard. On every onCreate and onNewIntent, it invokes Intent.getUserSession(), an extension that deserializes a full UserSession — user identity, OAuth access and refresh tokens, host, organization, datacenter, and permissions — from Bundle extras k

On every successful login, the Datadog Android application calls FirebaseCrashlytics.setUserId with the signed-in user's Datadog UUID — a stable per-user identifier that is meaningful inside Datadog. This associates the Datadog user UUID with the device's Firebase installation ID on Google's backend. Separately, uncaught exceptions are forwarded to Firebase Crashlytics via recordException, attachi

The Datadog Android application stores operationally sensitive content in plaintext SQLite databases via Room. Two databases were reviewed: LocalNotificationDatabase (table local_notifications, columns including title, message, recipient, service, tags, and on-call/incident deeplinks) and SearchRecentDatabase (table search_recents, storing every in-app search query the user typed). A repository-wi

Improper privilege management in the XML-RPC API of Plesk before 18.0.80, allows an authenticated reseller to obtain an administrative session for the root user account.

ZenML 0.94.6 contains a remote code execution vulnerability in the CloudpickleMaterializer component that allows attackers with write access to a shared artifact store to execute arbitrary code by planting a malicious pickle file. Attackers can replace a stored artifact.pkl file with a crafted cloudpickle payload containing a malicious __reduce__ method, which executes arbitrary system commands wh

Nexus Repository 3 was found to be vulnerable to stored cross-site scripting (XSS). A user with the nexus:blobstores:create or nexus:blobstores:update permission could set a blob store name containing malicious script content, which would later execute in the browser of another user viewing system health-check status. This issue has been fixed in version 3.95.0.

A vulnerability was detected in WonderTrader up to 0.9.9. Impacted is the function TraderDD::queryTrades of the file src/TraderDD/TraderDD.cpp. The manipulation of the argument FID_JYLB results in enforcement of behavioral workflow. The attack can be launched remotely. A high complexity level is associated with this attack. The exploitability is considered difficult. The exploit is now public and

### Summary Four inline processors in pymdown-extensions contain regular expressions with exponential backtracking. A single untrusted Markdown line under 50 bytes drives `markdown.markdown()` into unbounded CPU on the rendering thread (seconds at ~45 bytes, growing exponentially with each added character). All four fire in the extension's **default configuration** and are reachable through the d

### Impact This is an unsafe file upload validation vulnerability that can lead to remote code execution in vulnerable application configurations. Applications are impacted when they: - validate uploads using `is_image` or `mime_in` without an independent safe extension check, such as `ext_in` on patched versions - save uploaded files using the client-supplied filename - place uploads in a web-ac

### Impact A SQL injection vulnerability exists in the Query Builder's `deleteBatch()` method. When `deleteBatch()` is used together with `where()` conditions, the bound values from the `WHERE` clause are substituted directly into the generated SQL **with their escape flag ignored**, so they are never escaped or quoted. If an application passes user-controlled input to `where()` before calling `de

## Summary The API Platform serializer's `AbstractItemNormalizer` does not validate the resource type returned when resolving relation IRIs, allowing type confusion where a resource of an unintended type can be silently assigned to a relation property. ## Impact An attacker who can submit write requests (POST/PUT/PATCH) to an API Platform endpoint with writable relations can supply a relation I

Weaver (Fanwei) E-cology 9.0 versions prior to 10.52 contain a file upload vulnerability that allows a remote, unauthenticated attacker to upload arbitrary files, including JSP webshells, by submitting a multipart/form-data POST request to /workrelate/plan/util/uploaderOperate.jsp with arbitrary secId and plandetailid field values. Successful exploitation results in remote code execution under the

Postiz is an open-source social media scheduling tool. The route that serves locally stored media joins URL-supplied path segments onto the upload directory and streams the file without normalising the path or confining it to that directory, and the route requires no authentication. Raw dot-segments are collapsed before routing, but URL-encoded separators survive route matching and are decoded onl

Firefox browsers

Sign in to Cloud

Sign Up for Free Cloud Tier

iOS 26.4.2 and iPadOS 26.4.2

iOS 18.7.8 and iPadOS 18.7.8

iOS 18.7.7 and iPadOS 18.7.7

iOS 26.4 and iPadOS 26.4

Background Security Improvements for iOS, iPadOS, and macOS

iOS 16.7.15 and iPadOS 16.7.15

iOS 15.8.7 and iPadOS 15.8.7

iOS 26.3 and iPadOS 26.3

iOS 18.7.5 and iPadOS 18.7.5

iOS 26.2 and iPadOS 26.2

iOS 18.7.3 and iPadOS 18.7.3

Compressor 4.11.1

iOS 18.7.2 and iPadOS 18.7.2

iOS 26.1 and iPadOS 26.1

Android Code Search

Android Devices

Secure an Android device

Android 16 QPR2

Mobile network security

iOS 26.5 and iPadOS 26.5

iOS 18.7.9 and iPadOS 18.7.9

iOS 16.7.16 and iPadOS 16.7.16

iOS 15.8.8 and iPadOS 15.8.8

MFSA 2026-49Security Vulnerabilities fixed in Firefox for iOS 151.0

MFSA 2026-52Security Vulnerabilities fixed in Firefox for iOS 151.1

MFSA 2026-53Security Vulnerabilities fixed in Firefox for iOS 151.2

MFSA 2026-55Security Vulnerabilities fixed in Focus for iOS / Klar 151.3.1

MFSA 2026-56Security Vulnerabilities fixed in Firefox for iOS 152.0

iOS 26.5.2 and iPadOS 26.5.2

MFSA 2026-65Security Vulnerabilities fixed in Firefox for iOS 152.3

MFSA 2026-66Security Vulnerabilities fixed in Firefox for iOS 152.4

iOS 26.6 and iPadOS 26.6

MFSA 2026-73Security Vulnerabilities fixed in Firefox for Android 153.0.3

   Hi, everyone! We've just released Chrome 151 (151.0.7922.108) for Android. It'll become available on Google Play over the next few days. This release includes stability and performance improvements. You can see a full list of the changes in the Git log. If you find a new issue, please let us know by filing a bug.Android releases contain the same security fixes as their corresponding Desktop rel

Hi everyone! We've just released Chrome Stable 151 (151.0.7922.112) for iOS; it'll become available on App Store in the next few hours.This release includes stability and performance improvements. You can see a full list of the changes in the Git log. If you find a new issue, please let us know by filing a bug.Chrome Release TeamGoogle Chrome

【大模型服务平台 TokenHub】&【智能体开发平台 ADP】& 【云开发 CloudBase】 关于腾讯云 Kimi K2.5 模型下线及切换升级的通知

【大模型服务平台 TokenHub】&【智能体开发平台 ADP】&【云开发 CloudBase】关于腾讯云 DeepSeek-V4-Flash 正式版及其原厂直供版模型发布通知

The ChromeOS Dev channel is being updated to OS version 16765.12.0 (Browser version 152.0.7977.28) for most ChromeOS devices.If you find new issues, please let us know one of the following ways:File a bugVisit our ChromeOS communitiesGeneral: Chromebook Help CommunityBeta Specific: ChromeOS Beta Help CommunityReport an issue or send feedback on ChromeInterested in switching channels? Find out how.

Hi everyone! We've just released Chrome Dev 153 (153.0.7993.0) for Android. It's now available on Google Play.You can see a partial list of the changes in the Git log. For details on new features, check out the Chromium blog, and for details on web platform updates, check here.If you find a new issue, please let us know by filing a bug.Chrome Release TeamGoogle Chrome

智能家居助手日益采用多模态大语言模型（MLLM）直接感知视频和音频，这带来了新的安全挑战：代理需要区分真实的用户指令与环境或外部来源的内容（如电视语音、屏幕文字、旁听到的对话），这些内容可能无意间被当作指令执行。针对这一问题，本文提出了PromptShield-Home，一个模拟真实智能家居场景的基准测试，涵盖称呼歧义、屏幕/音频注入、健康监测误触发、多人员混合状态以及合法指令基线。作者比较了三个抽象层：传统检测器（L0）、单个MLLM代理（L1，包含视觉、视觉+ASR、音视频三种配置）和多代理中介（L2，包括投票、角色专家、跨模型仲裁）。实验发现，由于数据标签偏向于“不执行”，总体准确率具有误导性（一个“总是阻止”的简单模型也能达到82%），因此作者分别报告了不安全执行率和安全完成率。结果显示两种范式以相反的方式失败：传统检测器对一切内容都触发响应，而所有MLLM配置都过度拒绝，几乎不执行任何真实指令，且全部漏报真正的跌倒事件。关键洞察是，这两类模型的正确预测集合不相交：一个理想化路由器（总是选择正确的层）可达到94.1%，远高于最佳单层模型的76.5%。作者强调，这只是一个理论上限，并未实现实际的路由器，并主张家庭代理的安全应依靠学习式路由和多模态传感器融合，而不是简单用MLLM替换传统检测器。这项工作为多模态环境下的提示注入防御提供了新的评估框架和重要启示。

该论文对多智能体LLM系统中中继键值缓存（KV cache）的效果进行了因果审计，质疑了系统声称通过交换"潜在思考"（latent thoughts）获得性能提升的说法。作者指出，这种归因取决于具体中继的是哪个样本的缓存，而不仅仅是中继了某个缓存。论文在已发布的系统中通过将缓存替换为错配（来自不匹配样本）、归零和矩匹配随机版本，进行了干预实验。实验设置分为两种条件：接收者是否需要发送者的私有信息。在需要私有信息时，主骨干上的结果显示正确缓存相对于无关缓存的准确率高达100%对23-25%，并在三个模型家族、五个检查点和一个文档问答场景中复现。在不需要私有信息时，预注册的五种子协议在GSM8K和ARC-Challenge上利用Holm校正的TOST方法，在三个Qwen3规模上以及MedQA 8B上建立了平均2.8个百分点的等价性（一个单元检测到小优势，但仍在界内），另一个模型家族未检测到优势。重要发现是，大的缓存效应并不等同于配对效应：在一个自然场景中，归零缓存导致14.7个百分点的性能下降，而错配缓存仅下降0.4个百分点。此外，需要私有信息并非充分条件：在相同测试下，不同系统的传递效果差异巨大——LatentMAS的原生中继达到天花板，KVComm的层子集仅部分传递，C2C发布的投影器则未检测到样本特定的传递。论文强调，基准性能差异本身不能证明潜在思考的传输，必须通过错配缓存审计来建立因果证据，并发布了该审计方法。该研究为多智能体LLM通信中的信息传递机制提供了严谨的因果分析框架。

本文是一篇关于区块链赋能的可信代理网络的综述与教程性文章。研究背景是AI代理正从孤立的任务执行器演化为网络化的自主实体，能够通信、委派任务、调用工具、访问外部知识，并参与跨平台的服务与经济流程。这种演化催生了开放代理网络，其中不同利益相关者拥有的异构代理相互交互，但缺乏共享的身份、授权、审计、声誉和结算基础设施。现有研究涵盖从经典多代理系统到开放代理网络的演化，尤其是基于LLM的自主代理、代理互操作协议、代理互联网基础设施以及区块链赋能的信任机制。作者首先回顾了这一演化过程，指出信任边界从个体执行扩展到跨代理、跨平台、跨组织的交互。然后，他们识别出一个网络级别的信任危机，该危机无法仅靠单代理安全机制或封闭的多代理协调技术解决。为此，他们提出了一个五维分类法，涵盖实体与能力信任、授权与委派信任、信息与来源信任、协调与群体鲁棒性信任、以及问责与结算信任。基于这一分类法，他们考察了区块链如何为可信代理网络提供共享身份、可验证授权、防篡改来源、可审计协作、激励对齐和价值结算。文章进一步综合了代理网络风险、信任需求与区块链机制之间的映射关系，并阐明了区块链的角色是作为共享信任层，而非替代代理安全、语义验证、隐私保护或稳健推理。本文的主要贡献在于系统化梳理了从古典多代理系统到开放代理网络的演化，提出了一个全面的信任分类法，并明确了区块链在代理网络中的定位。适合对AI代理安全、分布式信任机制以及区块链应用感兴趣的研究者和工程师阅读。

本文针对检索增强生成（RAG）系统在大型语言模型（LLM）应用中面临的知识污染攻击问题，提出了一种名为 SecureCollaRAG 的拜占庭容错协作式 RAG 框架。研究背景是：虽然 RAG 能够缓解 LLM 的幻觉问题，但攻击者可通过投毒外部文档来操纵 LLM 输出，形成新的安全漏洞。为应对这一威胁，作者引入多源知识验证机制（Multi-source Knowledge Validation Mechanism），使智能体系统能够通过基于动态图神经网络（GNN）的可信度评分来安全地验证文档来源，从而有效防御隐蔽的知识污染攻击，同时保留关键领域知识的完整性。论文通过大量实验和形式化分析证明，SecureCollaRAG 在非独立同分布（non-IID）数据分布下仍能保持对攻击者的鲁棒性。核心贡献包括：提出针对 RAG 知识污染威胁的拜占庭容错协作框架、设计动态 GNN 驱动的文档可信度评估方法、以及提供形式化安全性分析。适合关注 LLM 安全、智能体安全、RAG 系统防御的研究人员和安全工程师阅读。

本文提出 PriDyG，一个面向动态图推断的隐私保护框架，旨在解决关系型数据上的图推断可能泄露敏感边信息的问题。在动态图中，模型反复更新会导致隐私损失累积，使得问题更加严重。作者形式化了边级差分隐私动态图推断（EDG）问题，并设计了一种结合 GNN 结构学习与 LLM 语义推理的私有推断框架。PriDyG 的核心创新是增量式私有多跳聚合机制：它缓存新到达的边，并确保每条边只被处理一次。通过并行组合性质，总隐私成本等价于单次静态发布的隐私成本，与模型更新的次数或调度无关。与几何衰减的预算分配方法相比，增量聚合避免了指数增长的噪声，同时保留精确的一跳信号和至少一半的二跳信息传递。此外，PriDyG 利用仅基于节点文本的 LLM 预测来补充私有化的 GNN 输出，不产生额外的边级隐私成本。在四个基准数据集上的节点分类和链接预测实验中，PriDyG 在相同隐私预算下持续优于几何衰减基线，并匹配朴素逐次更新重训练的工具性，同时将累积隐私成本降低最多三个数量级。该研究适用于关注隐私保护图学习、动态图分析以及 LLM 与 GNN 协作机制的研究人员和工程师。

本文针对智能交通系统（ITS）中车联万物（V2X）环境下大语言模型（LLM）应用的安全问题，提出了一种名为 Guarded-V2X 的内联语义护栏架构。随着 V2X 系统在路侧单元和边缘节点上越来越多地集成 LLM 用于消息摘要、操作员辅助和决策支持等语义任务，这些非安全关键的组件引入了传统 V2X 安全机制（如认证和消息完整性）无法覆盖的提示词级攻击面。Guarded-V2X 旨在实时约束条件下保护启用 LLM 的 V2X 服务，其设计包含五个核心模块：基于规则的入口过滤、轻量级安全分类器、策略约束的结构化生成、可信检索以及决策后裁决。这些模块共同构成机器可检查的安全边界，在下游执行前拦截恶意或违规内容。作者采用四阶段实验流水线进行评估：入侵漏洞分析、校准与延迟基准测试、护栏有效性验证、以及对抗压力下的鲁棒性测试。实验基于 V2X 对齐的模拟数据集，该数据集来自 RSU 公告、操作员消息和带注释的 V2X 消息摘要。结果表明，在多轮对抗试验中，无护栏和仅依赖提示词的基线仍存在残余漏洞，而 Guarded-V2X 在双轮设置中持续降低了入侵接受成功率，并消除了观察到的危险完成，同时未超出 V2X 语义建议路径的延迟预算。本文的核心贡献在于提出了一个面向 V2X-LLM 场景的实用防御架构，将传统规则与 LLM 特有的语义约束相结合，并为实时安全护栏的设计提供了实验依据。适合智能交通系统安全研究人员、LLM 应用安全工程师以及 V2X 标准化制定者阅读。

本文提出 ReputationChain，一个面向区块链供应链的参与者信任更新框架。研究背景是：区块链虽然能保证供应链记录的完整性，但仅凭账本完整性无法判断参与者在未来风险敏感交易中是否值得信任。现有声誉系统主要关注产品证据、全局反馈聚合或评论真实性，较少考虑重复双边通胀、身份多重性和对稀疏历史诚实参与者的不公平衰减等问题。为此，ReputationChain 将区块链作为证据和溯源层而非信任来源，将治理化的交互结果转换为有界证据。核心方法包括：对同一对参与者之间的重复交互进行折扣，惩罚低交易对手多样性，利用治理提供的身份置信度对正面证据加权，并根据验证交互量使评分向中性先验衰减。身份、合约、结果和更新溯源均上链，而非线性声誉计算在链下执行并在链上检查可接受性。在受控模拟中（30 次种子运行和匹配交互轨迹），完整模型将平均合谋收益降至 0.1443，而朴素平均证据为 0.3688，静态衰减为 0.3585。在一个控制器控制十个身份的场景下，声誉通胀率降至 0.8723，而三个比较基线均高于 1.08。在相同新参与者轨迹上，基于量的衰减将新参与者平均声誉从 0.6626 提升至 0.7589，并将虚假低信任率从 0.3633 降至 0.1683。配对分析确认了这些改进在不同运行中的一致性。研究结论表明 ReputationChain 能在有界范围内减少声誉扭曲，但不提供攻击者检测功能；生产使用前仍需部署评估和运营数据校准。该论文适合区块链安全、供应链风险管理、去中心化信任系统及声誉机制设计的研究人员和工程师阅读。

OpenYak 是一款本地优先的智能体运行时，专门用于可靠地调用工具的模型，并在此基础上提供桌面工作区。在 1.1.3 版本之前，OpenYak 的桌面后端存在一个严重安全缺陷：其 HTTP API 被绑定在 127.0.0.1 的随机端口（通常为 19141）上，但服务端既没有校验请求的 Origin 来源，也没有实施回环认证或 Content-Type 强制策略，同时还配置了通配符 CORS。这意味着，当用户在使用 OpenYak 的同时浏览任意网页时，该网页中的恶意脚本可以向本地 API 发起跨源请求。由于浏览器成为访问回环地址的中介，攻击者可以绕过操作系统对网络访问的隔离限制。更严重的是，攻击者可结合构建代理（当 permission_presets.bash 设置为 true 时）在宿主设备上执行任意操作系统命令，实现远程代码执行；还可以关闭服务或窃取聊天记录及账户个人身份信息。整个攻击过程无需用户执行任何交互，只需用户正常打开一个网页。该漏洞的 CVSS 评分为 9.6，属于严重级别，攻击复杂度低且可造成高机密性、完整性和可用性影响。OpenYak 1.1.3 版本已修复此问题，建议所有用户尽快升级。

CVE-2026-48170 影响 scim-patch 库（用于执行 SCIM PATCH 操作的 Node.js 库），其 0.9.1 之前的版本在应用包含形如 "__proto__.someProp" 键的 value 对象时，会触发原型污染（prototype pollution）。攻击者可通过向 SCIM 端点提交特制的 PATCH 请求（例如来自外部 IdP 的 JSON），使库在处理时向 Object.prototype 写入 someProp 属性，从而影响 Node 进程中所有普通对象。该漏洞的 CVSS 评分为 9.1（高危），攻击向量为网络，攻击复杂度低，需要低权限，影响范围可波及整个系统，对完整性有高影响，对可用性有低影响。官方已在 0.9.1 版本中修复该问题。缓解方案包括：升级到 0.9.1 或更高版本；若无法升级，可在进程启动时调用 Object.freeze(Object.prototype)（以及 Array.prototype、Function.prototype），使原型污染赋值变成静默无效（非严格模式）或抛出 TypeError（严格模式）；也可使用 Node 的 --frozen-intrinsics 标志自动冻结内置原型。建议所有使用该库处理外部输入的 SCIM 服务尽快升级，并限制 PATCH 端点的网络暴露范围，仅允许可信 IdP 访问。当前无证据表明该漏洞已被在野利用或已列入 KEV。

Cloud & Application Security

From Scanner to Stealer: Inside the trivy-action Supply Chain Compromise

Next-Gen Identity Security

CrowdStrike Named an Innovation and Growth Leader in the 2026 Frost Radar™: Cloud and Application Runtime Security

CrowdStrike Expands Identity Leadership with OpenID and IDPro

cloud architecture assessment

ransomware and multifaceted extortion defense

Google Cloud Next 2026Catch-up sessions on the keynotes and select sessions are now available on demand.Explore content on-demand

The Identity Problem Hiding in AI Agent Deployments

94% of Organizations Report Cloud Breaches: CrowdStrike State of CDR Survey

Falcon Cloud Security June 2026 Release: Updates for Azure and Google Cloud

Falcon Cloud Security July 2026 Release: Helping Security Teams Move Faster in the Cloud

Analysis of ChainDrop, an npm supply chain worm extracting GitHub Actions runner secrets and using Ethereum smart contracts for C2 routing. The post ChainDrop: Inside a Self-Propagating npm Worm appeared first on Unit 42.

Identity-based attacks drive 90% of incidents. Learn how modern attackers exploit identities and what SOC leaders can do to respond. The post Inside the Modern SOC: The Identity Front Door appeared first on Unit 42.

## Summary `IndexFile.from_tree`, `IndexFile.reset` (→ from_tree) and `IndexFile.merge_tree` append caller-influenced treeish strings positionally to `git read-tree` with no unsafe-option guard, no `allow_unsafe_options` parameter, and no `--` separator. `git read-tree --index-output=` writes the resulting index to an arbitrary path, and last-occurrence-wins lets an injected `--index-output` overr

该论文围绕 COVID-19 疫情期间远程通信工具（如视频会议、在线协作平台）的隐私态度与关切展开实证研究。研究背景是：疫情迫使全球数十亿人居家办公、学习和社交，远程通信工具的使用量急剧上升，而且这种模式在疫情后仍会延续。在这种前所未有的场景下，保障用户安全与尊重隐私至关重要，因此需要深入理解用户的行为、态度以及对远程通信各个层面的关切。作者通过 Prolific 平台招募了 220 名全球参与者，进行在线问卷研究。研究发现，隐私和安全是影响用户对会议工具和会议地点态度与舒适度的最常被提及的因素之一。开放性回答进一步揭示：大多数参与者在选择会议工具或是否开启麦克风/摄像头时缺乏自主权，这往往与其个人隐私和安全偏好相矛盾。例如，雇主或教育机构强制指定特定平台，或要求必须开启摄像头，导致用户无法按照自己的隐私偏好进行设置。基于这些发现，作者为雇主、教育机构和工具开发者提炼了一系列建议，旨在告知并赋能用户，使其在参与远程通信时能够做出保护隐私的决策。该研究的核心贡献在于系统地描绘了疫情期间远程通信隐私问题的用户视角，指出了用户自主性与机构要求之间的冲突，并提供了可操作的建议。

该论文研究加密货币网络在面对 BGP 劫持等物理层攻击时的安全性，提出了一个全新视角：网络相互依赖。作者指出，加密货币节点在自治系统（AS）中的分布存在严重偏向性，这种中心化分布使得攻击者可以通过劫持 AS 前缀来实施空间分区攻击，将目标节点从网络中隔离。以往对空间分区攻击的研究主要集中于比特币网络，表明通过 BGP 劫持破坏物理拓扑可使比特币网络瘫痪。然而，尽管 BGP 劫持威胁持续存在，比特币和其他加密货币并未频繁成为攻击目标，作者推测原因在于这些网络采用了屏蔽的覆盖层拓扑，从而限制了物理网络异常的暴露。本文扩展了测量范围，对比特币、以太坊和瑞波（Ripple）三种加密货币的节点托管模式进行了共性分析。测量结果显示，这三个网络均高度中心化，并主要共享相同的 AS。值得注意的是，三个网络中只有瑞波没有屏蔽其覆盖层拓扑，这使得攻击者可以利用瑞波节点来了解物理网络的异常状态。这些观测到的网络异常为同时针对三种加密货币发起实际攻击提供了可能策略。作者还调查了近期针对知名 AS 的 BGP 攻击事件，指出应用层防护措施的必要性。最后，论文提出了能够降低空间分区攻击风险的应对措施，尽管节点中心化和网络相互依赖的趋势仍在加剧。该研究的主要贡献在于揭示了跨加密货币网络的共同基础设施风险，并为构建更具弹性的加密货币网络提供了应用层安全建议。适合关注区块链安全、网络基础设施安全以及 BGP 攻击防御的研究人员和安全工程师阅读。

该论文聚焦于视障用户在在线安全与隐私方面面临的独特障碍。研究背景是：虽然安全与隐私工具（如验证码、多因素认证、密码管理器、隐私通知等）对普通用户已构成挑战，但视障用户因依赖屏幕阅读器、放大软件、语音控制等辅助技术，在使用这些防护机制时遭遇额外困难。研究采用用户研究或访谈方法，收集视障用户的真实体验与反馈，系统梳理阻碍其在线安全与隐私的障碍类别，例如不可访问的验证码、不兼容的认证流程、难以理解的隐私设置界面、以及社交工程攻击中的非视觉线索缺失等。论文提出的核心贡献是一个障碍分类框架，并据此提出改进建议，以推动安全与隐私工具的包容性设计。该研究属于人机交互与安全（HCISec）交叉领域，适合安全产品设计者、无障碍倡导者、以及关注数字包容的研究人员阅读。由于仅基于摘要，具体实验细节与结论尚不明确。

本文研究 Android 图案锁（Pattern Lock）的用户选择安全性，并提出一种基于黑名单（blocklist）的干预机制来提升用户选择图案的强度。研究背景是：Android 图案锁虽然便捷，但用户倾向于选择简单、可预测的图案（如字母形状、少量转折、跨点跳跃少等），导致图案容易被猜测或肩窥攻击。核心问题是：如何在不显著降低可用性的前提下，引导用户选择更复杂的图案。作者设计并实施了一项大规模用户研究，比较了三种条件：对照组（默认选择流程）、黑名单组（当用户选择的图案属于已知弱图案集合时，系统拒绝并要求重新选择）、以及提示组（仅显示警告但允许继续使用弱图案）。实验测量了用户最终选择的图案的复杂度（以熵、转折数、交叉点等指标衡量），并记录了用户的满意度、挫败感和完成时间。主要发现是：黑名单机制显著提高了图案的复杂度，减少了弱图案的使用，且对用户体验的负面影响相对有限；提示组虽然也有一定改善，但效果不如黑名单强制拒绝。此外，作者分析了被黑名单拒绝后的用户行为，发现用户倾向于在原有思路基础上微调图案，而非完全重选。论文的贡献在于提供了首个关于 Android 图案锁黑名单干预的受控实验证据，为 Android 平台或第三方安全组件设计更安全的图案选择策略提供了数据支持。适合关注移动设备认证安全性、人机交互与安全（HCISec）以及可用安全性的研究人员和产品安全工程师阅读。本文仅基于摘要，未提供完整实验细节和统计显著性数值。

本文提出了一种名为 QURA 的新型后门攻击方法，其核心攻击面是深度学习模型的量化（quantization）过程。模型量化通常被用于在资源受限环境（如嵌入式设备、移动端）中部署模型，以降低存储和计算开销。然而，作者指出这一过程本身可能引入此前被忽视的安全风险。与传统后门攻击依赖训练数据投毒或模型训练阶段操纵不同，QURA 仅通过操控量化过程中的舍入（rounding）操作即可在模型中嵌入恶意行为。具体而言，QURA 首先设计了一种权重选择策略，从预训练模型中识别出对后门目标影响最大、同时尽量不损害模型整体性能的关键权重；随后，通过优化这些权重的舍入方向，在多个层内逐步放大后门效应，同时保持模型的正常精度。实验结果表明，在大多数场景下 QURA 的攻击成功率接近 100%，且模型性能下降可忽略不计。此外，作者还展示了 QURA 能够自适应地绕过现有的后门防御机制，凸显了其潜在威胁。该研究揭示了广泛使用的模型量化流程中存在的关键安全漏洞，强调了在部署量化模型时需要更强的安全防护措施。代码已在 GitHub 上开源。本文适合模型部署工程师、AI安全研究员以及关注供应链安全的蓝队人员阅读，以理解量化环节可能引入的新型攻击面。

本文研究基于深度学习的密码猜测模型在针对人类选择密码的定向攻击中的有效性。随着服务提供商提高密码安全性要求（如强制复杂生成模式和采用计算开销大的哈希函数），攻击者可用的猜测次数大幅减少，因此必须利用受害者公开信息进行定向猜测。作者提出一种上下文感知的密码猜测模型（DCM_sp），该模型能够更好地模拟攻击者行为，核心创新在于利用受害者的电子邮件地址作为上下文信息来猜测其密码。实验证明，仅知道受害者的邮箱地址就足以显著提高密码猜测成功率，并深入分析了邮箱地址与密码之间的关联性。此外，该模型还能基于用户的密码生成行为对用户进行聚类，从而识别虚假账户和更容易受到上下文感知猜测攻击的群体。论文代码已公开。本文属于研究型工作，主要面向密码安全研究者、防御方以及服务提供商安全团队，揭示了公开信息对密码安全构成的潜在威胁，并为设计更安全的密码策略和用户教育提供依据。

该论文提出了一种针对量子机器学习的新型攻击方法，名为 QNBAD（Quantum Noise-induced Backdoor Attack），专门攻击采用零噪声外推（ZNE）作为误差缓解技术的量子神经网络。研究背景是：ZNE 是当前量子计算中广泛使用的误差缓解手段，通过在噪声放大条件下运行电路并外推零噪声结果来提升模型可靠性。然而，作者发现 ZNE 的降噪过程本身存在安全漏洞，攻击者可以刻意将恶意设计的后门模式嵌入到量子噪声中，使模型在含噪环境下对正常输入表现正常，而一旦在推理阶段输入携带特定触发特征的数据，模型便会误分类为攻击者指定的目标标签，同时不影响 ZNE 对整体输出的修正效果。该攻击利用了 ZNE 对噪声模型的线性外推假设，通过调整噪声通道参数来隐藏后门触发条件。实验表明，QNBAD 在多个量子数据集和电路结构上均能保持较高的攻击成功率，同时能够规避现有的噪声感知防御机制。本研究的核心贡献在于首次揭示了量子误差缓解技术与模型安全性之间的冲突，提醒量子机器学习社区在设计防护策略时需将攻防对抗纳入考量。适合量子安全研究者、量子机器学习工程师以及关注新兴计算范式安全威胁的蓝队人员阅读。

该研究来自人机交互与隐私领域，探讨人们对“完全自动化决策”（Solely Automated Decision-Making, SADM）的理解与感受。SADM 指在没有人类实质性参与的情况下，由算法或系统独立做出对个人产生法律或类似重大影响的决策，例如信贷审批、招聘筛选、福利发放等。研究者通过质性方法（如访谈或调查）收集了普通公众对 SADM 的看法，重点关注人们如何感知、理解以及如何意识到自己正在被自动化系统决策，尤其当系统并未明确告知用户时。论文提出“How I Know For Sure”这一核心命题，揭示用户往往通过间接线索（如决策结果的突兀性、缺乏解释、无法申诉等）而非系统明示，来推断自己遭遇了自动化决策。研究还结合欧盟 GDPR 第 22 条等法律框架，分析现行法规对 SADM 的规制与实际用户认知之间的差距。主要贡献包括：系统化呈现了公众对 SADM 的认知模式；指出了现有通知与解释机制在实践中的不足；为设计更透明、可理解的自动化决策系统提供了实证依据。该论文适合关注算法公平性、可解释 AI、隐私法律合规的产品设计师、政策制定者及安全合规从业者阅读，以理解自动化决策在真实用户中的感知风险。

该论文研究了网站管理员如何制定和维护密码策略，以及影响这些决策的因素。尽管学术界和业界已经围绕用户密码行为提出了大量安全性与可用性建议，但最终落实这些建议的主体是网站管理员，而针对这一人群的研究却十分有限。作者通过对11名美国网站管理员进行在线问卷和半结构化深度访谈，探讨了三个核心问题：管理员如何确定所使用的密码策略、哪些考虑因素影响策略的演进、以及在管理策略时遇到哪些挑战。定性分析显示，少数关键因素主导了大多数密码策略决策，例如安全与用户体验的权衡、合规要求、技术平台限制、以及管理员自身的认知和资源约束。研究还识别出阻碍管理员采用更符合现代指南的策略的屏障，包括缺乏明确指导、更新现有系统的成本、以及用户反馈压力等。基于这些发现，作者为未来研究和社区行动提出了方向，例如开发更贴合管理员实际工作流程的决策支持工具、推动平台默认安全设置、以及加强安全意识培训。该工作填补了密码研究中对管理员视角的空白，为在规模化层面改进在线认证实践提供了实证基础。适合密码学与可用性安全研究者、网站运维人员以及安全政策制定者阅读。

本次输入提供的威胁情报信息极为有限。标题“京网文〔2020〕6051-1195号”实际为ICP备案号，并非有效的安全报告标题；源URL指向360.cn的许可页面，而非具体报告内容。来源名称标注为“360CERT安全报告”，标签包括report、360、malware、apt，提示这可能是360CERT发布的一份与恶意软件或APT活动相关的安全报告。但输入中未包含任何正文摘要、CVE编号、威胁行为者、恶意软件家族、受影响行业或地区、ATT&CK技术或IOC信息。因此，无法确认该报告的具体内容、攻击活动细节或技术分析。安全团队如需获取有价值的威胁情报，应直接访问360CERT官方渠道查阅原始报告。本摘要仅基于有限元数据生成，不构成对任何具体攻击活动的确认或推断。

### Summary During `IN_PLACE` sanitization, a hook that removes an element can leave that element's detached descendants executable. A descendant image can retain its attacker-provided `onload` handler and fire after `sanitize()` returns, even though the returned root is clean and the image remains disconnected from the document. ### Details In DOMPurify 3.4.12, `_sanitizeElements()` in `src/pu

Craft CMS passkey login accepts WebAuthn requestOptions from the unauthenticated login request body and does not persist the updated credential counter returned by the WebAuthn assertion validator. A captured passkey login request body can therefore be replayed because the old challenge is accepted again, and the stored credential counter remains stale. Craft CMS 5.10.3 and current `5.x` HEAD acc

无人机开源飞控 PX4-Autopilot堆栈溢出漏洞 CVE-2025-15150

MongoDB内存泄漏 CVE-2025-14847(MongoBleed)

1Panel 代理证书验证绕过导致任意命令执行漏洞(CVE-2025-54424)

ModelContext Inspector 未授权访问漏洞(CVE-2025-49596)

llamaindex SQL 注入漏洞(CVE-2025-1750)

Screen 本地权限提升漏洞(CVE-2025-23395)

Zabbix认证后SQL注入漏洞(CVE-2024-42327)

ProjectSend认证绕过漏洞(CVE-2024-11680)

PyTorch库RPC框架反序列化RCE漏洞(CVE-2024-48063)

Grafana认证后DuckDB-SQL注入漏洞(CVE-2024-9264)

SPIP BigUp Unauthenticated RCE(CVE-2024-8517)

Rejetto HFS 远程命令执行漏洞(CVE-2024-39943)

Apache HugeGraph-Server Command Execution In Gremlin（CVE-2024-27348）

Zabbix 后台延时注入(CVE-2024-22120)

CrushFTP 认证绕过漏洞（CVE-2024-4040）

Alert for CVE-2026-21992

Alert for CVE-2025-61884

Alert for CVE-2025-61882

Alert for CVE-2024-21287

Alert for CVE-2022-21500

Alert for CVE-2021-44228

Linux 内核提权 CVE-2026-31431(copy-fail)

Alert for CVE-2026-35273

【安全通告】Linux Kernel Open vSwitch "OVSwrap" 本地权限提升漏洞风险通告（CVE-2026-64531）

【安全通告】Linux Kernel SCTP "SCTPhantom" 本地权限提升漏洞风险通告（CVE-2026-64564）

The Stable channel has been updated to 151.0.7922.108/.109 for Windows and Mac and 151.0.7922.108 for Linux, which will roll out over the coming days/weeks. A full list of changes in this build is available in the Log Security Fixes and RewardsNote: Access to bug details and links may be kept restricted until a majority of users are updated with a fix. We will also retain restrictions if the bug e

Apache Thrift: C++ TSSLSocket matchName() RFC 6125 Wildcard Bypass

Apache Thrift, Apache Thrift, Apache Thrift, Apache Thrift, Apache Thrift, Apache Thrift: TZlibTransport Decompression Size Limit

Apache Thrift, Apache Thrift, Apache Thrift, Apache Thrift: TCompactProtocol varint byte-count limit

Apache Thrift, Apache Thrift, Apache Thrift, Apache Thrift, Apache Thrift, Apache Thrift: integer overflow in TProtocol::checkReadBytesAvailable()

Apache Thrift: Unbounded Zlib Decompression in Python THeaderTransport

Apache Thrift: C++ heap out-of-bounds read in THeaderTransport::readHeaderFormat()

Apache Thrift: Python TSSLSocket Hostname Matcher Import

Apache Thrift: C++ THeaderTransport::readString() info-header length bounds bypass

No Title

net: openvswitch: reject oversized nested action attrs

fs/ntfs3: validate lcns_follow in log_replay conversion

staging: rtl8723bs: fix OOB reads in is_ap_in_tkip() IE loop

No Title

No Title

No Title

No Title

No Title

Heap pointer corruption via signed/unsigned mismatch in LARGE_TUPLE_EXT decoding in erts external term format decoder

TLS/DTLS denial of service via unbounded recursion on cross-signed peer certificate chain

No Title

epmd permanent DoS via EMFILE on accept(2) in erts

TLS 1.2 and DTLS client accepts unoffered anonymous cipher suite, bypassing server authentication

No Title

No Title

Bluetooth: L2CAP: Fix use-after-free in l2cap_sock_new_connection_cb()

perf/core: Detach event groups during remove_on_exec

XML injection vulnerability in QDom comment, CDATA and processing-instruction serialization

Apache Thrift: c_glib heap out-of-bounds read in transport leftover-bytes path

Apache Thrift: c_glib TLS Client Missing Hostname Verification

Bluetooth: bpa10x: avoid OOB read of revision string in bpa10x_setup()

crypto: asymmetric_keys - fix OOB read in pefile_digest_pe_contents

drm/edid: fix OOB read in drm_parse_tiled_block()

net: usb: net1080: validate packet_len before pad-byte access in rx_fixup

本文针对德国智能计量基础设施（SMI）中可控本地系统（CLS）通道的控制信号传输，系统分析了延迟攻击的可行性。研究结合理论分析与实验验证，在基于智能电表网关（SMGW）通用标准保护文件（PP）的威胁模型下，评估了单点及多 CLS 通道同时遭受攻击时对电网的潜在影响。核心研究发现：位于广域网（WAN）的路径上攻击者，在掌握足够的上下文信息时，能够有选择地延迟特定控制信号；在某些已部署协议配置下，理论最大延迟可达约 48 小时。将攻击规模从单个 CLS 设备扩展到数十万台 CLS 设备后，可导致电网频率显著偏移，进而可能触发甩负荷。攻击可扩展性受限于各目标实现和配置的上下文知识，但随着标准化发展，这种知识可能更易获取。论文还提出了多层缓解策略：一是 SMGW 配置限制，缩小允许的传输窗口；二是实现级修改，修复时间处理缺陷；三是协议扩展，特别是在 TLS 1.3 中增加应用数据时间限制，以保证端到端的时间完整性。这些 TLS 扩展在维持向后兼容性的同时，提供了可落地的防御方案。文章特别指出，FNN Steuerbox 及使用 CLS.EEDI 的应用中的时间限制因实现而异，需厂商修复；而 TLS 1.3 的时间限制则需协议级扩展。该研究为德国智能电网控制通道的时间同步安全提供了重要分析依据，对于保障关键基础设施稳定运行具有参考价值。

该论文针对数字服务中位置声称（如人员、设备或资产在特定时间位于特定地点）难以验证和易被伪造的问题，提出并实现了一种基于物理见证区域的去中心化位置证明（Proof-of-Location, PoL）系统。作者在先前理论工作的基础上，将抽象协议从仿真推进到低成本硬件的物理原型。系统构建了一个“见证区域”，由固定的近距离设备（见证者）测量证明者的存在，通过本地网格网络交换声称，并将其记录在防篡改账本中。为适配物理约束，原型实现了见证者发起的测距（witness-initiated ranging）、跨见证者一致性检查（cross-witness consistency checks）以及针对重放攻击的新鲜度绑定（freshness binding）。在受控室内实验中，系统能够生成准确、低延迟的证明对象，同时检测模拟的重放攻击和恶意测距攻击。该工作为下一代数字信任基础设施提供了可复用的实验基线，并揭示了去中心化位置证据在实际无线电、网络和时序条件下仍需解决的标定（calibration）、验证者独立性（verifier-independence）、无线电完整性（radio-integrity）和扩展性（scaling）需求。适合对去中心化信任、位置验证、无线安全及物理层安全感兴趣的研究人员和工程师阅读。

本文提出一种从形式化验证工具 Tamarin 到 ProVerif 的可信翻译方法，旨在解决二者在底层形式化体系和验证技术上的显著差异，从而支持系统性的对比分析。Tamarin 基于多集重写规则，提供完备且可靠的验证；而 ProVerif 基于应用 π 演算的扩展，验证速度较快但结果可能不完整。该翻译方法引入了公式重写、多集重写语义编码、同时事件处理等新技术，支持 Tamarin 的广泛子集（包括多集重写规则、引理和限制），并精确刻画了无法忠实翻译的情况。作者提供了形式化证明：在忠实翻译片段内，可靠性保证 ProVerif 验证的任何属性在原始 Tamarin 模型中也成立；完备性保证不涉及攻击者知识的存在轨迹属性得以保留。对于尽力而为的编码（尤其是 XOR），翻译结果单独报告且不包含在上述保证之内。实验部分使用 121 个 Tamarin 模型进行评估：翻译覆盖了 566 个引理任务中的 562 个；在非 XOR 任务中，两个工具均给出确定结果的情况下，246/247 的结论一致，剩余一个明确标注为使用不完整模型；在 362 个 Tamarin 返回布尔结果且 ProVerif 完成逻辑结果的任务中，ProVerif 在 334 例（92.3%）中更快，中位运行时间比和峰值内存比分别为 6.74 倍和 6.24 倍。该工作为协议验证社区提供了连接两种主流工具的基础设施，使研究者能够利用 ProVerif 的高效性来分析与验证 Tamarin 模型，同时保持对结果可信度的严格边界。适合密码协议设计者、形式化验证研究人员以及需要交叉验证协议安全性的安全工程师阅读。

该论文介绍了一个名为 HOPSCOTCH 的 Lean 4 形式化验证框架，用于机械化、计算可靠的基于博弈的密码学证明。研究背景是：传统密码学证明通常依赖游戏跳跃（game-hopping）范式，但手工证明容易出错，且缺乏机器可验证的严密性。HOPSCOTCH 的核心方法包括：将安全定义表示为有状态概率预言机之间的不可区分性，使用浅嵌入方式将预言机和归约定义为普通的 Lean 定义，从而与 Mathlib 等现有数学理论无缝集成；游戏跳跃证明被表示为显式的形式化对象，其构造子对应标准跳跃步骤，便于构造、自动化和检查。论文证明了一个通用的计算可靠性定理，该定理通过构建针对假设的归约来解释证明对象，并给出区分器优势的具体界限。预言机之间的观测等价性通过状态抽象方法建立，支持添加/遗忘状态、将急切采样替换为惰性采样等变换。作者用多个案例验证了框架：加密后 MAC 的 IND-CCA 安全性、基于 DDH 的 ElGamal 加密安全性、从一次性保密到公钥 IND-CPA 的蕴含关系，以及 GGM 伪随机函数构造。据作者所述，最后一个案例是首次对非恒定深度的 GGM 进行机械化证明。该框架适合密码学研究者和形式化验证专家，用于确保证明正确性，但也可能为安全分析提供严谨的推理工具。

这篇论文研究本地差分隐私（LDP）下的数值数据收集问题。现有的 LDP 机制通常需要预先定义数据域（即数值的取值范围），但在实际场景中，数据域往往未知。若数据域设置过窄，超出范围的值会被截断，导致信息丢失；若设置过宽，则会在扰动过程中加入过多噪声，降低数据质量。为此，作者提出了一种无需先验知识的自适应 LDP 框架。具体而言，每个用户发送两个信息：扰动后的数值，以及一个表示原始值是否被当前域截断的私有化信号。通过聚合这些信号，作者提出的自适应截断域边界方法（Adaptive Bounding of Clipping regions, ABC）能够迭代调整数据域，使其适应当前的数据分布。理论分析证明了估计的数据域会收敛到合适的范围。在多种数据集和不同 LDP 机制下的实验结果表明，该框架显著提升了数值数据收集的质量；同时，估计范围在实验中成功收敛，且通过全面的消融研究验证了该方法对超参数具有鲁棒性。整体来看，该研究的核心贡献在于提出了一种动态估计数据域的方法，解决了 LDP 中因先验缺失导致的数据质量下降问题。适合对差分隐私、隐私保护数据收集和自适应机制设计感兴趣的研究人员阅读。

本论文针对科研与教育网络（Research and Education Networks, RENs）面临的安全悖论展开研究。这类网络承载着科学发现的关键基础设施，但其正常流量模式中大量突发的“大象流”在统计上与传统监控系统所认为的 DDoS 等容量型攻击难以区分，导致异常检测系统产生极高的误报率，使得安全运营人员难以发现真实威胁。为了解决这一问题，作者提出并评估了一个高保真流量预测框架，用于为 RENs 建立动态安全基线。研究使用了独家获取的 Internet2 数据集，覆盖 57 天、10 台骨干路由器，共计 137 亿个数据包，并在此基础上首次开展了针对该领域异常感知预测模型的大规模基准测试。作者系统评估了从 SARIMA 到最先进长序列架构（如 TiDE、PatchTST）的六类模型家族，共配置了 960 种实验条件。实验结果表明，以 TiDE 为代表的先进架构相比传统方法可将基线预测误差降低 30-42%（p < 0.001），显著提升对合法科学突发流量与潜在异常流量的区分能力。此外，论文还提出了一种新颖的异常集成策略，在存在噪声的情况下可将模型鲁棒性提高 3.3%。该工作提供了第一个经统计验证的、用于区分科学工作流与网络攻击的框架，有助于推动更自主、更具韧性的网络安全运营。这项研究的主要贡献包括：首次在真实骨干网大数据集上系统评估多种预测模型，引入动态安全基线概念，并提供可复现的基准实验框架。

本文首次系统性研究了 macOS 应用生态系统中数据收集与披露机制的隐私问题。背景是科技公司过度收集用户数据，而 Web、移动和 IoT 生态的隐私风险已得到大量研究，桌面环境却长期被忽视。作者指出，桌面应用仍被广泛使用，是用户隐私的关键但未被充分研究的维度。研究采用应用开发视角，深入分析了 macOS 中多个用于规范和披露数据访问的机制（如权限提示、隐私标签等）及其交互，发现这些机制存在割裂和数据抽象不一致的问题。在此基础上，作者开发了 NutriScan 分析框架，结合静态分析（如 API 调用审计）与动态分析（如运行时网络流量监测），为 macOS 应用的数据实践构建了统一视图。实验对 1000 款 macOS 应用进行了动态分析，结果显示 85% 的应用在访问用户数据 API 时未进行相应披露；49.7% 的应用向广告实体和托管提供商外泄数据，其中 12.5% 的数据外泄完全没有对应披露。此外，研究首次揭示桌面应用被在线跟踪者利用来丰富用户画像和设备指纹，从而扩展了在线跟踪生态的真实影响范围。作者还发现 macOS 生态由相互割裂的机制组成，导致开发者合规复杂，同时也为未披露的隐私侵犯行为提供了便利。最后，论文提出了一系列缓解建议，包括简化开发者的数据披露流程、改进 Apple 的应用审查机制等。该研究揭示了桌面平台数据披露实践的严重缺失，对安全从业者和隐私保护研究具有重要意义。

本文研究检索增强生成（RAG）中后检索冲突消解机制面对知识投毒时的鲁棒性问题。在RAG系统中，检索器返回的多个文档可能包含噪声或相互矛盾的信息，后检索冲突消解模块负责仲裁这些冲突，以生成一致答案。然而，现有黑盒投毒攻击大多采用与消解器所认定的‘既定事实’正面矛盾的断言方式，而这种矛盾恰恰是消解器所依赖的检测信号，因此这类攻击容易被识别。作者提出一种严格黑盒投毒方法PURPOSE，重新框架注入方式：不再作为反命题，而是作为最小化冲突的更新。PURPOSE首先提取与查询相关的事实，近似模拟消解器可能参考的知识，然后将一个关键事件（pivot event）基于这些事实，使注入内容与消解器可能验证的信息保持一致，同时引导生成器朝向目标答案。在三个QA基准、五种生成器和三种冲突消解方法上的实验表明，PURPOSE在45种设置中的35种达到最高攻击成功率（ASR），相比最强的先前攻击平均ASR提升9.7个百分点。研究证明非矛盾式注入是增强投毒攻击的一种实用模式，并揭示RAG现有冲突消解机制在知识投毒面前存在脆弱性。本文适合关注大模型安全、检索增强生成可靠性和对抗性机器学习的研究人员阅读。

现有暗网流量分类研究主要聚焦于预测准确性，但对加密服务为何能被区分的内在行为机制缺乏深入分析。本文提出一种行为信息泄露框架，将流级流量分解为控制、结构和节奏三类描述符，并在 Tor、I2P、FreeNet 和 ZeroNet 四种匿名网络上对该框架进行验证。该方法结合归一化互信息分析、基于随机森林的预测验证、结构-节奏交互分析以及跨网络服务变异性评估，并采用泄露安全的分层交叉验证来确保结果可靠性。实验结果显示，行为泄露在不同匿名网络之间存在显著差异：Tor 的服务可分离性最高，Macro-F1 达到 0.7165，累计归一化泄露值为 3.9461；而 FreeNet 的综合泄露值最低，仅为 0.8744。数据包大小组织、方向交换不平衡、包节奏以及静默-突发行为被识别为主要泄露机制。同时，结构-节奏组合表示在单个网络内部总能取得最强性能，但留一网络交叉验证表明不同匿名架构之间的可迁移性有限。此外，文章提出了服务变异指数和泄露变异指数，发现视频服务具有一致的网络特异性可分离性，而聊天和电子邮件在不同匿名网络对上的变异性较大。该研究为理解匿名网络流量隐私泄露提供了系统性的度量框架，并为设计更稳健的匿名系统和流量分析技术提供了参考。

本文提出 NEBULA，一个针对 OAuth 2.0 刷新令牌（refresh token）的、与编程语言无关的精确规格说明，旨在解决 RFC 9700（OAuth 2.0 安全最佳当前实践）中只规定策略而未规定机制的问题。刷新令牌是现代认证系统中极其敏感的凭证：它们长期有效、采用 Bearer 风格，且足以在数天或数周内持续铸造访问令牌。RFC 9700 要求公共客户端签发的刷新令牌必须在每次使用时轮换并具备重放（重用）检测，或采用发送方约束，但该 BCP 并未规定线上格式、存储模式、验证步骤顺序、并发契约，也未定义丢失响应重试或密钥轮换等边界情况的语义。因此，不同实现恰恰会在决定安全结果的关键边界情况上产生分歧。NEBULA 提供了 RFC 9700 刷新令牌模型的精确、语言无关规格，并附带十个符合性参考实现（TypeScript、Python、Go、Rust、Java、PHP、C#、Ruby、Elixir、Dart）。NEBULA 令牌是不透明的——包含 128 位公共选择器和 256 位秘密验证器，两者均由 CSPRNG 输出，不携带声明也不含签名，因此令牌有效性是服务器端状态的属性，而非密码学验证的属性。其一致性方法将行为套件作为数据而非散文发布：38 个场景存储在一个机器可读文件中，每个实现通过一个轻量级语言运行器执行，从而在结构上排除因转录导致的行为漂移。论文描述了该规格，包括一个比较并交换（compare-and-set）的轮换契约，它关闭了并发刷新下重放检测的一个可复现绕过；分析了其安全属性，包括后量子姿态；并报告了跨语言一致性作为多实现安全规格的方法。规格、实现和一致性工件均在 Apache License 2.0 下开源。本文适合身份认证协议设计者、OAuth/OIDC 实现者、安全工程师以及关注安全关键系统形式化与多语言一致性保障的研究人员阅读。