A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment.

Philippe Balbiani, Yannick Chevalier, Marwa El Houri

Browse the full CRiSIS paper archive.