A logical framework for reasoning about policies with trust negotiations and workflows in a distributed environment | IEEE Conference Publication | IEEE Xplore