Core TuLiP - Logic Programming for Trust Management

M.R. Czenko, Sandro Etalle

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    9 Citations (Scopus)

    Abstract

    We propose CoreTuLiP - the core of a trust management language based on Logic Programming. CoreTuLiP is based on a subset of moded logic programming, but enjoys the features of TM languages such as RT; in particular clauses are issued by different authorities and stored in a distributed manner. We present a lookup and inference algorithm which we prove to be correct and complete w.r.t. the declarative semantics. CoreTuLiP enjoys uniform syntax and the well-established semantics and is expressive enough to model scenarios which are hard to deal with in RT.
    Original languageUndefined
    Title of host publicationProceedings of the 23rd International Conference on Logic Programming, ICLP 2007
    EditorsV. Dahl, I. Niemelä
    Place of PublicationBerlin
    PublisherSpringer
    Pages380-394
    Number of pages15
    ISBN (Print)978-3-540-74608-9
    DOIs
    Publication statusPublished - Oct 2007
    Event23rd International Conference on Logic Programming, ICLP 2007, Porto, Portugal: Proceedings of the 23rd International Conference on Logic Programming, ICLP 2007 - Berlin
    Duration: 1 Oct 2007 → …

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer Verlag
    NumberLNCS4549
    Volume4670

    Conference

    Conference23rd International Conference on Logic Programming, ICLP 2007, Porto, Portugal
    CityBerlin
    Period1/10/07 → …

    Keywords

    • SCS-Cybersecurity
    • EC Grant Agreement nr.: FP6/27587
    • IR-61933
    • CR-D.1.6
    • METIS-241930
    • EWI-11111

    Cite this