Slashdot Mirror

← Back to Stories (view on slashdot.org)

Linux On Brazilian Voting Machines, the Video

Posted by kdawson on from the eat-your-heart-out-diebold dept.

Augusto writes "Just 10 days ago, 130M Brazilian voters were turned into users of one of the largest Linux deployments worldwide: the 400,000 electoral sections in all of the 5,563 Brazilian municipalities were running electronic voting machines, and the Linux kernel was running in all of them. These voting machines have been used in Brazil since 1996, and are rugged, self-contained, low-spec PCs. We've discussed the technical details of this Linux deployment and implementation elsewhere, but I thought it would be interesting to show some pictures (and a movie) of Linux booting on these voting machines. So I asked for official permission and thus was helped by a technician while I took some quick pictures and made a small movie showing the boot process, where you can actually read the kernel messages."

3 of 252 comments (clear)

  1. Linux is great, but... by religious+freak · · Score: 5, Insightful

    IT is great... Linux is great, but e-voting doesn't belong anywhere in major, general elections, IMHO.

    If you can code it, you can hack it. If you have coders or admins, you have potential security threats.

    --
    If you can read this... 01110101 01110010 00100000 01100001 00100000 01100111 01100101 01100101 01101011
    1. Re:Linux is great, but... by FlyingBishop · · Score: 5, Insightful

      My main question is who can modify the source of the software they're using, and how are they verifying that the binaries are unmodified. Generally, I agree that Linux doesn't belong there, but I don't think it's unreasonable to say that any software used in voting machines must be open source.

      Here in the states, state law clearly defines how votes should be cast and counted. Without the source code to the program responsible for counting the votes, these laws will quite literally read something along the lines of:

      1.Voters enter votes into machines.
      2. ???
      3. Voters receive election results.

      The procedures for voting are a matter of public law. That must extend to procedures within the voting machines.

      If you think that's putting too large a technical burden on the lawmakers, look at building codes, patent law, etc. It's a little too late to call for law that is perfectly accessible to non-technical citizens.

    2. Re:Linux is great, but... by buchner.johannes · · Score: 5, Insightful

      An election process has to provide the following characteristics (in some countries these are taken serious):

            1. Access: Only people allowed for voting may place their vote
            2. Equality: Each person may only be counted once and with the same weight of vote.
            3. Privacy: Noone can find out for whom a person voted.
            4. Secure against forgery:
                        1. Valid votes can not be changed/forged.
                        2. Valid votes may not be destroyed.
                        3. Invalid votes may not be added
            5. Checkable: Each voter has the possibility, independent from any other person, to check the correctness of an election including all previous points.
      ( I didn't find this in the English Wikipedia, this is a quick translation from the German Wikipedia )**.

      You cannot ensure these with voting machines without the use of paper*. It is not a matter of code, just a fact of information and physics.

      Use paper. Optionally with punchscan and the such. Even the cost factor is irrelevant. Democracy is worth it.

      ____
      *Maybe with quantum computers. But can the average person check the setup? With paper, you can.
      ** I'd be grateful for a link

      --
      NB: The message above might reflect my opinion right now, but not necessarily tomorrow or next year.