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: http://jice.um.edu.my/index.php/MJCS/article/view/5823 (Accessed: 1 July 2024).