MastDP: Matching Based Double Auction Mechanism for Spectrum Trading with Differential Privacy | IEEE Conference Publication | IEEE Xplore