A finite equivalence of verifiable multi-secret sharing

Hui Zhao, Mingchu Li, Kouichi Sakurai, Yizhi Ren, Jonathan Z. Sun, Fengying Wang

研究成果: ジャーナルへの寄稿記事

1 引用 (Scopus)

抄録

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.

元の言語英語
ページ(範囲)1-12
ページ数12
ジャーナルInternational Journal of Computational Intelligence Systems
5
発行部数1
DOI
出版物ステータス出版済み - 2 2012

Fingerprint

Equational Theory
Secret Sharing
Semantics
Equivalence
Rewriting Systems
Secret Sharing Scheme
π-calculus
Certificate
Encoding
Verify
Abstraction

All Science Journal Classification (ASJC) codes

  • Computer Science(all)
  • Computational Mathematics

これを引用

A finite equivalence of verifiable multi-secret sharing. / Zhao, Hui; Li, Mingchu; Sakurai, Kouichi; Ren, Yizhi; Sun, Jonathan Z.; Wang, Fengying.

:: International Journal of Computational Intelligence Systems, 巻 5, 番号 1, 02.2012, p. 1-12.

研究成果: ジャーナルへの寄稿記事

Zhao, Hui ; Li, Mingchu ; Sakurai, Kouichi ; Ren, Yizhi ; Sun, Jonathan Z. ; Wang, Fengying. / A finite equivalence of verifiable multi-secret sharing. :: International Journal of Computational Intelligence Systems. 2012 ; 巻 5, 番号 1. pp. 1-12.
@article{3dc7cda7cf354e76accfbd4225abf274,
title = "A finite equivalence of verifiable multi-secret sharing",
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.",
author = "Hui Zhao and Mingchu Li and Kouichi Sakurai and Yizhi Ren and Sun, {Jonathan Z.} and Fengying Wang",
year = "2012",
month = "2",
doi = "10.1080/18756891.2012.670517",
language = "English",
volume = "5",
pages = "1--12",
journal = "International Journal of Computational Intelligence Systems",
issn = "1875-6891",
publisher = "Atlantis Press",
number = "1",

}

TY - JOUR

T1 - A finite equivalence of verifiable multi-secret sharing

AU - Zhao, Hui

AU - Li, Mingchu

AU - Sakurai, Kouichi

AU - Ren, Yizhi

AU - Sun, Jonathan Z.

AU - Wang, Fengying

PY - 2012/2

Y1 - 2012/2

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84865741414&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84865741414&partnerID=8YFLogxK

U2 - 10.1080/18756891.2012.670517

DO - 10.1080/18756891.2012.670517

M3 - Article

AN - SCOPUS:84865741414

VL - 5

SP - 1

EP - 12

JO - International Journal of Computational Intelligence Systems

JF - International Journal of Computational Intelligence Systems

SN - 1875-6891

IS - 1

ER -