Object-Oriented Approach to Specify Secret Sharing Protocol in Security Critical System Using Formal Method

Main Article Content

Yew Kok Meng
Mohammad Zahidur Rahman
Sai Peck Lee

Abstract

Computers are being used increasingly in different security critical systems like electronic commerce and health care systems. The formal analysis turns out to be very useful that its application should be routine for financial and security critical systems. To win the confidence of users of a secured system, like secure secret sharing protocol, there is no other alternative than the formal method.


 


In this paper, we first briefly introduce the secret sharing system and Object-Z formal specification tool. Then we present our design of the secret sharing scheme. In our model, the participating user and the information sharing authority dealer are modeled. To exchange information securely between users and the dealer, private channels are used. Broadcast channel is used for open information exchange. Both types of channels have been modeled. The model is formally specified by introducing the concept of combine object for collecting secret shares and for checking whether they lie in the perfect secret sharing scheme. We finally conclude with our experience.

Downloads

Download data is not yet available.

Article Details

How to Cite
Meng, Y. K., Rahman, M. Z., & 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), 76–83. Retrieved from https://juku.um.edu.my/index.php/MJCS/article/view/5823
Section
Articles