网络安全

「AI与安全」线下闭门沙龙第四期北京站来啦

「AI与安全」线下闭门沙龙第四期北京站来啦

11月,北京重逢!文末可报名。 写在前面今年3月底,我们在北京组织举办了第一场围绕 AI 与企业安全的线下沙龙。那时,AI才刚开始逐渐进入大家的实际工作和生活中。当时我们讨论更多的,是它可能带来的变化,以及企业如何理解和面对这些变化。半年多

· 2026-10-21 28 阅读
美CISA、NSA、NIST联合发布 “失控 AI 智能体” 处置清单:中国互联网网络安全威胁治理联盟(CCTGA)启动“银狐”木马专项打击行动| 牛览

美CISA、NSA、NIST联合发布 “失控 AI 智能体” 处置清单:中国互联网网络安全威胁治理联盟(CCTGA)启动“银狐”木马专项打击行动| 牛览

牛览网络安全全球资讯,洞察行业发展前沿态势! 点击蓝字 关注我们新闻速览CNVD漏洞周报2026年第41期美 CISA、NSA、NIST 联合发布 “失控 AI 智能体” 处置清单:五阶段十项实践如何落地中国互联网网络安全威胁治理联盟(CC

· 2026-10-21 212 阅读
我对 AI 说:“要有光”

我对 AI 说:“要有光”

刚开始接触生物学的时候,我经常想象原始海洋里的有机分子构成核糖核酸,然后诞生了最早的单细胞生物,单细胞生物又聚在一起变成黏糊糊的原始多细胞生物,最终一步一步演化出各种生灵。我也经常想,如果能在实验室里加速重现这一过程,完整观察整个生物演化史

· 2026-10-21 23 阅读
国家数据集团成立:谁的机会,谁的考题?

国家数据集团成立:谁的机会,谁的考题?

三个产业问题:谁更有机会?什么产品会被需要?企业要躲开哪些坑? ”本文是安全419《网安行业深度观察系列》的一篇。我们不做宏观政策的复读机,只回答三个产业问题:谁更有机会?什么产品会被需要?企业要躲开哪些坑?2026年10月20日,国家数据

· 2026-10-21 39 阅读
官网都靠不住了!多个应用软件遭投毒

官网都靠不住了!多个应用软件遭投毒

供应链投毒大混战 近日,微步情报局、微步MDR团队基于OneSEC,捕获了一起同时针对多个应用网站的大规模供应链投毒事件。黑产团伙至少投毒了7个网站,包含多个软件官网,已有多家企业从这些官网下载、感染了远控木马。本次攻击极难防范,特点如下。

· 2026-10-21 35 阅读
动作级实时护栏与中断机制

动作级实时护栏与中断机制

目录1. 引言与问题定义2. 形式化模型3. 攻击与威胁模型4. 防御机制设计5. 形式化安全分析6. 系统架构与Python实现7. 评估框架与实验设计8. 前沿挑战与开放问题参考文献1. 引言与问题定义1.1 背景与动机大语言模型(LL

· 2026-10-20 40 阅读
G.O.S.S.I.P 阅读推荐 2026-10-20 PV-BENCH

G.O.S.S.I.P 阅读推荐 2026-10-20 PV-BENCH

让我们来教AI怎么做程序验证吧! AI 正在让程序编写和修改变得更加高效,但生成的代码是否真正满足需求,仍然需要可靠的检查。测试能够发现错误,形式化验证则进一步通过精确的规约和数学证明,论证程序对所有满足前置条件的输入都能满足要求。让 AI

· 2026-10-20 39 阅读