Meng YK, Rahman MZ, Lee SP. Object-Oriented Approach to Specify Secret Sharing Protocol in Security Critical System Using Formal Method. MJCS [Internet]. 2000 Jun. 1 [cited 2024 Jul. 1];13(1):76-83. Available from: http://borneojournal.um.edu.my/index.php/MJCS/article/view/5823