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: Arenas, Puri and Zanardini, Damiano, eds. Proceedings on Logic-Based Methods in Programming Envrionments. . pp. 1-7. CoRR, Udine (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) (KAR id:24085)

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.

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,
Institutional Unit:	Schools > School of Computing
Former Institutional Unit:	Theoretical Computing Group Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User:	Andy King
Date Deposited:	29 Mar 2010 12:14 UTC
Last Modified:	20 May 2025 10:12 UTC
Resource URI:	https://kar.kent.ac.uk/id/eprint/24085 (The current URI for this page, for reference purposes)

University of Kent Author Information

King, Andy.

Creator's ORCID:	https://orcid.org/0000-0001-5806-4822
CReDIT Contributor Roles:

Depositors only (login required):

Total Views

Total unique views of this page since July 2020. For more details click on the image.