Core TuLiP

M.R. Czenko, Sandro Etalle

    Research output: Book/ReportReportProfessional

    13 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).
    Czenko, M.R. ; Etalle, Sandro. / Core TuLiP. Enschede : Centre for Telematics and Information Technology (CTIT), 2007. 22 p. (CTIT Technical Report Series; 2/TR-CTIT-07-22).
    @book{028607fe0ee84b568e0deb6bdfcc4080,
    title = "Core TuLiP",
    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.",
    keywords = "CR-D.1.6, METIS-241552, SCS-Cybersecurity, EWI-9573, CR-F.3, IR-67032",
    author = "M.R. Czenko and Sandro Etalle",
    year = "2007",
    month = "3",
    day = "12",
    language = "Undefined",
    series = "CTIT Technical Report Series",
    publisher = "Centre for Telematics and Information Technology (CTIT)",
    number = "2/TR-CTIT-07-22",
    address = "Netherlands",

    }

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

    Core TuLiP. / Czenko, M.R.; Etalle, Sandro.

    Enschede : Centre for Telematics and Information Technology (CTIT), 2007. 22 p. (CTIT Technical Report Series; No. 2/TR-CTIT-07-22).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Core TuLiP

    AU - Czenko, M.R.

    AU - Etalle, Sandro

    PY - 2007/3/12

    Y1 - 2007/3/12

    N2 - 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.

    AB - 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.

    KW - CR-D.1.6

    KW - METIS-241552

    KW - SCS-Cybersecurity

    KW - EWI-9573

    KW - CR-F.3

    KW - IR-67032

    M3 - Report

    T3 - CTIT Technical Report Series

    BT - Core TuLiP

    PB - Centre for Telematics and Information Technology (CTIT)

    CY - Enschede

    ER -

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