Nonmonotonic Trust Management for P2P Applications

Electronic Notes in Theoretical Computer Science

Volumn 157, Issue 3, 2006, Pages 113-130

  Czenko, Marcin ^a   Tran, Ha ^a   Doumen, Jeroen ^a   Etalle, Sandro ^a   Hartel, Pieter ^a   den Hartog, Jerry ^a  

^a UNIVERSITY OF TWENTE   (Netherlands)

Author keywords

Chain Discovery; Distributed Trust Management (DTM); Non monotonic Policies; Peer to Peer (P2P); Role Based Trust Management (RT); Virtual Communities (VC)

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; DISTRIBUTED COMPUTER SYSTEMS; ELECTRONIC COMMUNITIES; LOGIC PROGRAMMING; SEMANTICS;

DISTRIBUTED TRUST MANAGEMENT (DTM); NON-MONOTONIC POLICIES; PEER TO PEER (P2P); ROLE BASED TRUST MANAGEMENT (RT);

SECURITY OF DATA;

EID: 33646551446     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.09.037     Document Type: Article

References (27)

1. Abdul-Rahman, A. and S. Hailes, Supporting trust in virtual communities, in: HICSS '00: Proc. of the 33rd Hawaii International Conference on System Sciences-Volume 6 (2000), p. 6007
2. Barker S., and Stuckey P.J. Flexible access control policy specification with constraint logic programming. ACM Trans. on Information and System Security 6 (2003) 501-546
3. Boella, G. and L. van der Torre, Permission and authorization in policies for virtual communities of agents, in: Proc. of Agents and P2P Computing Workshop at AAMAS'04 (2004)
4. Burrows M., Abadi M., and Needham R. A logic of authentication. ACM Transactions on Computer Systems 8 (1990) 18-36
5. Chen W., Swift T., and Warren D. Efficient top-down computation of queries under the well-founded semantics. Journal of Logic Programming 24 (1995) 161-199
6. Clarke D., Elien J., Ellison C., Fredette M., Morcos A., and Rivest R.L. Certificate chain discovery in SPKI/SDSI. Journal of Computer Security 9 (2001) 285-322
7. Dung P., and Thang P. Trust Negotiation with Nonmonotonic Access Policies. Proc. IFIP International Conference on Intelligence in Communication Systems. (INTELLCOMM 04). LNCS 3283 (2004) 70-84
8. Eiter, T., W. Faber, N. Leone and G. Pfeifer, Declarative problem-solving using the DLV system (2000), pp. 79-103
9. Fitting M. A Kripke-Kleene semantics for Logic Programs. Journal of Logic Programming 2 (1985) 295-312
10. Gelder A., Ross K., and Schlipf J. The well-founded semantics for general logic programs. Journal of ACM 38 (1991) 620-650
11. Gelfond, M. and V. Lifschitz, The Stable Model Semantics For Logic Programming, in: Proc. 5th International Conference on Logic Programming (1988), pp. 1070-1080
12. Gong, L., R. Needham and R. Yahalom, Reasoning About Belief in Cryptographic Protocols, in: Proceedings 1990 IEEE Symposium on Research in Security and Privacy (1990), pp. 234-248. URL citeseer.ist.psu.edu/gong90reasoning.html
13. Herzberg A., Mass Y., Michaeli J., Ravid Y., and Naor D. Access Control Meets Public Key Infrastructure, Or: Assigning Roles to Strangers. Proc. 2000 IEEE Symposium on Security and Privacy. (S&P 2000) (2000) 2-14
14. Jajodia S., Samarati P., Sapino M., and Subrahmanian V. Flexible support for Multiple Access Control Policies. ACM Transactions on Database Systems (TODS) 26 (2001) 214-260
15. Kunen K. Negation in Logic Programming. Journal of Logic Programming 4 (1987) 289-308
16. Lee, F., D. Vogel and M. Limayem, Adoption of informatics to support virtual communities, in: HICSS '02: Proc. of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 8 (2002), p. 214.2
17. Li, N., J. Feigenbaum and B. N. Grosof, A Logic-based Knowledge Representation for Authorization with Delegation (Extended Abstract), in: Proc. 1999 IEEE Computer Security Foundations Workshop (1999), pp. 162-174
18. Li, N., J. Mitchell and W. Winsborough, Design of A Role-based Trust-management Framework, in: Proc. 2002 IEEE Symposium on Security and Privacy (2002), pp. 114-130
19. Li N., Winsborough W., and Mitchell J. Distributed Credential Chain Discovery in Trust Management. Journal of Computer Security 11 (2003) 35-86
20. Niemel, I. and P. Simons, Smodels - an implementation of the stable model and well-founded semantics for normal lp, in: LPNMR '97: Proc. of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (1997), pp. 421-430
21. Pearlman, L., V. Welch, I. T. Foster, C. Kesselman and S. Tuecke, A community authorization service for group collaboration, in: POLICY (2002), pp. 50-59
22. Pouwelse, J., P. Garbacki, D. Epema and H. Sips, The Bittorrent P2P File-sharing System: Measurements and Analysis, in: Proc. of the 4th International Workshop on Peer-to-Peer Systems (IPTPS05), 2005
23. Przymusinski, T. C., Perfect model semantics, in: Fifth international Conference and Symposium on Logic programming, Seattle, U.S.A. (1988), pp. 1081-1096
24. Seamons, K. E., M. Winslett, T. Yu, B. Smith, E. Child, J. Jacobson, H. Mills and L. Yu, Requirements for Policy Languages for Trust Negotiation, in: Proc. 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002) (2002), pp. 68-80. URL http://isrl.cs.byu.edu/pubs/policy2002.pdf
25. Shepherdson J.C. Negation in Logic Programming. Foundation of Deductive Databases and Logic Programming (1988), Morgan Kaufmann pp. 19-88
26. Shmatikov V., and Talcott C. Reputation-Based Trust Management. Journal of Computer Security 13 (2005) 167-190
27. Wang, L., D. Wijesekera and S. Jajodia, A logic-based framework for attribute based access control, in: Proc. 2004 ACM workshop on Formal methods in security engineering FMSE'04 (2004), pp. 45-55