Object-oriented approach to specify secret sharing protocol in security critical system using formal method
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 secur...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Published: |
Faculty of Computer Science and Information Technology, University of Malaya
2000
|
| Subjects: | |
| Online Access: | http://eprints.um.edu.my/25849/ https://ejournal.um.edu.my/index.php/MJCS/article/view/5823 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|