كوا
التحميل الان

كوا الترتيب والملخص

كوا العلامات

إنترنت التحكم عن بعد الإلكترونية نظام التصويت التصويت عن بعد التصويت على الإنترنت

كوا وصف

Koa هو برنامج مجاني للبرمجيات الإلكترونية / عن بعد / إنترنت تم تطويره للحكومة الهولندية في عام 2003. Koa تقف في Kaezen OP Afterstand وهو نظام مجاني للبرمجيات / التصويت الإلكترونية / عن بعد / إنترنت تم تطويره للحكومة الهولندية في عام 2003. "Kiezen OP AFTERA" يتم ترجمة حرفيا من الهولندية باسم "التصويت عن بعد". تم استخدام نسخة من هذا النظام في الانتخابات البرلمانية الأوروبية في يونيو 2004 وتم إطلاق سراحها لاحقا بموجب رخصة جنو العامة العامة. كجزء من هذا العمل، كتبت مجموعة أمن النظم (SOS) في جامعة RADBOUD NIJMEGEN طلب رصيد مستقل تم تحديده رسميا و (جزئيا) تم التحقق منه باستخدام لغة النمذجة Java (JAL) والمسكرات الثابتة الموسعة ل Java، ESC / Java2. لم يتم إكمال إصدار Koa الذي أصدرته الحكومة الهولندية تحت GPL. عدد من قطع الوظائف، التي تشكل حوالي 10 من نظام KOA المنشور، كانت ملكية ومملوكة للمؤلفين، Logicacmg. علاوة على ذلك، تم إجراء بعض التغييرات الأخرى لأغراض النشر (على سبيل المثال، تم توسل طول أزواج الرئيس العامة / الخاصة). كان هذا 10 عكس مهندسا وكان النظام بأكمله قد تم نقله إلى مؤسسة مفتوحة مفتوحة تماما. كما يجري تمديد كوا لدعم النظام الانتخابي الأيرلندي. يجري تنفيذ هذا العمل من خلال تطوير مكون إضافي يسمى بالصوت. Core's Core هو مواصفات JML كاملة لنظام عد الأصوات الأيرلندية. يتم اشتقاق هذه المواصفات الرسمية من المواصفات الوظيفية الكاملة لخوارزمية عد الانتخابات كما هو موضح في القانون الأيرلندي. يتم كتابة تنفيذ هذه المواصفات في الوقت الحالي باستخدام تصميمنا المركزي للتحقق من منهجية العقد. العمل الآخر على KOA، كمنصة تجريبية للتصويت الإلكتروني والنعم، مستمر. أولا، نقوم بتحديد خصائص الأمان الأساسية للتصويت الإلكتروني والبعيد الذي يجب تحديده رسميا على مستوى رفيع المستوى في لغة خاصة بالمجال، والتحقق من خلال توفير منهجية، نظري وعملية، لترجمة هذه المواصفات الرفيعة المستوى إلى المواصفات الخرسانية والمستوى المنخفضة والطلاء التوضيحية مع نية التحقق الرسمي هذه الخصائص في كوا. بالإضافة إلى ذلك، تم تطوير برنامج صفيح التصويت بعيد المستند الحديث في UCD. يجري مراجعة هذا التطبيق من أجل التأسيس المحتمل في كوا، باستخدام نفس النهج المركزي للتحقق المستخدم في بقية عمل KOA.

كوا برامج ذات صلة