Система формальной верификации нашла бреши в стандартных политиках SELinux
已经开发出一种工具，可以自动验证负责加强操作系统安全的 Linux 组件的访问控制规则。
The FAA certifies the 737-7 MAX 7
波音公司宣布：美国联邦航空管理局（FAA）已向波音公司授予737-7修订型号合格证（ATC），为商业服务扫清了道路。波音公司在美国联邦航空局的监督下进行了多年的认证工作，其中包括广泛的飞行和地面测试、人为因素审查和系统安全评估。为什么重要：这个 [...]
