论文标题
尽管有强制性
Secure Internet Exams Despite Coercion
论文作者
论文摘要
我们研究用于在线考试的强制性抗性。我们提出了两个属性，即匿名提交和单盲，如果持有，即使当事方彼此强迫透露秘密，则可以保留测试，测试者和审查员之间链接的匿名性。这些属性是相关的：甚至没有注释！，一种安全的考试协议，满足匿名标记和匿名审查员的结果是抗强制性的。然后，我们提出了一种强制抗性协议，除了已知的匿名性能外，我们还符合我们引入的两个新型属性。我们在Proverif中正式证明了我们的主张。该论文还提出了另一个贡献：它描述了对指示混音网的攻击（和修复）！用于确保无链接的用途。我们在新协议中使用MixNet的安全版本。
We study coercion-resistance for online exams. We propose two properties, Anonymous Submission and Single-Blindness which, if hold, preserve the anonymity of the links between tests, test takers, and examiners even when the parties coerce one another into revealing secrets. The properties are relevant: not even Remark!, a secure exam protocol that satisfied anonymous marking and anonymous examiners results to be coercion resistant. Then, we propose a coercion-resistance protocol which satisfies, in addition to known anonymity properties, the two novel properties we have introduced. We prove our claims formally in ProVerif. The paper has also another contribution: it describes an attack (and a fix) to an exponentiation mixnet that Remark! uses to ensure unlinkability. We use the secure version of the mixnet in our new protocol.
