• norsk
    • English
  • English 
    • norsk
    • English
  • Login
View Item 
  •   Home
  • Fakultet for informasjonsteknologi og elektroteknikk (IE)
  • Institutt for datateknologi og informatikk
  • View Item
  •   Home
  • Fakultet for informasjonsteknologi og elektroteknikk (IE)
  • Institutt for datateknologi og informatikk
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Formal verification of secure framework for digital exams

Akboka Apengu, Benjamin Vincent F
Master thesis
View/Open
17151_FULLTEXT.pdf (Locked)
17151_COVER.pdf (Locked)
URI
http://hdl.handle.net/11250/2615854
Date
2017
Metadata
Show full item record
Collections
  • Institutt for datateknologi og informatikk [3784]
Abstract
The digital exam might come in the near future at the Norwegian University of Science and technology. As a replacement for tradition paper exam, digital exams will bring, along the old threats, some new challenges coming from the electronic format. Only a few research has been done in the development of secure framework and only four of them have been created. From them only two have been proven, Remark! and Huszti. Huszti has been proven insecure while Remark! withstood the attack. This thesis has made the test for another one, Castella-Roca, and it was revealed that it also has some security flaws. It is possible for an attacker to know which examiner has marked which exam if the manager is dishonest.
Publisher
NTNU

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit
 

 

Browse

ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournalsThis CollectionBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

My Account

Login

Statistics

View Usage Statistics

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit