Core TuLiP - Logic Programming for Trust Management


Share/Save/Bookmark

Czenko, Marcin and Etalle, Sandro (2007) Core TuLiP - Logic Programming for Trust Management. In: 23rd International Conference on Logic Programming, ICLP 2007, 8-13 September 2007, Porto, Portugal (pp. pp. 380-394).

[img] PDF
Restricted to UT campus only
: Request a copy
518kB
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.
Item Type:Conference or Workshop Item
Copyright:© 2007 Springer
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/61933
Official URL:http://dx.doi.org/10.1007/978-3-540-74610-2_26
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 241930