On the Verifiability of (Electronic) Exams

Abstract : The main concern for institutions that organize exams is to detect when students cheat. Actually more frauds are possible and even authorities can be dishonest. If institutions wish to keep exams a trustworthy business, anyone and not only the authorities should be allowed to look into an exam’s records and verify the presence or the absence of frauds. In short, exams should be verifiable. However, what verifiability means for exams is unclear and no tool to analyze an exam’s verifiability is available. In this paper we address both issues: we formalize several individual and universal verifiability properties for traditional and electronic exams, so proposing a set of verifiability properties and clarifying their meaning, then we implement our framework in ProVerif, so making it a tool to analyze exam verifiability. We validate our framework by analyzing the verifiability of two existing exam systems – an electronic and a paper-and-pencil system.
Type de document :
Rapport
[Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015
Liste complète des métadonnées

Littérature citée [23 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01337411
Contributeur : Jannik Dreier <>
Soumis le : samedi 25 juin 2016 - 23:40:45
Dernière modification le : vendredi 6 juillet 2018 - 15:06:10
Document(s) archivé(s) le : lundi 26 septembre 2016 - 10:54:13

Fichier

TR-2014-2.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01337411, version 1

Citation

Jannik Dreier, Rosario Giustolisi, Ali Kassem, Pascal Lafourcade, Gabriele Lenzini. On the Verifiability of (Electronic) Exams. [Technical Report] VERIMAG UMR 5104, Université Grenoble Alpes, France. 2015. 〈hal-01337411〉

Partager

Métriques

Consultations de la notice

658

Téléchargements de fichiers

64