Nonmonotonic Trust Management for P2P Applications

Authors:
Marcin Czenko;Ha Tran;Jeroen Doumen;Sandro Etalle;Pieter Hartel;Jerry den Hartog
Affiliations:
Department of Computer Science, University of Twente, Enschede, The Netherlands;Department of Computer Science, University of Twente, Enschede, The Netherlands;Department of Computer Science, University of Twente, Enschede, The Netherlands;Department of Computer Science, University of Twente, Enschede, The Netherlands;Department of Computer Science, University of Twente, Enschede, The Netherlands;Department of Computer Science, University of Twente, Enschede, The Netherlands
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2006

Citing 19
Cited 1

Negation in logic programming

Journal of Logic Programming
A logic of authentication

ACM Transactions on Computer Systems (TOCS)
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Flexible support for multiple access control policies

ACM Transactions on Database Systems (TODS)
Certificate chain discovery in SPKI?SDSI

Journal of Computer Security
Smodels - An Implementation of the Stable Model and Well-Founded Semantics for Normal LP

LPNMR '97 Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning
Distributed credential chain discovery in trust management

Journal of Computer Security
A Logic-based Knowledge Representation for Authorization with Delegation

CSFW '99 Proceedings of the 12th IEEE workshop on Computer Security Foundations
Supporting Trust in Virtual Communities

HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Adoption of Informatics to Support Virtual Communities

HICSS '02 Proceedings of the 35th Annual Hawaii International Conference on System Sciences (HICSS'02)-Volume 8 - Volume 8
Design of a Role-Based Trust-Management Framework

SP '02 Proceedings of the 2002 IEEE Symposium on Security and Privacy
Requirements for Policy Languages for Trust Negotiation

POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
A Community Authorization Service for Group Collaboration

POLICY '02 Proceedings of the 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY'02)
Access Control Meets Public Key Infrastructure, Or: Assigning Roles to Strangers

SP '00 Proceedings of the 2000 IEEE Symposium on Security and Privacy
Flexible access control policy specification with constraint logic programming

ACM Transactions on Information and System Security (TISSEC)
A logic-based framework for attribute based access control

Proceedings of the 2004 ACM workshop on Formal methods in security engineering
Reputation-based trust management

Journal of Computer Security - Special issue on WITS'03
The bittorrent p2p file-sharing system: measurements and analysis

IPTPS'05 Proceedings of the 4th international conference on Peer-to-Peer Systems
Permission and authorization in policies for virtual communities of agents

AP2PC'04 Proceedings of the Third international conference on Agents and Peer-to-Peer Computing

Core TuLiP logic programming for trust management

ICLP'07 Proceedings of the 23rd international conference on Logic programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Community decisions about access control in virtual communities are non-monotonic in nature. This means that they cannot be expressed in current, monotonic trust management languages such as the family of Role Based Trust Management languages (RT). To solve this problem we propose RT"@?, which adds a restricted form of negation to the standard RT language, thus admitting a controlled form of non-monotonicity. The semantics of RT"@? is discussed and presented in terms of the well-founded semantics for Logic Programs. Finally we discuss how chain discovery can be accomplished for RT"@?.