論文の概要: A Declaration of Software Independence
- arxiv url: http://arxiv.org/abs/2311.03372v1
- Date: Thu, 26 Oct 2023 20:21:25 GMT
- ステータス: 処理完了
- システム内更新日: 2023-11-12 19:49:06.942661
- Title: A Declaration of Software Independence
- Title（参考訳）: ソフトウェア独立宣言
- Authors: Wojciech Jamroga, Peter Y.A. Ryan, Steve Schneider, Carsten Schurmann,
Philip B. Stark
- Abstract要約: RivestとWackは投票システムの原則と要件として、ソフトウェア独立(SI)の原則を提案した。
基本的に、投票システムは、ソフトウェアへの依存が「曖昧な証拠」である場合、すなわち、そのソフトウェアを検査せずに、ソフトウェアに物質的変化が生じたことを検知する方法がある場合、SIである。
この記事では、SIのより正式な数学的定義を提供する。
- 参考スコア（独自算出の注目度）: 1.9269226901723748
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: A voting system should not merely report the outcome: it should also provide
sufficient evidence to convince reasonable observers that the reported outcome
is correct. Many deployed systems, notably paperless DRE machines still in use
in US elections, fail certainly the second, and quite possibly the first of
these requirements. Rivest and Wack proposed the principle of software
independence (SI) as a guiding principle and requirement for voting systems. In
essence, a voting system is SI if its reliance on software is
``tamper-evident'', that is, if there is a way to detect that material changes
were made to the software without inspecting that software. This important
notion has so far been formulated only informally.
Here, we provide more formal mathematical definitions of SI. This exposes
some subtleties and gaps in the original definition, among them: what elements
of a system must be trusted for an election or system to be SI, how to
formalize ``detection'' of a change to an election outcome, the fact that SI is
with respect to a set of detection mechanisms (which must be legal and
practical), the need to limit false alarms, and how SI applies when the social
choice function is not deterministic.
- Abstract（参考訳）: 投票システムは単に結果を報告するだけでなく、報告された結果が正しいと合理的なオブザーバーを説得するための十分な証拠を提供するべきである。
多くのデプロイシステム、特に紙のないDREマシンは、米国大統領選挙でまだ使われているが、確実に第2位に失敗し、おそらく最初の要件である。
RivestとWackは投票システムの原則と要件として、ソフトウェア独立(SI)の原則を提案した。
基本的には、投票システムは、ソフトウェアへの依存度が 'Tamper-evident'' である場合、すなわち、ソフトウェアを検査せずに、ソフトウェアに物質的変更が加えられたことを検知する方法がある場合、SIである。
この重要な概念は、これまで非公式にのみ定式化されてきた。
ここでは、SIのより正式な数学的定義を提供する。
これは、システムのどの要素が選挙またはシステムに対して信頼されなければならないか、選挙結果の変更の「判断」を形式化する方法、SIが検知機構のセット(法的かつ実用的でなければならない)に関する事実、誤報を制限する必要性、社会選択関数が決定論的でない場合にSIがどのように適用されるか、といった、元の定義の微妙さとギャップを露呈している。
関連論文リスト
- Efficient Weighting Schemes for Auditing Instant-Runoff Voting Elections [57.67176250198289]
AWAIREは、適応的に重み付けされたテスト統計量であり、本質的には、テストに有効な仮説のセットを「学習」する。
我々は、より広範囲にスキームと設定を検討し、実践のための効率的な選択を特定し、推奨する。
現在のAWAIRE実装の制限は、少数の候補者に限られている。
論文 参考訳（メタデータ） (2024-02-18T10:13:01Z) - Adaptively Weighted Audits of Instant-Runoff Voting Elections: AWAIRE [61.872917066847855]
即時投票(IRV)選挙の監査方法は、リスク制限や、各投票における投票の電子的記録であるキャスト投票記録(CVR)を必要とするものではない。
我々は,CVRが利用できない場合に,適応的に重み付けされたテストスーパーマーチンガルを用いてITV選挙を効率よく監査するRLA手法を開発した。
論文 参考訳（メタデータ） (2023-07-20T15:55:34Z) - Lessons from Formally Verified Deployed Software Systems (Extended version) [65.69802414600832]
本稿は、正式に認証されたシステムを作成し、実際に使用するためにデプロイした各種のアプリケーション分野のプロジェクトについて検討する。
使用する技術、適用の形式、得られた結果、そしてソフトウェア産業が形式的な検証技術やツールの恩恵を受ける能力について示すべき教訓を考察する。
論文 参考訳（メタデータ） (2023-01-05T18:18:46Z) - FAT Forensics: A Python Toolbox for Implementing and Deploying Fairness,
Accountability and Transparency Algorithms in Predictive Systems [69.24490096929709]
FAT ForensicsというオープンソースのPythonパッケージを開発しました。
予測アルゴリズムの重要な公平性、説明可能性、透明性を検査することができる。
私たちのツールボックスは、予測パイプラインのすべての要素を評価することができます。
論文 参考訳（メタデータ） (2022-09-08T13:25:02Z) - Towards Secure Virtual Elections: Multiparty Computation of Order Based Voting Rules [5.156484100374059]
電子投票システムの主な課題の1つは、計算結果がキャスト投票と一致していることを示すことである。
本稿では,秩序に基づく投票規則によって規制された選挙のためのセキュアな投票プロトコルを提案する。
我々のプロトコルは、必要な出力のみを発行するという意味で、完全な投票秘密を提供するが、キャスト投票に関する他の情報は明らかにしない。
論文 参考訳（メタデータ） (2022-05-21T12:17:21Z) - Obvious Manipulability of Voting Rules [105.35249497503527]
Gibbard-Satterthwaite の定理は、全会一致で非独裁的な投票規則は、戦略的なものではないと述べる。
我々は投票規則を再検討し、明らかでない操作性という戦略的安全性の弱い概念を考察する。
論文 参考訳（メタデータ） (2021-11-03T02:41:48Z) - An algorithm for a fairer and better voting system [0.0]
本稿は、投票者を代表する最適な候補を見つけることの課題を解決することを目的とした、新しい、より優れた投票システムについて述べる。
私たちは、人工知能に基づいた選挙の現実的なシミュレーションを行うためのソースコードをGitHubに公開しています。
我々は、我々のアルゴリズムがInstant-Runoff Voting、Preferential Block Voting、Single Transferable Vote、First Past The Postよりも優れているという確証を持っている。
論文 参考訳（メタデータ） (2021-10-13T22:34:49Z) - Learning to Elect [7.893831644671976]
投票システムには、推薦システム、ウェブ検索、製品デザイン、選挙など幅広いアプリケーションがある。
本研究では,セットトランスフォーマーや完全連結グラフネットワーク,DeepSetsといったセットインプットニューラルネットワークアーキテクチャが,理論的にも経験的にも投票ルールの学習に適していることを示す。
論文 参考訳（メタデータ） (2021-08-05T17:55:46Z) - Assertion-Based Approaches to Auditing Complex Elections, with
Application to Party-List Proportional Elections [21.883045335485317]
投票の変換に線形依存したアサーションは、SHANGRLAの標準形式に容易に変換できることを示す。
D'Hondt 法を用いて党員選挙のアサーションを構築する手法について述べる。
論文 参考訳（メタデータ） (2021-07-25T22:52:49Z) - Anomaly Detection and Automated Labeling for Voter Registration File
Changes [0.0]
アメリカ合衆国大統領選挙における投票資格は、市民が投票する資格のある情報を含む州データベースのパッチワークによって決定される。
投票登録ファイル(VRF)の変更の監視は、米国の民主的プロセスを妨害したい悪意のあるアクターが、これらのファイルの内容を操作して目標を達成するよう、適切にアドバイスされることを考えると、極めて重要である。
本稿では、機械学習を利用して、投票者のロールを保護する際のアナリストや管理者の負担を軽減する方法を提案する。
論文 参考訳（メタデータ） (2021-06-16T21:48:31Z) - SMT-based Safety Verification of Parameterised Multi-Agent Systems [78.04236259129524]
パラメータ化マルチエージェントシステム(MAS)の検証について検討する。
特に、与えられた状態公式として特徴づけられる不要な状態が、所定のMASで到達可能かどうかについて検討する。
論文 参考訳（メタデータ） (2020-08-11T15:24:05Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。