...
机译:远程电子投票协议的保密性,抗胁迫性和可验证性的形式验证
LIP2-LR99ES18, Faculty of Science of Tunis, Tunis-El Manar University, Tunis, Tunisia;
LJP2-LR99ES18, Faculty of Science of Tunis, Tunis-El Manar University, Tunis, Tunisia;
INSAT, LIP2-LR99ES18, Carthage University, Tunis, Tunisia;
Applied Pi-Calculus; Bisimulation; E-Voting Protocols; Formal Verification; ProVerif; Security Properties;
机译:计算模型中使用CryptoVerif的Internet投票协议中的抗强制性自动形式框架
机译:计算模型中使用CryptoVerif的Internet投票协议中的抗强制性自动形式框架
机译:验证电子投票协议的隐私类型属性
机译:基于DKR形式模型的互联网投票协议强制性的正式分析
机译:设计可验证协议的正式框架。
机译:使用基于身份的密码学的电子投票协议
机译:使用MCR12正式验证电子投票协议的身份验证类型属性