Trust management in P2P systems using standard TuLiP

IFIP International Federation for Information Processing

Volumn 263, Issue , 2008, Pages 1-16

  Czenko, Marcin ^a   Doumen, Jeroen ^a   Etalle, Sandro ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY; INFERENCE ENGINES; MOBILE SECURITY;

INFERENCE ALGORITHM; P2P SYSTEM; SECURITY CREDENTIALS; SOUND AND COMPLETE; SYSTEM ARCHITECTURES; SYSTEM COMPONENTS; TRUST MANAGEMENT; TRUST MANAGEMENT SYSTEMS;

INFERENCE ENGINES; PEER TO PEER NETWORKS;

EID: 44049096857     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-09428-1_1     Document Type: Conference Paper

References (23)

1. K. R. Apt and I. Luitjes. Verification of logic programs with delay declarations. In AMAST, volume 936 of LNCS, pages 66-90. Springer, 1995.
2. E. Bertino, E. Ferrari, and A. C. Squicciarini. Trust-X : A Peer-to-Peer Framework for Trust Establishment. IEEE Trans. Knowl. Data Eng., 16(7):827-842, 2004.
3. M. Blaze, J. Feigenbaum, J. Ioannidis, and A. Keromytis. The KeyNote Trust-Management System, Version 2. IETF RFC 2704, September 1999.
4. M. Blaze, J. Feigenbaum, and J. Lacy. Decentralized Trust Management. In Proc. 17th IEEE Symposium on Security and Privacy, pages 164-173. IEEE Computer Society Press, May 1996.
5. D. Clarke, J.E. Elien, C. Ellison, M. Fredette, A. Morcos, and R. L. Rivest. Certificate Chain Discovery in SPKI/SDSI. Journal of Computer Security, 9(4):285-322, 2001.
6. M. R. Czenko and S. Etalle. Core TuLiP - Logic Programming for Trust Management. In Proc. 23rd International Conference on Logic Programming, ICLP 2007, Porto, Portugal, volume 4670 of LNCS, pages 380-394, Berlin, 2007. Springer Verlag.
7. Freeband Communication. I-Share: Sharing resources in virtual communities for storage, communications, and processing of multimedia data. URL: http://www.freeband.nl/project.cfm?language=en&id=520.
8. S. L. Jarvenpaa, N. Tractinsky, and M. Vitale. Consumer Trust in an Internet Store. Inf. Tech. and Management, 1(1-2):45-71, 2000.
9. T. Jim. SD3: A Trust Management System with Certified Evaluation. In Proc. IEEE Symposium on Security and Privacy, pages 106-115. IEEE Computer Society Press, 2001.
10. F. Lee, D. Vogel, and M. Limayem. Adoption of informatics to support virtual communities. In HICSS '02: Proc. 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 8, page 214.2. IEEE Computer Society Press, 2002.
11. N. Li, B. Grosof, and J. Feigenbaum. Delegation Logic: A Logic-based Approach to Distributed Authorization. ACM Transactions on Information and System Security (TISSEC), 6(1):128-171, 2003.
12. N. Li, J. Mitchell, and W. Winsborough. Design of a Role-based Trust-management Framework. In Proc. IEEE Symposium on Security and Privacy, pages 114-130. IEEE Computer Society Press, 2002.
13. N. Li, W. Winsborough, and J. Mitchell. Distributed Credential Chain Discovery in Trust Management. Journal of Computer Security, 11(1):35-86, 2003.
14. LIACC/Universidade do Porto and COPPE Sistemas/UFRJ. YAP Prolog, April 2006.
15. W. Nejdl, D. Olmedilla, and M. Winslett. PeerTrust: Automated Trust Negotiation for Peers on the Semantic Web. In Secure Data Management pages 118-132, 2004.
16. OASIS. Assertions and Protocols for the OASIS: Security Assertion Markup Language (SAML) V2.0, March 2005.
17. OASIS. eXtensible Access Control Markup Language (XACML) Version 2.0 URL: http://www.oasis.org, Feb 2005.
18. OASIS. SAML V2.0 Executive Overview, April 2005.
19. S. Ratnasamy, P. Francis, M. Handley, R. M. Karp, and S. Shenker. A scalable content-addressable network. In SIGCOMM, pages 161-172, 2001.
20. W3C. XML-Signature Syntax and Processing, Feb 2002.
21. W3C. Extensible Markup Language (XML) 1.1 (Second Edition), Sep 2006.
22. W3C. Namespaces in XML 1.0 (Second Edition), Aug 2006.
23. W. H. Winsborough and N. Li. Towards Practical Automated Trust Negotiation. In POLICY, pages 92-103. IEEE Computer Society Press, 2002.