A Finite Equivalence of Verifiable Multi-secret Sharing
Hui Zhao, Mingchu Li, Kouichi Sakurai, Yizhi Ren, JonathanZ. Sun, Fengying Wang · International Journal of Computational Intelligence Systems · 2012
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.