Requirements Model for a High-Privacy Decentralized Carbon Emissions Trading Platform | IEEE Conference Publication | IEEE Xplore