Meng, Y. K., Rahman, M. Z. and Lee, S. P. (2000) “Object-Oriented Approach to Specify Secret Sharing Protocol in Security Critical System Using Formal Method”, Malaysian Journal of Computer Science, 13(1), pp. 76–83. Available at: https://ejournal.um.edu.my/index.php/MJCS/article/view/5823 (Accessed: 6 May 2024).