Object-oriented approach to specify secret sharing protocol in security critical system using formal method

Yew, Kok Meng and Rahman, Mohammad Zahidur and Lee, Sai Peck (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. ISSN 0127-9084,

Full text not available from this repository.
Official URL: https://ejournal.um.edu.my/index.php/MJCS/article/...

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.

Item Type: Article
Funders: UNSPECIFIED
Uncontrolled Keywords: Formal method; Secret sharing
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions: Faculty of Computer Science & Information Technology
Depositing User: Ms. Juhaida Abd Rahim
Date Deposited: 12 Apr 2021 01:41
Last Modified: 12 Apr 2021 01:41
URI: http://eprints.um.edu.my/id/eprint/25849

Actions (login required)

View Item View Item