Nonmonotonic Trust Management for P2P Applications

Marcin Czenko, Ha Tran, Jeroen Doumen, Sandro Etalle, Pieter Hartel, Jerry den Hartog
2006 Electronical Notes in Theoretical Computer Science  
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
more » ... Logic Programs. Finally we discuss how chain discovery can be accomplished for RT .
doi:10.1016/j.entcs.2005.09.037 fatcat:3jvsxglo3jcpjgaq4vnhxsicp4