Non-monotone Attribute Delegation Based on Constraint Logic
Li Li · 2008
The current state of negative authorization ability for most attribute delegation models under distributed coalition environment is analyzed. By introducing the principle of constraint logic with constructive negation, an attribute based delegation model with negation is proposed. The corresponding operation semantics is given. The soundness and completeness of the model are verified and its suitable constraint domain is analyzed. The result of theoretical analysis indicates that the proposed model has more expressive ability than other similar models and is tractable on extended range constraint domain.