A formal model for blockchain-based consent management in data sharing[J] JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 2023(134) Peyrone, Neda Wichadakul, Duangdao