A finite equivalence of multisecret sharing based on Lagrange interpolating polynomial

作者：Zhao Hui^*; Sun Jonathan Z; Wang Fengying; Zhao Lei

来源：Security and Communication Networks, 2013, 6(9): 1169-1175.

DOI：10.1002/sec.694

• pi-calculus
• secret sharing
• formal analysis
• protocol verifier

We give an abstraction of multisecret sharing based on Lagrange interpolating polynomial that is accessible to a fully mechanized analysis. This abstraction is formalized in the applied pi-calculus by using an equational theory that characterizes the cryptographic semantics of multisecret sharing based on Lagrange interpolating polynomial. We also present an encoding from the equational theory into a convergent rewriting system, which is suitable for the automated protocol verifier ProVerif. Finally, we verify the Yang-Chang-Hwang (YCH) protocol in ProVerif.

• 出版日期2013-9
• 单位山东理工大学