2006
DOI: 10.1016/j.entcs.2005.09.037
|View full text |Cite
|
Sign up to set email alerts
|

Nonmonotonic Trust Management for P2P Applications

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 Prog… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

1
18
0

Year Published

2007
2007
2016
2016

Publication Types

Select...
7
1
1

Relationship

2
7

Authors

Journals

citations
Cited by 24 publications
(19 citation statements)
references
References 24 publications
1
18
0
Order By: Relevance
“…Most trust management languages are monotonic: adding new assertion to a query can never result in canceling an action, which was accepted before [9]. Therefore, each policy statement or credential added to the system may only increase the capabilities and privileges granted to others, making revocation of rights impossible.…”
Section: A Time Validity In Rt Tmentioning
confidence: 99%
See 1 more Smart Citation
“…Most trust management languages are monotonic: adding new assertion to a query can never result in canceling an action, which was accepted before [9]. Therefore, each policy statement or credential added to the system may only increase the capabilities and privileges granted to others, making revocation of rights impossible.…”
Section: A Time Validity In Rt Tmentioning
confidence: 99%
“…Let us get back to our example and use credentials (9) and (24)-(31) (to make the notation shorter, let us use C instead of Company). According to rule (CW P 1 ) we can infer:…”
Section: Example 71 (Time Validity In Inference System For Example 4mentioning
confidence: 99%
“…Czenko et al (2005) present a version of RT with non-monotonic features. Appel & Felten (1999) use a logic-based approach to authentication.…”
Section: Some Systems and Modelsmentioning
confidence: 99%
“…RuleControlled Environment For Evaluation of Rules and Everything Else (REFEREE ) [8], the Trust Establishment System (TES) from IBM [9] and RT [10] are also nonmonotonic.…”
Section: Non-monotonic Trust Management Systemsmentioning
confidence: 99%