A network-secure peer-to-peer trading framework for electricity-carbon integrated market among local prosumers. (1st April 2023)