Securing cognitive radio vehicular Ad hoc networks with trusted lightweight cloud computing | IEEE Conference Publication | IEEE Xplore