Core TuLiP

M.R. Czenko; Sandro Etalle

Core TuLiP

M.R. Czenko, Sandro Etalle

Research output: Book/Report › Report › Professional

27 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 language	Undefined
Place of Publication	Enschede
Publisher	Centre for Telematics and Information Technology (CTIT)
Number of pages	22
Publication status	Published - 12 Mar 2007

Publication series

Name	CTIT Technical Report Series
Publisher	Centre 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

Access to Document

Cite this

@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 = mar,

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",

}

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 -