【AICon】探索RAG 技术在实际应用中遇到的挑战及应对策略!AICon精华内容已上线73%>>> 了解详情
写点什么

微软正开发类似 Rust 的全新安全编程语言

  • 2019-12-05
  • 本文字数:1408 字

    阅读完需:约 5 分钟

微软正开发类似Rust的全新安全编程语言


为提高 Windows 10 的安全性,微软研究人员 Matthew Parkinson 在本周的一次演讲中披露:微软正开发类似于 Rust 的新的安全编程语言。这个项目,被微软称为“Verona"。


Verona 项目主要目的是通过使用Rust开发 Windows 底层组件,从而让 Windows 10 变得更安全。


据微软透露,它们通过集成 Rust 和 C/C++来移除 Windows 中不安全的代码,这种尝试达到了目标。

内存安全问题

众所周知,在每个月的第二个礼拜,微软都会发布修复 Windows 漏洞的安全补丁。而微软最近透露,近年来发现的大部分 bug 都与内存安全有关,所以它们想看看是否可以使用 Rust 来解决这些问题。


在编程语言中,“内存安全”是指保护内存空间不受恶意程序利用。微软的 Verona 项目旨在防止这类攻击发生。


虽然 Verona 项目最初可能只是一种尝试,但微软已经取得很大的进展。


Matthew Parkinson 是微软主攻托管编程语言内存管理的研究员。在最近的一次演讲中,他分享了微软在解决内存问题方面做了哪些工作。


本次演讲中,Parkinson 提到了 IE 和 Edge 的MemGC(Memory Garbage Collector,内存垃圾回收器)。


MemGC(Memory Garbage Collector):内存垃圾收集器,是 Edge 的内存管理机制,由 IE11 的 Memory Protector 改进而来,首次在 EdgeHTML 和 MSHTML 中使用。Edge 使用 MemGC 来管理 DOM 和 DOM 支持的对象,其采用标记清除(Mark-Sweep)算法对垃圾进行回收,能够阻止部分 UAF 漏洞。


MemGC 解决了与标准浏览器 DOM 相关的漏洞,给谷歌 Zero 项目的黑客们留下了深刻的印象。


Parkinson 说:“我们为 DOM 开发了一个垃圾回收器。在 IE 中,内存的‘释放后使用’(use-after-free)是人们利用 DOM 引擎内存管理机制的常见方式。然后,微软开发了 MemGC,作为 DOM 的守护垃圾回收器。它几乎专治这种类型的漏洞,基本上把这类攻击杜绝掉了。”


而微软要解决的另一类 bug 与未初始化的内存有关。


Parkinson 深入探讨了一个可能会引起消费者共鸣的问题:“如何才能打造出在未来最安全的产品?我们仍然要处理遗留问题,不能把现有的东西全部都扔掉,但可以在一个更安全的系统中重建一些东西。”


Parkinson 说微软正在使用 Rust 重写一些组件,他的演讲主要集中在语言的设计和隔离能力上。


“如果我们想要隔离能力,把遗留代码隔离起来,不让攻击者的攻击代码冒头,那么应该怎样设计这门语言?”

Verona 项目

于是,Verona 项目诞生。微软宣称这门语言面向的是“安全的基础设施编程”,Verona 项目很“快”会开源。


据悉,这个项目得到了 C#项目经理 Mads Torgensen 和微软剑桥研究院工程师 Juliana Franco 的支持。


微软面临的挑战是要覆盖“应用程序图谱”,从用于桌面应用程序的 C#,到用于 Exchange、ASP.NET、Azure 和设备驱动程序的 C 和 C#,再到深度的 Windows 组件,如内存管理、启动加载器和 Windows 内核硬件抽象层(HAL)。


Parkinson 说:“要做好内存管理很难。如果存在任意的并发冲突,要保证临时内存安全就非常困难”。


“Rust 的所有者模型基于单个对象,而 Verona 基于一组对象。在 C++里,程序员获取指针,指针是基于对象的,并且基本上是一个对象一个指针。但我认为的数据和语法不应该是这样的,我所认为的数据结构应该是对象的集合,集合有它自己的生命周期”。


“获得一组对象的所有权,非常接近使用者的抽象层级,这样就可以在安全区里构建数据结构。”他说。


英文原文:


Microsoft: We’re creating a new Rust-like programming language for secure coding


2019-12-05 10:597998

评论 4 条评论

发布
用户头像
rust-like 叫做基于 rust 吗???
2019-12-05 14:47
回复
翻译疏忽,已修改
2019-12-05 16:28
回复
用户头像
实打实
2019-12-05 13:35
回复
用户头像
是的
2019-12-05 13:35
回复
没有更多了
发现更多内容

简单实用的鼠标右键助手专业版MouseBoost Pro mac版

Rose

详解canal同步MySQL增量数据到ES

百度搜索:蓝易云

MySQL elasticsearch Linux 运维 canal

梧桐树上凤凰来:“伙伴+华为”体系的建成与强化

脑极体

数智化转型

MediaHuman YouTube Downloader mac v3.9.9.89中文注册版

影影绰绰一往直前

ACCDB MDB Explorer for mac 专业的MDB和ACCDB数据库查看器

Rose

1688API接口推荐:1688店铺所有商品数据接口

tbapi

1688API 1688店铺所有商品接口 1688店铺数据接口

华为配置Hotspot2.0无线网络示例

知孤云出岫

网络安全

AI是助力还是取代我们?

Bruce Talk

AI Copilot

Github每日热榜2024.03.17

天马行空的大杂烩

程序员 最新 开源软件

移相全桥DC-DC变换器快速设计与开发

攻城狮Wayne

芯片 DC-DC 电源控制

华为联合伙伴发布公共数据授权运营方案,助力云上点数成金

华为云开发者联盟

云计算 华为云 华为云开发者联盟

Syncovery for mac(文件备份和同步工具)v10.12.4激活版

影影绰绰一往直前

DBeaverUE for Mac(数据库管理软件)v24.0.1旗舰激活版

影影绰绰一往直前

DBeaverEE for Mac(数据库管理)v24.0.1企业激活版

影影绰绰一往直前

2023 亚马逊云科技 re:Invent 大会探秘:Aurora 无限数据库的突破性应用

亚马逊云科技 (Amazon Web Services)

云计算

鸿蒙x昇腾云:华为打造智能时代最佳AI基础设施

华为云开发者联盟

鸿蒙 华为云 华为云开发者联盟 AI基础设施 昇腾云

Vben-Admin 错误 Cannot destructure property 'VITE_GLOB_APP_TITLE' of 't' as it is undefined

麦兜

C#将异步改成同步方法

百度搜索:蓝易云

C# Linux 运维 Task result

Close,application.Terminate与halt有什么区别

百度搜索:蓝易云

Linux 运维 application Close Terminate

PHP基本语法解析与应用指南

百度搜索:蓝易云

php html Linux 运维 云服务器

如何使用CORS来允许设置Cookie

百度搜索:蓝易云

Linux 运维 CORS Cookie 云服务器

博客平台选择指南:找到适合程序员的完美舞台

程序员何未来

程序人生 写作

使用 Gateway API 在命名空间之间发送流量

Gingxing

kong API网关 kong-plugin Kong 网关 Kong Gateway

iot的10种常见协议,特点,组网模式及其使用场景

了了

IoT 技术选型 组网

在 Windows 上利用Qwen大模型搭建一个 ChatGPT 式的问答小助手

Hunter熊

大模型 cuda Qwen Torch

ON1 NoNoise AI 2024 for Mac(AI图片降噪工具)v18.2.0.15224激活版

影影绰绰一往直前

macOS 的专业音乐播放器和 MIDI 文件编辑器QMidi Pro for Mac破解版

Rose

关于云交互与实时的云渲染技术

3DCAT实时渲染

实时云渲染 云交互

JProfiler for Mac(Java开发分析软件)v14.0.1永久激活版

影影绰绰一往直前

MediaHuman YouTube to MP3 Converter mac v3.9.9.89中文注册版

影影绰绰一往直前

FxFactory 8 Pro for Mac(视觉特效处理包)v8.0.14激活版

影影绰绰一往直前

微软正开发类似Rust的全新安全编程语言_编程语言_Liam Tung_InfoQ精选文章