抄録
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
| 本文言語 | 英語 |
|---|---|
| ページ（範囲） | 1053-1058 |
| ページ数 | 6 |
| ジャーナル | ICIC Express Letters |
| 巻 | 4 |
| 号 | 3 |
| 出版ステータス | 出版済み - 6月 2010 |
!!!All Science Journal Classification (ASJC) codes
- 制御およびシステム工学
- コンピュータ サイエンス（全般）