A Formal Study of Trust-Based Routing in Wireless Ad Hoc Networks | IEEE Conference Publication | IEEE Xplore