Title

A Finite Equivalence of Verifiable Multi-secret Sharing

Document Type

Article

Publication Date

2-1-2012

Department

Computing

Abstract

We give an abstraction of verifiable multi-secret sharing schemes that is accessible to a fully mechanized analysis. This abstraction is formalized within the applied pi-calculus by using an equational theory which characterizes the cryptographic semantics of secret share. We also present an encoding from the equational theory into a convergent rewriting system, which is suitable for the automated protocol verifier ProVerif. Based on that, we verify the threshold certificate protocol in ProVerif.

Publication Title

International Journal of Communication Systems

Volume

5

Issue

1

First Page

1

Last Page

12