Exploring Trusted Data Dissemination in a Vehicular Social Network with a Formal Compositional Approach | IEEE Conference Publication | IEEE Xplore