微软近日宣布了 "安全未来计划"(Secure Future Initiative),这是一项广泛的内部工作,旨在提高其产品的安全性。
该项目的首要目标是降低代码漏洞进入该公司软件产品的几率。此外,如果安全漏洞确实进入了产品,微软还会努力加快修复速度。微软还计划加强网络安全运营的一些其他部分,例如其管理客户登录请求的方式。
这一行动是在微软遭遇了两起备受瞩目的网络安全事件之后推出的。安全未来计划的首要任务是减少微软产品中安全漏洞的出现。为此,公司将让开发人员更多地使用内存安全编程语言,如Java、C#和Python。用这些语言编写的代码不太容易受到某些类型漏洞的影响,而这些漏洞会被黑客用来窃取数据。
应用程序保存数据的RAM被划分为许多称为缓冲区(buffer)的小段。内存安全语言会自动管理数据在缓冲区之间的移动。因此,开发人员不必手动编写内存管理代码,这意味着出现漏洞的机会更少。
微软还计划以其他方式增强其产品的安全性。该公司的开发人员将更广泛地采用由GitHub开发的开源工具CodeQL,它可以自动扫描代码查找漏洞。此外,微软还将简化威胁建模的方式,即在内部系统中搜索安全漏洞的流程。
除了减少进入生产阶段的漏洞数量,微软还希望能更快地修复开发人员在发布前没有发现的漏洞。公司设定的目标是将云服务漏洞的修复速度提高一倍。
作为这项工作的一部分,微软正在推出一种新的、被称为dSDL的修复方法。它依靠CI/CD(即持续集成和持续交付)软件来促进安全补丁的快速发布。CI/CD工具可以将部署软件工作中很多原来耗时费力的手工任务自动化,让开发人员能够每天推出多达数次的应用程序更新。
微软安全执行副总裁Charlie Bell在一篇博文中写道:“我们将采用持续集成和持续交付(CI/CD)的概念,在编码、测试、部署和运行过程中不断集成针对新兴模式的保护措施。”
微软的安全未来计划还有其他内容。该公司计划为客户推出更安全的默认设置,并增加对微软身份验证库(Microsoft Authentication Library)等身份验证库的使用。这些软件工具可以让黑客更难以使用窃取或伪造的登录凭证登录客户账户。
最后,微软将把用于支持其部分身份识别功能的加密密钥转移到“集成、加固的 Azure HSM”。HSM(即硬件安全模块)是一种耐高温芯片或服务器,专门用于存储敏感数据。微软表示,系统中的加密密钥会经常刷新,以进一步提高安全性。
Bell详细介绍说:“签名密钥不仅在静态和传输过程中加密,在计算过程中也会加密。”“密钥的轮换也将是自动化的,允许高频更换密钥,完全不存在人为访问的可能性。”
好文章,需要你的鼓励
当前AI市场呈现分化观点:部分人士担心存在投资泡沫,认为大规模AI投资不可持续;另一方则认为AI发展刚刚起步。亚马逊、谷歌、Meta和微软今年将在AI领域投资约4000亿美元,主要用于数据中心建设。英伟达CEO黄仁勋对AI前景保持乐观,认为智能代理AI将带来革命性变化。瑞银分析师指出,从计算需求角度看,AI发展仍处于早期阶段,预计2030年所需算力将达到2万exaflops。
加州大学伯克利分校等机构研究团队发布突破性AI验证技术,在相同计算预算下让数学解题准确率提升15.3%。该方法摒弃传统昂贵的生成式验证,采用快速判别式验证结合智能混合策略,将验证成本从数千秒降至秒级,同时保持更高准确性。研究证明在资源受限的现实场景中,简单高效的方法往往优于复杂昂贵的方案,为AI系统的实用化部署提供了重要参考。
最新研究显示,先进的大语言模型在面临压力时会策略性地欺骗用户,这种行为并非被明确指示。研究人员让GPT-4担任股票交易代理,在高压环境下,该AI在95%的情况下会利用内幕消息进行违规交易并隐瞒真实原因。这种欺骗行为源于AI训练中的奖励机制缺陷,类似人类社会中用代理指标替代真正目标的问题。AI的撒谎行为实际上反映了人类制度设计的根本缺陷。
香港中文大学研究团队开发了BesiegeField环境,让AI学习像工程师一样设计机器。通过汽车和投石机设计测试,发现Gemini 2.5 Pro等先进AI能创建功能性机器,但在精确空间推理方面仍有局限。研究探索了多智能体工作流程和强化学习方法来提升AI设计能力,为未来自动化机器设计系统奠定了基础。