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] Development of the protocol ¾ELECTRONIC CASH¿ with inspection correction rules of the electronic e-cash number for e-Commerce systems

IK Writter, ML Writter, NK Writter, MK Writter - researchgate.net
The purpose of the research is to reduce the time to determine an intruder who tries to pay
for a purchase with an electronic coin with a fake serial number by develo** an algorithm …