Developing Controls for Secure Logic-based Systems

Speaker: Katie Duczmal

When: 10:00, Thursday 19th June 2008

Venue: 78-420

In previous decades, Logic Programming (LP) has been relegated to standalone applications in a trustworthy academic environment. Now, LP programs are appearing in Intrusion Detection as well as web-enabled Expert Systems and mobile agents. Programs written in mainstream lan- guages are being fortified against attacks and there is a wealth of tools for languages like C, Java and PHP. Left unsecured, LP programs will become the weakest security link and hence the most attractive target to attackers. LP languages have a unique set of potential security problems, owing to their tree-like control flow, low syntax to semantics ratio and blurred distinction between code and data. This project seeks to examine language level security vulnerabilities specific to the LP paradigm and mechanisms for prevention or mitigation.

Hospitality: Peter Robinson

Contact: Robert Colvin (SSE seminar co-ordinator) (robert@itee.uq.edu.au)

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