欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
OpenSCAP
来自开放百科 - 灰狐
OpenSCAP
目录 |
简介
OpenSCAP: Open Source Security Compliance（合规）Solution
标准
功能
工具
- OpenSCAP Base
- OpenSCAP Daemon
- SCAP Workbench
- SCAPTimony
- OSCAP Anaconda Add-on
- Systems Management
- Atomic Scan
指南
项目
缩略语
- AI（Asset Identification）
- ARF（Asset Reporting Format）
图集
链接
分享您的观点
