34、考试关联性与匿名性分析框架

考试关联性与匿名性分析框架

1. 背景与问题提出

考试是测试学生在某领域能力或成就的过程，学术考试主要分为形成性考试和总结性考试。由于总结性考试关乎最终成绩，其过程面临诸多安全挑战。现有研究大多假设所有学生使用相同试卷，但为解决试卷泄露和学生作弊等问题，为每个学生或学生组提供独特试卷是一个不错的解决方案。然而，现有安全方法在使用多份试卷时显得不足，需要一种机制将学生的试卷与答卷明确关联起来，同时保证学生和考官的身份匿名。

2. 总结性考试模型

总结性考试任务可大致分为三个主要阶段：
- 预考阶段 ：
- 登记符合条件的学生，分配唯一的考试座位号。
- 任命出题人，出题并管理试卷，将试卷分发给各个考试中心。
- 考试阶段 ：
- 验证学生身份。
- 向学生发放试卷和其他所需材料。
- 监督学生考试。
- 收集学生的答卷。
- 考后阶段 ：
- 为学生和考官提供匿名性。
- 将匿名答卷分发给考官进行评估。
- 评估答卷，收集评估后的答卷。
- 最终统计成绩进行评分。

考试模型由五类通信实体组成：学生、考试机构、出题人、监考人员和考官。这些实体可建模为应用π演算中的进程，通过公共或私有通道进行通信。

2.1 考试的定义

考试 (E) 定义为以下集合的并集：
(E = {SH, N, QP, AS, SP, EP} ∪ Goals ∪ Req ∪ Sec)
其中