Formal Modeling of Trust-Based Access Control in Dynamic Coalitions | IEEE Conference Publication | IEEE Xplore