|
|
SIFA - Secure Information Flow Analyser |
SIFA (Secure Information Flow Analyser) uses a view-based approach to
reason about the possible vulnerabilities of a system from an
information security perspective. This includes both normal, intended
operating modes and unintended operating states (in the presence of
component or system-wide faults, for example). SIFA specialises in the
analysis and evaluation of hardware devices, but is generic enough to
support analysis over any interconnected structure of components.
Download user guide for SIFA last updated Jul 26 2006
Download area (SIFA/examples/utilities)
Java 6 is now supported, and SIFA works properly with Mac OS, thanks to contributions from Queensland University of Technology.[Tue Sep 09 2008]
Nope, there are still issues with Java 6! I'll fix them up when I next get a chance... until then, SIFA must be run with Java 5.[Wed Jun 27 2007]
It seems the Java 6 problem has magically resolved itself, probably as a result of Sun's beta testing. Everything seems to be fine now for Java 6 (beta 06).[Wed Mar 07 2007]
A new version of SIFA is available for download. This version improves the searching algorithm, so that the root component of a search is included in the search (not just the descendents of the root component). This should allow for more flexibility when structuring the models.[Wed Feb 28 2007]
Unfortunately SIFA doesn't play well with the new Java 6. If you experience problems, please run SIFA with Java 5.[Fri Jul 21 2006]
SIFA v. 1.0-beta has been released for download.[Wed Jun 30 2006]
SIFA v. 0.5.20060630 has been released for download.[Mon May 22 2006]
SIFA v. 0.4.20060521 has been released for download.
