TRUMP: Supporting efficient realization of protocols for cognitive radio networks | IEEE Conference Publication | IEEE Xplore