Programma's van sifa.sf.net

SIFA (Secure Information Flow Analyser) maakt gebruik van een op grafiek gebaseerde benadering om te redeneren over de mogelijke kwetsbaarheden van een systeem vanuit een informatiebeveiligingsperspectief, dat meerdere weerga