SIFA: A Tool for Evaluation of High-Grade Security Devices

Speaker: Tim McComb

When: 10:00, Friday, 3 June 2005

Venue: 78-420

This seminar presents the Secure Information Flow Analyser (SIFA) tool built for the InfoSec research project ("Formally-Based Security Evaluation Procedures"). SIFA analyses information flow through security hardware to identify both sub-circuits critical to the preservation of security as well as the potential for information flow due to hardware failure. A particularly interesting feature of the tool is the method it uses to compose partial views of the system (eg. logical vs. physical) to form a complete model. The talk is a practice for the Australasian Conference on Information Security and Privacy.

Hospitality: Geoff Watson

Contact: Phil Cook (SSE seminar co-ordinator) (philc@itee.uq.edu.au)

SSE seminar web page: http://www.itee.uq.edu.au/~sse/Seminars.html