EFSC: an Efficient, Flexible and Secure Trading System for Computing Power Network | IEEE Conference Publication | IEEE Xplore