Formal Specification and Analysis of Trusted Communities | IEEE Conference Publication | IEEE Xplore