We have in this thesis looked at possible improvements with respect to security for the Norwegian Internet voting protocol. We have made a new protocol with independent secret keys, where all the encryptions of the votes are done by the voter's computer. We have also made two Special-Honest-Verifier-Zero-Knowledge Arguments of Knowledge for proving permutation and decryption of ElGamal ciphertexts, useful for the decryption service.