编者按美国国防高级研究计划局（DARPA）6月17日宣布，将推出“弹性软件系统加速器”项目，并将与美军各军种合作开展弹性软件系统顶点演示活动，旨在推动基于“形式化方法”的软件开发实践的广泛采用，提高军...

2025年6月17日，美国国防高级研究计划局（DARPA）启动"迷你顶点计划"，旨在通过数学驱动的形式化方法重构国防工业基础（DIB）网络防御体系，确保"美国不输掉下一场重大冲突"。面对国防系统依赖3...

综合CyberScoop和Sam.gov的消息，美国DARPA近期披露的Red-C计划旨在通过固件级别的创新，构建一种能够在遭受网络攻击时自我检测、修复和恢复的基于总线的计算机系统。该计划的核心是通过...

未来一年，七支团队将完善人工智能系统，旨在强化关键基础设施所依赖的开源软件。获胜者将在明年的 DEF CON 黑客大会上宣布。这些团队都是人工智能网络挑战赛（AIxCC）上一轮得分最高的团队，每人获得...

关注我们带你读懂网络安全拜登政府期望寻找下一代AI技术，可以快速识别和修复关键软件的漏洞，并能应用在联邦政府和关键基础设施上。前情回顾·美国新技术监管全球最大规模AI黑客大赛将开启：白宫支持 针对大模...

数据就是新石油。——英国数据商人克莱夫·休姆拜（Clive Humby）数据不是新石油，而是新核能。——英国技术思想者詹姆斯·布莱德尔（James Bridle）作为冷战时代相互确保毁灭的核威慑战略对...

近年来，作为支撑网络安全战略建设的重要基础设施，网络靶场正在成为世界各国抢先布局的数字化创新应用新高地。而在我国，新型网络靶场技术应用也开始快速落地，大规模、高仿真、数字化的网络靶场平台，已经成为网络...