Core TuLiP - Logic Programming for Trust Management

Marcin 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 languageEnglish
    Title of host publicationLogic Programming
    Subtitle of host publication23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
    EditorsVerónica Dahl, Ilkka Niemelä
    Place of PublicationBerlin
    PublisherSpringer
    Pages380-394
    Number of pages15
    ISBN (Electronic)978-3-540-74610-2
    ISBN (Print)978-3-540-74608-9
    DOIs
    Publication statusPublished - Oct 2007
    Event23rd International Conference on Logic Programming, ICLP 2007 - Porto, Portugal
    Duration: 8 Sep 200713 Sep 2007
    Conference number: 23

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume4670
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference23rd International Conference on Logic Programming, ICLP 2007
    Abbreviated titleICLP
    Country/TerritoryPortugal
    CityPorto
    Period8/09/0713/09/07

    Keywords

    • SCS-Cybersecurity
    • EC Grant Agreement nr.: FP6/27587
    • CR-D.1.6

    Fingerprint

    Dive into the research topics of 'Core TuLiP - Logic Programming for Trust Management'. Together they form a unique fingerprint.

    Cite this