Formal analysis and offline monitoring of electronic exams

A Kassem, Y Falcone, P Lafourcade - Formal Methods in System Design, 2017 - Springer
More and more universities are moving toward electronic exams (in short e-exams). This
migration exposes exams to additional threats, which may come from the use of the …

[PDF][PDF] Automated Verification of Exam, Cash, aa Reputation, and Routing Protocols

S KREMER - 2015 - perso.limos.fr
Security is a crucial requirement in the applications based on information and
communication technology, especially when an open network such as the Internet is used …

[引用][C] DOSSIER DE DEMANDE D'ACCUEIL EN DÉLÉGATION

X Première, X Maître