← 返回蜂巢洞察

演讲主题:利用CHERI技术实现内存安全性与细粒度的隔离机制

David Chisnall阐述了CHERI硬件架构是如何重新定义指针安全性,从而解决数据隔离与共享所带来的问题的。他解释了CHERI如何为C/C++语言提供空间上的和时间上的内存安全保障,如何通过CHERIoT技术将其应用到微控制器中,以及如何用轻量级且可审计的隔离机制取代那些成本高昂的操作系统级别的远程过程调用机制——而所有这些都不需要对现有代码进行大规模的修改。 作者:David Chisnall

David Chisnall阐述了CHERI硬件架构是如何重新定义指针安全性,从而解决数据隔离与共享所带来的问题的。他解释了CHERI如何为C/C++语言提供空间上的和时间上的内存安全保障,如何通过CHERIoT技术将其应用到微控制器中,以及如何用轻量级且可审计的隔离机制取代那些成本高昂的操作系统级别的远程过程调用机制——而所有这些都不需要对现有代码进行大规模的修改。

作者:David Chisnall

相关文章

技术实践

文章:在Spring Boot中实现后量子密码学:四种可以在本次开发周期内完成实现的方案

有四种方式可以将PQC技术应用到Spring Boot项目中:在服务之间对数据内容进行加密、对数据库中的字段进行保护、为需要长期保存的文档添加签名机制,以及将用于识别服务的令牌从RS256加密格式转换为其他更安全的加密方式。在这篇文章中,我们还会探讨为什么“先收集数据,后再解密”这种做法已经在实际中被广泛应用,以及为什么在没有使用KMS或Vault等安全工具的情况下,这些技术还不能被放心地应用于生产环境。 作者:Pankaj Sharma

阅读全文
技术实践

演示内容:将Uber Eats的数据展示界面迁移至Webview技术

Nick DiStefano介绍了Uber Eats是如何从传统的原生应用界面转变为采用原生技术构建的单页WebView架构的。他为那些希望绕过原生应用的发布周期、管理跨平台数据状态、构建通用性的原生与Web应用之间的通信机制,以及在不影响各项性能指标的前提下进行大规模用户界面迁移的工程领导者及软件架构师提供了关键性建议。 作者:Nick DiStefano

阅读全文
技术实践

“从设计层面确保安全性”:在编写任何代码之前,如何将安全机制纳入系统架构之中

在大多数工程团队中,都会进行这样的对话——不过往往为时已晚。 想象一下:某个功能被部署到生产环境中之后,才会进行安全审查;或者在进行渗透测试时发现了问题;更糟糕的是,还会收到事故报告。 这些漏洞确实是存在的,修复它们也需要投入大量成本。而在这些讨论中,总会有人说:“我们需要为这个功能添加安全措施。” 但这个问题就出在这里:安全并不是事后才添加到软件中的东西,而应该从项目一开始就被纳入设计之中。一旦开始考虑为已经存在的东西添加安全功能,那就意味着你已经进入了“事故应对模式”。 “安全驱动设计”是一种完全不同的思维方式——在制定架构决策之前,就应该明确安全要求;在编写任何代码之前,就必须了解潜在的

阅读全文
技术实践

文章:Spring Security 7中的服务器端DPoP机制与令牌交换技术

在Spring Security 7中,Spring Authorization Server被集成到了该框架中,且仍然使用相同的Maven坐标进行管理,因此这次升级仅仅是一个版本号的更新而已。本文档介绍了如何启用DPoP机制以及RFC 8693规定的令牌交换功能,解释了为什么在使用Spring Security 7.1的应用程序中,在调用 `.dPoP()` 方法之前,这些应用程序会暂时停止执行与DPoP相关的规则,并说明了如何将这两种机制结合起来,从而为服务之间的交互以及代理请求生成更加安全、且能限制发送方行为的令牌。 作者:Dhruv Agnihotri

阅读全文