Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry

King, Andy (2008) Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry. In: Proceedings on Logic-Based Methods in Programming Envrionments. (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided. (Contact us about this Publication)

Abstract

Logic programming is sometimes described as relational programming: a paradigm in which the programmer specifies and composes n-ary relations using systems of constraints. An advanced logic programming environment will provide tools that abstract these relations to transform, optimise, or even verify the correctness of a logic program. This talk will show that these concepts, namely relations, constraints and abstractions, turn out to also be important in the reverse engineer process that underpins the discovery of bugs within the security industry.

Item Type:	Conference or workshop item (Keynote)
Additional information:	Invited paper
Uncontrolled keywords:	CoRR abs/0903.2353
Subjects:	Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Divisions:	Faculties > Sciences > School of Computing > Theoretical Computing Group
Depositing User:	Andy King
Date Deposited:	29 Mar 2010 12:14 UTC
Last Modified:	13 Dec 2013 15:26 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/24085 (The current URI for this page, for reference purposes)