SELinux关键词检索结果

OSP网站大数据新闻
2026年9月3日 10:01

形式验证系统在标准 SELinux 策略中发现漏洞

Система формальной верификации нашла бреши в стандартных политиках SELinux

已经开发出一种工具，可以自动验证负责加强操作系统安全的 Linux 组件的访问控制规则。