|
个人信息Personal Information
教授
博士生导师
硕士生导师
主要任职：Director of Academic Committee at Kaifa District
其他任职：开发区校区学术分委员会主任（Director of Academic Committee at Kaifa Campus）
性别：男
毕业院校：多伦多大学
学位：博士
所在单位：软件学院、国际信息与软件学院
学科：软件工程. 运筹学与控制论
办公地点：开发区（Kaifa District Campus）
联系方式：mingchul@dlut.edu.cn
电子邮箱：mingchul@dlut.edu.cn
A Finite Equivalence of Verifiable Multi-secret Sharing
点击次数：
论文类型：期刊论文
发表时间：2012-02-01
发表刊物：INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS
收录刊物：SCIE、EI、Scopus
卷号：5
期号：1
页面范围：1-12
ISSN号：1875-6883
关键字：Pi-calculus; Secret-sharing; Formal analysis; Protocol verifier
摘要：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.