@inproceedings{312319daf1e04a48a3b9153997a1dc08,
title = "Core TuLiP - Logic Programming for Trust Management",
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 = "SCS-Cybersecurity, EC Grant Agreement nr.: FP6/27587, IR-61933, CR-D.1.6, METIS-241930, EWI-11111",
author = "M.R. Czenko and Sandro Etalle",
note = "10.1007/978-3-540-74610-2_26 ; null ; Conference date: 01-10-2007",
year = "2007",
month = oct,
doi = "10.1007/978-3-540-74610-2_26",
language = "Undefined",
isbn = "978-3-540-74608-9",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
number = "LNCS4549",
pages = "380--394",
editor = "V. Dahl and I. Niemel{\"a}",
booktitle = "Proceedings of the 23rd International Conference on Logic Programming, ICLP 2007",
}