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

Return to Article Details Object-Oriented Approach to Specify Secret Sharing Protocol in Security Critical System Using Formal Method Download Download PDF