「Agent」を編集中
この編集を取り消せます。
下記の差分を確認して、本当に取り消していいか検証してください。よろしければ変更を保存して取り消しを完了してください。
最新版 | 編集中の文章 | ||
50行目: | 50行目: | ||
本当に自律的であるためには、エージェントは誰にも(そして何も)信頼する必要がありません。しかし、貿易を行うには、しばしば相手側が期待どおりに行動するという確信が必要です。人々は契約を執行するために法律に頼っているが、エージェントにはそのような手段はない。巧妙なプロトコルは、場合によっては協力を確実にするためのインセンティブを構成することができますが、一般的なケースでは信頼できるコンピューティングを使用してこの保証を提供することができます。 | 本当に自律的であるためには、エージェントは誰にも(そして何も)信頼する必要がありません。しかし、貿易を行うには、しばしば相手側が期待どおりに行動するという確信が必要です。人々は契約を執行するために法律に頼っているが、エージェントにはそのような手段はない。巧妙なプロトコルは、場合によっては協力を確実にするためのインセンティブを構成することができますが、一般的なケースでは信頼できるコンピューティングを使用してこの保証を提供することができます。 | ||
− | + | 例えば、エージェントは、コンピューティング時間のプロバイダがエージェントの利益を盗もうとしないという何らかの保証を必要とするかもしれない。収益のシェアを奪うのは長期的には経済的ではないかもしれませんが、エージェントがいても偽のオファーをしてお金が入るのを待つのはすばやく簡単です。 | |
最新のCPUには、実行中のコードをリモートから証明する機能と、ハードウェアが以前と同じ設定になっている場合にのみ使用できるようにキーを暗号化する機能があります。 [http://sparrow.ece.cmu.edu/group/flicker.html Flicker]プロジェクトは、短期間の計算のためにLinuxを実行しているAMDとIntelのCPUでこれを達成する方法を示しています(割り込みは単純な実装では無効にする必要があります)。セキュリティを破るには、耐タンパー性があるように設計されたTPMチップを修正する必要があります。極端に大きくない金額の金額を保護している場合、これは詐欺行為を阻止するのに十分高いレベルでなければなりません。 | 最新のCPUには、実行中のコードをリモートから証明する機能と、ハードウェアが以前と同じ設定になっている場合にのみ使用できるようにキーを暗号化する機能があります。 [http://sparrow.ece.cmu.edu/group/flicker.html Flicker]プロジェクトは、短期間の計算のためにLinuxを実行しているAMDとIntelのCPUでこれを達成する方法を示しています(割り込みは単純な実装では無効にする必要があります)。セキュリティを破るには、耐タンパー性があるように設計されたTPMチップを修正する必要があります。極端に大きくない金額の金額を保護している場合、これは詐欺行為を阻止するのに十分高いレベルでなければなりません。 |