Chương trình theo sifa.sf.net

SIFA (Secure Information Flow Analyzer) sử dụng một cách tiếp cận dựa trên đồ thị để lý luận về các lỗ hổng có thể có của một hệ thống từ góc độ bảo mật thông tin, hỗ trợ nhiều quan điểm trên hệ thống. SIFA là một nguyên mẫu