Release Time:2019-03-09  Hits:

Indexed by: Journal Article

Date of Publication: 2012-02-01

Journal: INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS

Included Journals: Scopus、EI、SCIE

Volume: 5

Issue: 1

Page Number: 1-12

ISSN: 1875-6883

Key Words: Pi-calculus; Secret-sharing; Formal analysis; Protocol verifier

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.