Core TuLiP - Logic Programming for Trust Management

Marcin Czenko; Sandro Etalle

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

Core TuLiP - Logic Programming for Trust Management

Marcin 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	English
Title of host publication	Logic Programming
Subtitle of host publication	23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings
Editors	Verónica Dahl, Ilkka Niemelä
Place of Publication	Berlin
Publisher	Springer
Pages	380-394
Number of pages	15
ISBN (Electronic)	978-3-540-74610-2
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 Duration: 8 Sep 2007 → 13 Sep 2007 Conference number: 23

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	4670
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	23rd International Conference on Logic Programming, ICLP 2007
Abbreviated title	ICLP
Country/Territory	Portugal
City	Porto
Period	8/09/07 → 13/09/07

Keywords

SCS-Cybersecurity
EC Grant Agreement nr.: FP6/27587
CR-D.1.6

Access to Document

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

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, CR-D.1.6",

author = "Marcin Czenko and Sandro Etalle",

year = "2007",

month = oct,

doi = "10.1007/978-3-540-74610-2_26",

language = "English",

isbn = "978-3-540-74608-9",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "380--394",

editor = "Ver{\'o}nica Dahl and Ilkka Niemel{\"a}",

booktitle = "Logic Programming",

address = "Netherlands",

note = "23rd International Conference on Logic Programming, ICLP 2007, ICLP ; Conference date: 08-09-2007 Through 13-09-2007",

}

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

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

Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007. Proceedings. ed. / Verónica Dahl; Ilkka Niemelä. Berlin : Springer, 2007. p. 380-394 (Lecture Notes in Computer Science; Vol. 4670).

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

AU - Etalle, Sandro

N1 - Conference code: 23

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 - CR-D.1.6

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 - Logic Programming

A2 - Dahl, Verónica

A2 - Niemelä, Ilkka

PB - Springer

CY - Berlin

T2 - 23rd International Conference on Logic Programming, ICLP 2007

Y2 - 8 September 2007 through 13 September 2007

ER -

Core TuLiP - Logic Programming for Trust Management

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this