- Software independence
The term "software independence" (SI) was coined by Dr.
Ron Rivestand NIST researcher John Wack. A software independent voting machineis one whose tabulation record does not rely solely on software. The goal of an SI system is to definitively determine whether all votes recorded are legitimately or by error. [ [http://vote.nist.gov/DraftWhitePaperOnSIinVVSG2007-20061120.pdf Requiring Software Independence in VVSG 2007: STS Recommendations for the TGDC] , A draft white paper, not representing NIST policy]
The technical definition of SI is: [cite paper
author = Rivest, Ron and Wack, John
title = On the notion of "software independence" in voting systems
version =DRAFT Version July 28, 2006
date = 2006
accessdate = 2007-02-15 ]
"A voting system is software-independent if an undetected change or error in its software cannot cause an undetectable change or error in an election outcome."
SI has been redefined as a global property for a tabulation of votes rather than of each individual vote, aiming to detect rather than prevent error and fraud through human processes. [ [http://vote.nist.gov/meeting-03222007/SI-n-access-031207.pdf Four Approaches to SI and Accessibility] , Prepared at the direction of the HFP and STS Subcommittees of the Technical Guidelines Development Committee (TGDC) ("This paper has been prepared by the
National Institute of Standards and Technologyat the direction of the HFP and STS subcommittees of the TGDC. It may represent preliminary research findings and does not necessarily represent any policy positions of NIST or the TGDC.")]
Election Assistance Commission's Technical Guidelines Development Committeeadopted an SI resolution for the next iteration of the VVSG: [ [http://vote.nist.gov/AdoptedResolutions12040506.pdf Resolutions Adopted by the TGDC at the December 4 and 5 Plenary Session] ]
"Election officials and vendors have appropriately responded to the growing complexity of voting systems by adding more stringent access controls, encryption, testing, and physical security to election procedures and systems. The TGDC has considered current threats to voting systems and, at this time, finds that security concerns do not warrant replacing deployed voting systems where EAC Best Practices are used."
"To provide auditability and proactively address the increasing difficulty of protecting against all prospective threats, the TGDC directs STS to write requirements for the next version of the VVSG requiring the next generation of voting systems to be software independent. The TGDC directs STS and HFP to draft usability and accessibility requirements to ensure that all voters can verify the independent voting record."
"The TGDC further directs STS and Core Requirements and Testing Subcommittees (CRT) to draft requirements to ensure that systems that produce independently verifiable voting records are reliable and provide adequate support for audits."
Examples of software-independent voting systems are
optical scan voting systems and direct recording electronic voting computers (DRE) with a voter verified paper audit trail.
Independent verification systems
Certification of voting machines
Wikimedia Foundation. 2010.
Look at other dictionaries:
Software quality — Contents 1 Motivation for Defining Software Quality 2 Definition 3 Alternative Approaches to Software Quality Defin … Wikipedia
Software package metrics — This article describes various software package metrics. They have been mentioned by Robert Cecil Martin in his Agile Software Development: Principles, Patterns, and Practices book (2002).The term software package , as it is used here, refers to… … Wikipedia
Software choice for discrete event simulations — Tools for discrete event simulationsDiscrete event simulations may be written in any general purpose computer language such as C++ but to construct an industry grade project in reasonable time with a general computing language consumes too much… … Wikipedia
Device independence — is the process of making a software application be able to function on a wide variety of devices regardless of the local hardware on which the software is used. Contents 1 Desktop computing 2 Virtualization and Emulation 3 World Wide Web Usage … Wikipedia
I-War (Independence War) — Infobox VG title = I War, Independence War North American box developer = Particle Systems Ltd. publisher = Infogrames designer = Glyn Williams, Michael Powell engine = BRender released = vgrelease|Europe|EUR|November 1997 vgrelease|United… … Wikipedia
Free and open source software — FOSS redirects here. For the K 8 science curriculum, see Full Option Science System. Free and open source software (F/OSS, FOSS) or free/libre/open source software (FLOSS) is software that is liberally licensed to grant users the right to use,… … Wikipedia
Data independence — is the type of data transparency that matters for a centralized DBMS. It refers to the immunity of user applications to make changes in the definition and organization of data. Physical data independence deals with hiding the details of the… … Wikipedia
Component-based software engineering — A simple example of two components expressed in UML 2.0. The checkout component, responsible for facilitating the customer s order, requires the card processing component to charge the customer s credit/debit card (functionality that the latter… … Wikipedia
Open Software Foundation — The Open Software Foundation (OSF) was a not for profit organization founded in 1988 under the U.S. National Cooperative Research Act of 1984 to create an open standard for an implementation of the UNIX operating system. Contents 1 History… … Wikipedia
Free Software Foundation of India — The Free Software Foundation of India, is a sister organisation to the Free Software Foundation. It was founded in Thiruvananthapuram (Trivandrum), the capital of Kerala in 2001, [ [http://noticias.hipatia.info/modules.php?op=modload name=News… … Wikipedia