A B C E G I L M N P R S T

A

auditor - package auditor
 

B

ballotsOpenedForAudit - Variable in class auditor.PreElectionAudit
table of ballot's indexes opened for audit read from MeetingTwoOut.xml: xml/database/print/ row[id]
ballotsRequestedForAudit - Variable in class auditor.PreElectionAudit
table of ballot's indexes requested for audit read from MeetingTwoIn.xml: xml/challenges/print/ row[id]

C

c1 - Variable in class auditor.PreElectionAudit
Commitments to P table read from MeetingOneOut.xml: xml/database/print/row s1/s2
c2 - Variable in class auditor.PreElectionAudit
 
checkDrowCommitment(String, int, String, String, int, int, int, String) - Static method in class auditor.Crypto
Checks if commitment cmt is correct for given data
checkProwCommitment(String, String, int, String, String) - Static method in class auditor.Crypto
Checks if cmt is a correct commitment to message (pi, pid) with given salt slt
cipherNoPaddingNoKey - Static variable in class auditor.Crypto
 
cipherPkcs5Padding - Static variable in class auditor.Crypto
 
cl - Variable in class auditor.Commitments
Commitment left
cm - Variable in class auditor.Instance
 
Commitments - Class in auditor
Class for basic operations on commitments
Commitments(String, String) - Constructor for class auditor.Commitments
 
Compare(Permutation) - Method in class auditor.Permutation
Method that compares two permutation arrays.
computeCommitment(String, String, byte[]) - Static method in class auditor.Crypto
Given a message m, salt skm, commitment cmt to m and public constant C it returnes if the commitment to the message m is valid sak=Encrypt C with skm h1 = SHA256(m, sak).
computeCommitment(byte[], byte[], byte[]) - Static method in class auditor.Crypto
given a salt slt, election constant c, computes commitment to the message m
cr - Variable in class auditor.Commitments
Commitment right
Crypto - Class in auditor
Class responsible for performing cryptographic operations - mainly for checking commitments
Crypto() - Constructor for class auditor.Crypto
 

E

electionConstant - Variable in class auditor.PreElectionAudit
Election Constant read from MeetingOneIn.xml: xml/constant

G

getCL(int, int) - Method in class auditor.Partition
 
getCR(int, int) - Method in class auditor.Partition
 
getElement(int) - Method in class auditor.Permutation
Method returns i'th element of a permutation
getLength() - Method in class auditor.Permutation
 

I

in - Variable in class auditor.Partition
 
Instance - Class in auditor
Class that is used for storing cl/cr commitments for given Partition/Instance
Instance(int) - Constructor for class auditor.Instance
 
inversePerm() - Method in class auditor.Permutation
Method returns inverse permutation to the given one.

L

length - Variable in class auditor.Permutation
 

M

main(String[]) - Static method in class auditor.PreElectionAudit
Method that runs post-audit check of table RS, RM and RF
makeDMessage(byte, byte, byte[], int, byte[]) - Static method in class auditor.Crypto
Prepares a message for commitment
makePMessage(byte[], byte[]) - Static method in class auditor.Crypto
Returns a byte array of "message" for ballot serial and p
maxNumberOfAnswersSelected - Variable in class auditor.PreElectionAudit
 
multiplyRight(Permutation) - Method in class auditor.Permutation
Method returns permutation which is a multiplication of a permutation a and a permutation b.

N

numberOfAnswers - Variable in class auditor.PreElectionAudit
 
numberOfBallots - Variable in class auditor.PreElectionAudit
No of ballots read from MeetingOneIn.xml: xml/noBallots
numberOfDTables - Variable in class auditor.PreElectionAudit
No of D Tables read from MeetingOneIn.xml: xml/noDs
numberOfQuestions - Variable in class auditor.PreElectionAudit
 

P

p1 - Variable in class auditor.PreElectionAudit
 
p2 - Variable in class auditor.PreElectionAudit
 
parse(String) - Static method in class auditor.Crypto
Changes permutation string into a byte array
Partition - Class in auditor
Class that helps checking commitments cl/cr
Partition(int, int) - Constructor for class auditor.Partition
 
partitionCommitments - Variable in class auditor.PreElectionAudit
 
perm - Variable in class auditor.Permutation
 
Permutation - Class in auditor
This class implements operations on permutations
Permutation(int) - Constructor for class auditor.Permutation
Default constructor - creates array of integers of given size
Permutation(String) - Constructor for class auditor.Permutation
For proper string of integers (separated with single spaces) transforms it into array of integers
Permutation(String, int, int) - Constructor for class auditor.Permutation
Creates a permutation of a length equal to pLength from a given pString, starting from the start integer
Permutation(Permutation) - Constructor for class auditor.Permutation
 
PreElectionAudit - Class in auditor
Class that runs pre election audit for Scantegrity elections
PreElectionAudit(String) - Constructor for class auditor.PreElectionAudit
 

R

readElectionSpec(String, String) - Method in class auditor.PreElectionAudit
Method parses ElectionSpec.xml - reads information about questions (number of questions, type of questions, number of answers)
readMeetingOneIn(String, String) - Method in class auditor.PreElectionAudit
Method parses MeetingOneIn.xml and checks:
readMeetingOneOut(String, String) - Method in class auditor.PreElectionAudit
Method checks: if the number of rows in the print element is the same as the number of ballots in MeetingOneIn.xml if the number of rows in each instance in a partition element is the same as noBallots in MeetingOneIn.xml if the number of instances in each partition element is the same as noDs in MeetingOneIn.xml
readMeetingTwoIn(String, String) - Method in class auditor.PreElectionAudit
Parses meetingTwoIn and reads id's of ballots requested for audit
readMeetingTwoOut(String, String) - Method in class auditor.PreElectionAudit
Parses MeetingTwoOut.xml - reads id's of ballots opened for audit - then checks if commitments to p1 and p2 for these ids are formed correctly - then checks for all D-tables if commitments to d2 and d4 are correct verify if d2(d4) = p2(p1^-1)

S

setCL(String) - Method in class auditor.Commitments
 
setCL(int, int, String) - Method in class auditor.Partition
 
setCR(String) - Method in class auditor.Commitments
 
setCR(int, int, String) - Method in class auditor.Partition
 
setElement(int, int) - Method in class auditor.Permutation
Method sets val into i'th element of the permutation
sha - Static variable in class auditor.Crypto
 
showPerm() - Method in class auditor.Permutation
Method that creates a string with permutation
startFrom - Variable in class auditor.PreElectionAudit
 

T

testRequestedData() - Method in class auditor.PreElectionAudit
 
typeOfAnswerChoice - Variable in class auditor.PreElectionAudit
 

A B C E G I L M N P R S T