"RBAC-Based Secure Interoperation Using Constraint Logic Programming."

Jinwei Hu, Ruixuan Li, Zhengding Lu (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics