Procedural security in electronic voting | IEEE Conference Publication | IEEE Xplore