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