Release Time:2019-03-13  Hits:

Indexed by: Journal Article

Date of Publication: 2010-06-01

Journal: ICIC Express Letters

Included Journals: Scopus、EI

Volume: 4

Issue: 3

Page Number: 1053-1058

Abstract: In this paper, we give an abstraction of verifiable multi-secret sharingschemes that is accessible to a, fully mechanized analysis. The abstraction isformalized, within the applied, pi-calculus using an equational theory thatabstractly characterizes the cryptographic semantics of secret share. Based onthat, we verify the threshold certificate protocol in a convergent rewritingsystem suitable for the automated protocol verifier Pro Verif. ICIC International ? 2010.