首页 文章 精选 留言 我的
优秀的个人博客,低调大师

微信关注我们

原文链接:https://www.oschina.net/news/216781

转载内容版权归作者及来源网站所有!

低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。

Grafana 密码签名验证不恰当漏洞

漏洞描述 Grafana 是一个开源的可观察性和数据可视化平台。 Grafana 的受影响版本中存在插件签名验证不当漏洞,即使在禁止使用未签名插件的条件下,攻击者也可利用此漏洞诱导受害者下载并成功运行恶意插件,不从不受信任的来源下载并安装插件可缓解此漏洞。 漏洞名称 Grafana 密码签名验证不恰当漏洞 漏洞类型 密码学签名的验证不恰当 发现时间 2022-10-13 漏洞影响广度 一般 MPS编号 MPS-2022-11153 CVE编号 CVE-2022-31123 CNVD编号 - 影响范围 grafana/grafana@[9.0.0, 9.1.8) grafana/grafana@(-∞, 8.5.14) 修复方案 将组件 grafana/grafana 升级至 9.1.8 及以上版本 将组件 grafana/grafana 升级至 8.5.14 及以上版本 参考链接 https://www.oscs1024.com/hd/MPS-2022-11153 https://nvd.nist.gov/vuln/detail/CVE-2022-31123 https://githu...

NVIDIA 尝试使用 SPARK 语言取代部分 C 语言代码

知名编程语言 Ada 与 SPARK 所属公司 AdaCore 发布了一则关于NVIDIA 的案例 ,案例显示:NVIDIA 的产品运行着许多经过正式验证的 SPARK 代码,NVIDIA 安全团队正尝试使用 SPARK 语言取代 C 语言,来实现一些对安全较为敏感的应用程序或组件。 SPARK 是一种编程语言和一组验证工具,旨在满足高保证软件开发的需求。SPARK 基于 Ada 语言,它既对 ada 语言进行子集化以删除无法验证的功能,又扩展了合约和方面的系统,进一步支持模块化、形式化验证。 SPARK 语言一般用于可预测和高度可靠操作的系统中的高完整性软件,它有助于开发需要高安全性或业务完整性的应用程序。 早在 2018 年, NVIDIA 就针对“从 C 转换为 SPARK”这一过程进行了概念验证 (POC) 练习,在三个月内将两个低级别的安全敏感应用从 C 转换为 SPARK 代码。在对投资回报进行评估后,该团队得出结论:随着新技术的增加(培训、实验、新工具等),应用程序安全性和验证效率也得到了提高,转换为 SPARK 代码的两个应用程序实现了安全稳健性的重大改进(有关评估结果...

相关文章

发表评论

资源下载

更多资源
优质分享App

优质分享App

近一个月的开发和优化,本站点的第一个app全新上线。该app采用极致压缩,本体才4.36MB。系统里面做了大量数据访问、缓存优化。方便用户在手机上查看文章。后续会推出HarmonyOS的适配版本。

Mario

Mario

马里奥是站在游戏界顶峰的超人气多面角色。马里奥靠吃蘑菇成长,特征是大鼻子、头戴帽子、身穿背带裤,还留着胡子。与他的双胞胎兄弟路易基一起,长年担任任天堂的招牌角色。

Rocky Linux

Rocky Linux

Rocky Linux(中文名:洛基)是由Gregory Kurtzer于2020年12月发起的企业级Linux发行版,作为CentOS稳定版停止维护后与RHEL(Red Hat Enterprise Linux)完全兼容的开源替代方案,由社区拥有并管理,支持x86_64、aarch64等架构。其通过重新编译RHEL源代码提供长期稳定性,采用模块化包装和SELinux安全架构,默认包含GNOME桌面环境及XFS文件系统,支持十年生命周期更新。

Sublime Text

Sublime Text

Sublime Text具有漂亮的用户界面和强大的功能,例如代码缩略图,Python的插件,代码段等。还可自定义键绑定,菜单和工具栏。Sublime Text 的主要功能包括:拼写检查,书签,完整的 Python API , Goto 功能,即时项目切换,多选择,多窗口等等。Sublime Text 是一个跨平台的编辑器,同时支持Windows、Linux、Mac OS X等操作系统。

用户登录
用户注册