Spectrum trading with insurance in cognitive radio networks | IEEE Conference Publication | IEEE Xplore