Core TuLiP - Logic Programming for Trust Management

M.R. Czenko; Sandro Etalle

doi:10.1007/978-3-540-74610-2_26

Core TuLiP - Logic Programming for Trust Management

M.R. Czenko, Sandro Etalle

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

9 Citations (Scopus)

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
Title of host publication	Proceedings of the 23rd International Conference on Logic Programming, ICLP 2007
Editors	V. Dahl, I. Niemelä
Place of Publication	Berlin
Publisher	Springer
Pages	380-394
Number of pages	15
ISBN (Print)	978-3-540-74608-9
DOIs	https://doi.org/10.1007/978-3-540-74610-2_26
Publication status	Published - Oct 2007
Event	23rd International Conference on Logic Programming, ICLP 2007, Porto, Portugal: Proceedings of the 23rd International Conference on Logic Programming, ICLP 2007 - Berlin Duration: 1 Oct 2007 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag
Number	LNCS4549
Volume	4670

Conference

Conference	23rd International Conference on Logic Programming, ICLP 2007, Porto, Portugal
City	Berlin
Period	1/10/07 → …

Keywords

SCS-Cybersecurity
EC Grant Agreement nr.: FP6/27587
IR-61933
CR-D.1.6
METIS-241930
EWI-11111

Access to Document

10.1007/978-3-540-74610-2_26

http://eprints.eemcs.utwente.nl/secure2/11111/01/CoreTuLiP.pdf

Cite this

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

}

Czenko, MR & Etalle, S 2007, Core TuLiP - Logic Programming for Trust Management. in V Dahl & I Niemelä (eds), Proceedings of the 23rd International Conference on Logic Programming, ICLP 2007., 10.1007/978-3-540-74610-2_26, Lecture Notes in Computer Science, no. LNCS4549, vol. 4670, Springer, Berlin, pp. 380-394, 23rd International Conference on Logic Programming, ICLP 2007, Porto, Portugal, Berlin, 1/10/07. https://doi.org/10.1007/978-3-540-74610-2_26

Core TuLiP - Logic Programming for Trust Management. / Czenko, M.R.; Etalle, Sandro.

Proceedings of the 23rd International Conference on Logic Programming, ICLP 2007. ed. / V. Dahl; I. Niemelä. Berlin : Springer, 2007. p. 380-394 10.1007/978-3-540-74610-2_26 (Lecture Notes in Computer Science; Vol. 4670, No. LNCS4549).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Core TuLiP - Logic Programming for Trust Management

AU - Czenko, M.R.

AU - Etalle, Sandro

N1 - 10.1007/978-3-540-74610-2_26

PY - 2007/10

Y1 - 2007/10

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 - SCS-Cybersecurity

KW - EC Grant Agreement nr.: FP6/27587

KW - IR-61933

KW - CR-D.1.6

KW - METIS-241930

KW - EWI-11111

U2 - 10.1007/978-3-540-74610-2_26

DO - 10.1007/978-3-540-74610-2_26

M3 - Conference contribution

SN - 978-3-540-74608-9

T3 - Lecture Notes in Computer Science

SP - 380

EP - 394

BT - Proceedings of the 23rd International Conference on Logic Programming, ICLP 2007

A2 - Dahl, V.

A2 - Niemelä, I.

PB - Springer

CY - Berlin

Y2 - 1 October 2007

ER -