software.auditor
Class CheckBallotDecryption

java.lang.Object
  software.auditor.CheckBallotDecryption

public class CheckBallotDecryption
extends java.lang.Object

checks: - all the voted balots have been transformed - all the challenges have been opened on the correct side - ballots were properly printed (commitments for the revealed page) - ballots were properly transformed (from P3 to D3 or from D3 to R) - commitments to D2 or D4 is valid algorithm: - read in memory MeetingOneIn.xml (constant and ElectionSpecification) - read in memory MeetingThreeIn.xml - optional [check that the ballots that use for voting are not in MeetingTwoOut.xml] - read in memory MeetingThreeOut.xml - read in memory MeetingFourIn.xml - optional [check that each challenge is for a valid did (is also in MeetingThreeOut.xml)] - read in memory MeetingFourOut.xml - check that all the requests have been opened on the correct side - check that all the transformation have been made corectly - go through each line of MeetingOneOut.xml (use sax) - if a row in P is found, check if it is MeetingThreeOut - check the commitment for p1 or p2 - if a row in D in found - check the commeiment for d2 or d4

Constructor Summary

CheckBallotDecryption(java.lang.String meetingOneIn, java.lang.String meetingThreeIn, java.lang.String meetingThreeOut, java.lang.String meetingFourIn, java.lang.String meetingFourOut)
parses the five parameters and puts them into memory.

Method Summary

void	check(java.lang.String meetingOneout) First checks the transformations (d3=p3+d2 or r=d3+d4).
static void	main(java.lang.String[] args) Debug method

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

CheckBallotDecryption

public CheckBallotDecryption(java.lang.String meetingOneIn,
                             java.lang.String meetingThreeIn,
                             java.lang.String meetingThreeOut,
                             java.lang.String meetingFourIn,
                             java.lang.String meetingFourOut)
                      throws java.lang.Exception

parses the five parameters and puts them into memory. They are smaller them m1out (m1out will not be kept in memory)

Parameters:

meetingOneIn -

meetingThreeIn -

meetingThreeOut -

meetingFourIn -

meetingFourOut -

Throws:

java.lang.Exception

Method Detail

check

public void check(java.lang.String meetingOneout)
           throws java.lang.Exception

First checks the transformations (d3=p3+d2 or r=d3+d4). Then it checks the commitments All the challenges have to be checked. m1in is not read in memory

Parameters:

meetingOneout -

Throws:

java.lang.Exception - - if the auditor find an iregularity, or (null) if one of the challenges is not opened

main

public static void main(java.lang.String[] args)
                 throws java.lang.Exception

Debug method

Parameters:

args -

Throws:

java.lang.Exception