Li, X., & Wang, M. (2023). Trusted Sharing of Data Under Cloud-Edge-End Collaboration and Its Formal Verification. In (pp. 1–4). Daytona Beach, FL, USA: IEEE. http://doi.org/10.1109/LCN58197.2023.10223319 (Original work published 2025)