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

Formal verification of the Norwegian Internet Voting Protocol

Slågedal, Solvei
Master thesis
Thumbnail
View/Open
19954_FULLTEXT.pdf (825.9Kb)
19954_ATTACHMENT.zip (16.86Kb)
19954_COVER.pdf (1.556Mb)
URI
http://hdl.handle.net/11250/2560372
Date
2018
Metadata
Show full item record
Collections
  • Institutt for matematiske fag [1761]
Abstract
In this paper we look at the formalization and verification of several security components

of the cryptosystem underlying The Norwegian Internet Voting Protocol. The focus will be

on vote submission and B-Integrity.
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