Systèmes de tests et evaluations sûrs et vérifiables – SEVERITAS
SEVERITAS vise à améliorer la sécurité des systèmes électroniques de test et d'évaluation (e-TAS). Ces systèmes mesurent les compétences et les performances des utilisateurs. Ils ont été introduits pour améliorer la gestion, réduire le temps d'évaluation, atteindre un public plus large, mais pas pour assurer la sécurité. La sécurité est indispensable pour les e-TAS et elle est encore largement inexplorée. SEVERITAS vise à combler cela en étudiant les propriétés de sécurité adaptées; en mettant à jour les outils automatisés de vérification formelle pour les e-TAS; en développant de nouvelles procédures et protocoles e-TAS sûrs, transparents, vérifiables et légaux; en déployant de nouvelles stratégies de surveillance de l'exécution pour réduire les fraudes; en étudiant l'expérience utilisateur des e-TAS. Et grâce à la connexion avec les acteurs de l'e-TAS, comme OASYS, ce projet contribuera au développement d'e-TAS sécurisé.
Coordination du projet
Yliès Falcone (Laboratoire d'Informatique de Grenoble)
L'auteur de ce résumé est le coordinateur du projet, qui est responsable du contenu de ce résumé. L'ANR décline par conséquent toute responsabilité quant à son contenu.
Partenariat
LIG Laboratoire d'Informatique de Grenoble
LIMOS Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes
SnT/UL University of Luxembourg / Interdisciplianary Center for Security, Reliability and Trust
LORIA Laboratoire lorrain de recherche en informatique et ses applications (LORIA)
Aide de l'ANR 340 148 euros
Début et durée du projet scientifique :
- 48 Mois