โปรแกรมตาม sifa.sf.net

SIFA (Secure Information Flow Analyser) ใช้วิธีการที่ใช้กราฟเพื่อเหตุผลเกี่ยวกับช่องโหว่ที่เป็นไปได้ของระบบจากมุมมองด้านความปลอดภัยของข้อมูลซึ่งรองรับมุมมองหลายมุมมองในระบบ SIFA เป็นต้นแบบการทดลอง