Core TuLiP

M.R. Czenko, Sandro Etalle

    Research output: Book/ReportReportProfessional

    15 Downloads (Pure)

    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
    Place of PublicationEnschede
    PublisherCentre for Telematics and Information Technology (CTIT)
    Number of pages22
    Publication statusPublished - 12 Mar 2007

    Publication series

    NameCTIT Technical Report Series
    PublisherCentre for Telematics and Information Technology, University of Twente
    No.2/TR-CTIT-07-22
    ISSN (Print)1381-3625

    Keywords

    • CR-D.1.6
    • METIS-241552
    • SCS-Cybersecurity
    • EWI-9573
    • CR-F.3
    • IR-67032

    Cite this

    Czenko, M. R., & Etalle, S. (2007). Core TuLiP. (CTIT Technical Report Series; No. 2/TR-CTIT-07-22). Enschede: Centre for Telematics and Information Technology (CTIT).