01 / GHG / النطاقان 1 و2
أدلة الانبعاثات
تقيّم الحزمة حقول الطاقة والانبعاثات المقدمة مقابل ضوابط معلنة.
PAYGOD V2 / بنية الأدلةالإصدار السابق ↗
KERNEL PACKS / VERIFIED SCOPE
أمثلة فعلية لحزم النواة
حزم واختبارات بمستودع المصدر، وليست تكاملات إنتاجية مثبتة.
02 / CVE الحرج
ضوابط سلسلة البرمجيات
تقيّم الحزمة درجة خطورة ثغرة مُدخلة وشروط قرار التحكم.
03 / ISO 27001
أدلة الحوكمة
تسجل الحزمة نتائج مراجعة ضوابط السياسة المقدمة.
حالات الاستخدام في الموقع الحاليحالات الاستخدام في الموقع الحالي ↗