SSI, from Specifications to Protocol? Formally verify security!

作者: Christoph H.-J. Braun, Ross Horne, Tobias Käfer, Sjouke Mauw

摘要

该论文暂无可用摘要。