鯉 KOAは、2003年にオランダ政府向けに開発されたフリーソフトウェア/リモート/インターネット投票システムです。
今すぐダウンロード

鯉 ランキングとまとめ

鯉 タグ

インターネット 遠隔 電子 投票システム リモート投票 インターネット投票

鯉 説明

KOAは、2003年にオランダ政府向けに開発されたフリーソフトウェア/リモート/インターネット投票システムです。 Koaはkiezen opが率先して、2003年にオランダ政府のために開発されたフリーソフトウェア/リモート/インターネット投票システムです。「Kiezen op Afstand」は文字通りオランダ語から「リモート投票」として翻訳されています。このシステムのバージョンは、2004年6月の欧州議会選挙で使用され、その後GNU General Publicライセンスの下でリリースされました。この作品の一環として、Radboud University Nijmegenのシステム（SOS）グループのセキュリティは、正式に指定され、Javaモデリング言語（JML）とJava用の拡張静的チェッカーを使用して（部分的に）検証された独立したTallyアプリケーションを作成しました。 Java2。 GPLの下でオランダ政府によって発表されたKOAのバージョンは完全ではありませんでした。展開されたKOAシステムのおよそ10％を構成するいくつかの機能が、著者、LogicAcmgによって所有され、所有されていました。さらに、公開目的のために（例えば、公共/秘密鍵ペアの長さが照らされた）。この10％がリバース設計されており、システム全体が完全にオープンソース基盤に移植されました。 KOAはアイルランドの選挙システムを支援するために拡張されています。この作品は、投票と呼ばれるプラグインの開発を通じて実行されています。投票のコアは、アイルランド投票計数システムの完全なJML仕様です。この正式な仕様は、アイルランドの法則に記載されているように選挙回数アルゴリズムの完全な機能仕様から導き出されます。この仕様書の実装は、契約方法論による検証中心の設計を使用して現時点で書かれています。電子的および遠隔投票のための実験的なプラットフォームとしてのKOAに関するその他の作業は続けています。まず、ドメイン固有の言語で高レベルで正式に指定されなければならず、このような高レベルの仕様を翻訳するための方法論を提供することによって検証された電子投票のコアセキュリティ特性を識別しています。 KOAにおけるこれらの特性を正式に検証する意図を備えた、コンクリート、低レベルの仕様およびタイプ注釈。さらに、MIDPベースのリモート投票アプレットがUCDで開発されました。このアプリケーションは、KOA作品の残りの部分で使用されているのと同じ検証中心のアプローチを使用して、KOAへの組み込みの可能性について検討されています。

鯉 関連ソフトウェア