...
机译:挪威电子投票协议的形式分析
CNRS-LORIA, Nancy, France;
INRIA, Rennes, France;
Ballot secrecy; formal methods; e-voting;
机译:安全证明对关键建立协议的重要性对Jan-Chen,Yang-Shen-Shieh,Kim-Huh-Hwang Lee,Lin-Sun-Hwang和Yeh-Sun协议进行形式分析
机译:电子投票安全协议:分析与解决方案
机译:从离线E-coin协议构建基于凭证的电子投票系统
机译:挪威电子投票协议的形式分析
机译:在区块链,电子投票和可拒绝握手协议中的零知识证明,赋予性及其应用
机译:勘误至:在欧洲获得及时的正式痴呆护理:Actifcare(及时正规护理的访问)研究方案
机译:挪威电子投票协议的形式分析
机译:扩展组协议和低级加密基元的正式密码协议分析技术