Detail


year2010
month
classUnrefereed Articles
intlordomDomestic
languageenglish
presentation_typeoral
authorHui Zhao, Mingchu Li, Yizhi Ren and Kouichi Sakurai
titleMechanized Analysis of Verifiable Multi-secret Sharing in the Applied Pi-calculus
authorityThe 2010 Symposium on Cryptography and Information Security (SCIS 2010)
noteThe 2010 Symposium on Cryptography and Information Security (SCIS 2010)


[japanese page]
[top page]