School of Computing

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

Andy King

In Puri Arenas and Damiano Zanardini, editors, Proceedings on Logic-Based Methods in Programming Envrionments, pages 182-196, Udine, December 2008 Invited paper.

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.

Download publication (Text)

Bibtex Record

@inproceedings{2895,
author = {Andy King},
title = {Relations, {C}onstraints and {A}bstractions: {U}sing the {T}ools of {L}ogic {P}rogramming in the {S}ecurity {I}ndustry},
month = {December},
year = {2008},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {Invited paper},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2008/2895},
    publication_type = {inproceedings},
    submission_id = {17169_1239786182},
    booktitle = {Proceedings on Logic-Based Methods in Programming Envrionments},
    editor = {Puri Arenas and Damiano Zanardini},
    address = {Udine},
    refereed = {yes},
}

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 21/03/2014