T. Ali, “Z Notation Formalization of Blockchain Healthcare Document Sharing Based on CRBAC”, jictra, pp. 16–29, Jun. 2018, Accessed: Aug. 25, 2026. [Online]. Available: https://jictra.com.pk/index.php/jictra/article/view/78