論文の概要: CA-less Mutual Co-Signing of Documents over a Unidirectional Visual Channel with Transported Hardware Attestation
- arxiv url: http://arxiv.org/abs/2608.25144v1
- Date: Tue, 25 Aug 2026 20:52:50 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-27 14:15:15.443944
- Title: CA-less Mutual Co-Signing of Documents over a Unidirectional Visual Channel with Transported Hardware Attestation
- Title（参考訳）: トランスポート型ハードウェア検査による一方向視覚チャネル上の文書のCAレス相互署名
- Abstract要約: 本稿では,文書の相互署名のためのプロトコルを2つのモバイルデバイスで記述し,解析する。
各パーティの公開鍵に対する信頼は、プラットフォームセキュアな要素によって生成されるハードウェア認証トークンに基礎を置いている。
ECDSA P-256をSecure Enclave/StrongBox、SHA-256、Apple App Attest/Play Integrity、LTスタイルの噴水コードで使用したiOS/Androidの動作インスタンスを報告する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We describe and analyze a protocol for mutual co-signing of a document by two mobile devices that (i) communicate only over a one-way, lossy, low-bandwidth optical channel (an animated on-screen code read by the counterparty's camera), (ii) use no intermediary server on the trust path, and (iii) use no certificate authority. Trust in each party's public key is instead grounded in a hardware attestation token produced by the platform secure element, transported in full over the visual channel by a rateless (fountain) code and cryptographically bound into the co-signature. The core technical contribution is a two-stage hash anchor that removes the circular signing dependency inherent to interactive co-signing: the first party commits to the document before the identity of the second party is known, and the second party's identity is later bound to that commitment without invalidating the first signature. We give a threat model, define four security properties (anchor binding, co-signature inseparability, attestation-bound key provenance, and post-signing tamper evidence) and reduce them to standard assumptions (collision resistance of H and EUF-CMA security of the underlying signature scheme), with the secure element modeled as an ideal signing oracle. We report a working instantiation on iOS/Android using ECDSA P-256 in the Secure Enclave/StrongBox, SHA-256, Apple App Attest / Play Integrity, and an LT-style fountain code, together with an independent third-party verifier that recomputes all anchors and checks both signatures fully offline.
- Abstract（参考訳）: 文書の相互署名のためのプロトコルを2つのモバイルデバイスで記述し,解析する。
(i)一方通行の低帯域光チャンネル(相手のカメラで読み取るアニメーションオンスクリーンコード)でのみ通信する。
(二 信託パスの仲介サーバを使用せず、
三 認証局を使用しない。
各パーティの公開鍵への信頼は、プラットフォームセキュアな要素によって生成されたハードウェア認証トークンに基盤付けられ、レートレス(ファウンテンス)コードで視覚チャネルをフルに転送され、暗号的にコ署名にバインドされる。
中心となる技術的コントリビューションは、2段階のハッシュアンカーで、インタラクティブな共同署名に固有の円形の署名依存を取り除く: 第一のパーティは、第二のパーティのアイデンティティが知られる前に文書にコミットし、第二のパーティのアイデンティティは、第一の署名を無効にすることなく、そのコミットメントに縛られる。
脅威モデルを与え,4つのセキュリティ特性(アンカーバインディング,共署名の分離性,証明バウンド鍵証明,署名後の改ざん証拠)を定義し,それらを標準的な仮定(基本シグネチャスキームのHとEUF-CMAの衝突耐性)に還元する。
ECDSA P-256をSecure Enclave/StrongBox、SHA-256、Apple App Attest/Play Integrity、LTスタイルの噴水コードに使用したiOS/Androidの動作インスタンスと、すべてのアンカーを再計算し、両方の署名を完全にオフラインでチェックする独立したサードパーティバリデーションを報告します。
関連論文リスト
- The Native-Signature Boundary in Post-Quantum Distributed Authorization [0.0]
量子後シグネチャ移行は、認証が複数のパーティに分散されている場合、システムに固有の問題を引き起こす。
本稿では, ネイティブ署名互換性, 片側符号抵抗, しきい値層アジリティという3つの特性を通じて設計境界を整理する。
論文 参考訳（メタデータ） (2026-09-03T08:47:05Z) - FIDEM: A Standard-Compliant Framework for Secure Binding of MUD Profiles to IoT Devices [90.91375734523943]
FIDEMは、DHCPベースのMUDURL発行を保証するための標準準拠のフレームワークである。
これはZero-Knowledge-Proof認証を利用することで、IoTデバイスとそのMUDプロファイル間の暗号化バインディングを提供する。
論文 参考訳（メタデータ） (2026-05-28T09:16:50Z) - Authenticated Contradictions from Desynchronized Provenance and Watermarking [48.47756819432157]
この研究は、$textitIntegrity Clash$を形式化し、実証的に実証している。
本稿では,3500枚のテスト画像に対して100%の分類精度を達成し,証明メタデータと透かし検出ステータスを共同評価する層間監査プロトコルを提案する。
論文 参考訳（メタデータ） (2026-03-02T20:42:12Z) - Binding Agent ID: Unleashing the Power of AI Agents with accountability and credibility [46.323590135279126]
BAID(Binding Agent ID)は、検証可能なユーザコードバインディングを確立するための総合的なアイデンティティ基盤である。
ブロックチェーンベースのID管理とzkVMベースの認証プロトコルの実現可能性を実証し、完全なプロトタイプシステムの実装と評価を行った。
論文 参考訳（メタデータ） (2025-12-19T13:01:54Z) - The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (extended version) [6.595258607341775]
我々はプロトコルの実装をプロトコルの実装と残りの実装に分割する*Diodon*と呼ばれる方法論を開発します。
この分割により、セキュリティクリティカルなCoreに強力な半自動検証技術を適用することができます。
完全な自動静的解析は、アプリケーションがCoreで証明されたセキュリティプロパティを無効にできないことを保証することで、検証全体を拡張します。
署名付きDiffie-Hellmanキー交換の実装と、キー交換プロトコルを実装する大規模(100k+LoC)プロダクションGoの2つのケーススタディでDiodonを評価した。
論文 参考訳（メタデータ） (2025-07-01T09:25:54Z) - One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version) [6.604074204101799]
BLSアグリゲートシグネチャは、DfinityやCloudflareなどによってデプロイされた一般的なアグリゲートシグネチャである。
BLSアグリゲートシグネチャは、プロトコル開発者が慎重に扱わなければならないニュアンスな要件で、正しく使用するのは難しい。
本研究では,タマリンやProVerifなどの形式検証ツールをこれらのシグネチャを用いたプロトコルに適用可能なアグリゲートシグネチャの最初のモデルの設計を行う。
論文 参考訳（メタデータ） (2025-05-15T14:01:30Z) - Quantum digital signature based on single-qubit without a trusted third-party [45.41082277680607]
我々は、信頼できるサードパーティを使わずに、新しい量子デジタル署名プロトコルを提案する。
我々は,このプロトコルが情報理論的非偽造性を持っていることを証明した。
論文 参考訳（メタデータ） (2024-10-17T09:49:29Z) - DiVerify: Hardening Identity-Based Software Signing with Programmable Diverse-Context Scopes [11.521573335215239]
最先端のIDベースのコード署名スキームには大きな欠点がある。
署名が生成されるコンテキストに関する検証可能な情報の提供に失敗する。
本稿では,検証の単一源への依存度を低減させる多種多様なアイデンティティ検証手法を提案する。
論文 参考訳（メタデータ） (2024-06-21T18:53:52Z) - DID Link: Authentication in TLS with Decentralized Identifiers and Verifiable Credentials [0.0]
本稿では,TLS 1.3の新しい認証方式であるDID Linkについて述べる。
これはTLS準拠の方法で、台帳入りのDIDを備えた自己発行のX.509証明書を認証する権限を与える。
原型実装では、検証材料がキャッシュされている場合、DID LinkのTLSハンドシェイク期間と、台帳から取得された場合、合理的な長期化を示す。
論文 参考訳（メタデータ） (2024-05-13T08:03:32Z) - Revocable Quantum Digital Signatures [57.25067425963082]
我々は、LWE仮定から取り消し可能な署名キーでデジタル署名を定義し、構築する。
このプリミティブでは、署名キーは、ユーザーが多くのメッセージに署名できる量子状態である。
一度キーが取り消されたら、キーの最初の受信者が署名する能力を失うことを要求します。
論文 参考訳（メタデータ） (2023-12-21T04:10:07Z) - Tamper-Evident Pairing [55.2480439325792]
Tamper-Evident Pairing (TEP)はPush-ButtonConfiguration (PBC)標準の改良である。
TEP は Tamper-Evident Announcement (TEA) に依存しており、相手が送信されたメッセージを検出せずに改ざんしたり、メッセージが送信された事実を隠蔽したりすることを保証している。
本稿では,その動作を理解するために必要なすべての情報を含む,TEPプロトコルの概要について概説する。
論文 参考訳（メタデータ） (2023-11-24T18:54:00Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。