Hits:

Indexed by:期刊论文

Date of Publication:2010-06-01

Journal:ICIC Express Letters

Included Journals:EI、Scopus

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.