استقلال برمجي

المصطلح «الاستقلال البرمجي» (SI) تمت صياغته على يد الدكتور رون ريفست والباحث في المعهد الوطني للمعايير والتكنولوجيا (NIST) جون واك. وآلة تصويت الاستقلال البرمجي هي آلة لا يعتمد سجل الجدولة بها بشكل مفرد على البرامج. فالهدف من نظام الاستقلال البرمجي هو تحديد هل كل الأصوات التي تم تسجيلها مشروعة أم خاطئة بشكل قاطع.^[1]

التعريف الفني للاستقلال البرمجي هو: ^[2]

برنامج التصويت هو برنامج لا يعتمد على البرامج إذا كان أي تغيير أو خطأ غير مكتشف في البرامج لا يمكن أن يسبب تغييرًا أو خطأ لا يمكن اكتشافه في نتائج الانتخابات.

وقد تمت إعادة تعريف الاستقلال البرمجي على أنه ملكية عالمية لجدولة الأصوات بدلاً من كل صوت على حدة، حيث يهدف إلى اكتشاف وليس منع الأخطاء والخداع عبر العمليات البشرية.^[3]

قرار لجنة تطوير الإرشادات الفنية (TGDC)

تبنت لجنة تطوير الإرشادات الفنية التابعة للجنة مساعدة الانتخابات قرار الاستقلال البرمجي للدورة التالية VVSG::^[4]

استجاب مسئولو وموردو أنظمة الانتخابات بشكل مناسب للتعقيد المتنامي في أنظمة التصويت من خلال إضافة المزيد من عناصر التحكم الصارمة على الوصول والتشفير والاختبارات والأمان المادي، والتي تم فرضها على تدابير وأنظمة الانتخابات. وقد نظرت لجنة تطوير الإرشادات الفنية في أمر التهديدات الحالية فيما يتعلق بأنظمة التصويت، وفي هذا الوقت، ترى أن الشئون الأمنية لا تضمن استبدال أنظمة التصويت الموزعة عندما يتم استخدام أفضل ممارسات لجنة مساعدة الانتخابات.

من أجل إتاحة إمكانية المراجعة والتعامل بشكل تفاعلي مع الصعوبات المتنامية للحماية ضد كل التهديدات المتوقعة، توجه لجنة تطوير الإرشادات الفنية STS لكتابة المتطلبات الخاصة بالإصدار التالي من إرشادات نظام التصويت التطوعي (VVSG)، الذي يفرض أن تكون أنظمة التصويت مستقلة عن البرامج. وتوجه لجنة تطوير الإرشادات الفنية STS وHFP لوضع مسودة بمتطلبات إمكانية الاستخدام والوصول لضمان تحقق كل الناخبين من سجلات التصويت المستقلة.

كما أن لجنة تطوير الإرشادات الفنية توجه كذلك STS واللجان الفرعية للمتطلبات والاختبارات الجوهرية (CRT) لوضع مسودة بالمتطلبات لضمان إمكانية الاعتماد على الأنظمة التي تنتج سجلات تصويت قابلة للتحقق منها بشكل مستقل وتوفير دعم كافٍ للمراجعات.

أمثلة على الأنظمة

من أمثلة أنظمة التصويت المستقلة عن البرامج أنظمة التصويت بالمسح السياسي وأجهزة الكمبيوتر الإلكترونية للتسجيل المباشر (DRE) مع مراجعة الحسابات الورقية التي يتم التحقق منها من خلال الناخبين.

المراجع

1. Requiring Software Independence in VVSG 2007: STS Recommendations for the TGDC, A draft white paper, not representing المعهد الوطني للمعايير والتقنية policy "نسخة مؤرشفة" (PDF). مؤرشف من الأصل في 2013-10-03. اطلع عليه بتاريخ 2013-10-31.
2. Rivest, Ron and Wack, John(2006)."On the notion of “software independence” in voting systems"(نسق المستندات المنقولة). DRAFT Version July 28, 2006.Retrieved on 2007-02-15.
3. 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 Technology at 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.) "نسخة مؤرشفة" (PDF). مؤرشف من الأصل في 2010-05-27. اطلع عليه بتاريخ 2013-10-31.
4. Resolutions Adopted by the TGDC at the December 4 and 5 Plenary Sessionنسخة محفوظة 04 فبراير 2012 على موقع واي باك مشين.

انظر أيضًا

• أنظمة التحقق المستقلة
• اعتماد آلات التصويت