論文の概要: One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)

• arxiv url: http://arxiv.org/abs/2505.10316v1
• Date: Thu, 15 May 2025 14:01:30 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-05-16 22:29:06.345983
• Title: One For All: Formally Verifying Protocols which use Aggregate Signatures (extended version)
• Title（参考訳）: One for All: Aggregate Signatures(拡張バージョン)を使用するプロトコルの形式検証
• Abstract要約: BLSアグリゲートシグネチャは、DfinityやCloudflareなどによってデプロイされた一般的なアグリゲートシグネチャである。 BLSアグリゲートシグネチャは、プロトコル開発者が慎重に扱わなければならないニュアンスな要件で、正しく使用するのは難しい。 本研究では,タマリンやProVerifなどの形式検証ツールをこれらのシグネチャを用いたプロトコルに適用可能なアグリゲートシグネチャの最初のモデルの設計を行う。
• 参考スコア（独自算出の注目度）: 6.604074204101799
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Aggregate signatures are digital signatures that compress multiple signatures from different parties into a single signature, thereby reducing storage and bandwidth requirements. BLS aggregate signatures are a popular kind of aggregate signature, deployed by Ethereum, Dfinity, and Cloudflare amongst others, currently undergoing standardization at the IETF. However, BLS aggregate signatures are difficult to use correctly, with nuanced requirements that must be carefully handled by protocol developers. In this work, we design the first models of aggregate signatures that enable formal verification tools, such as Tamarin and ProVerif, to be applied to protocols using these signatures. We introduce general models that are based on the cryptographic security definition of generic aggregate signatures, allowing the attacker to exploit protocols where the security requirements are not satisfied. We also introduce a second family of models formalizing BLS aggregate signatures in particular. We demonstrate our approach's practical relevance by modelling and analyzing in Tamarin a device attestation protocol called SANA. Despite SANA's claimed correctness proof, with Tamarin we uncover undocumented assumptions that, when omitted, lead to attacks.
• Abstract（参考訳）: 集約シグネチャ(アグリゲートシグネチャ)は、異なるパーティからの複数のシグネチャを単一のシグネチャに圧縮するデジタルシグネチャである。 BLSアグリゲートシグネチャは、Ethereum、Dfinity、Cloudflareなどによってデプロイされた一般的なアグリゲートシグネチャであり、現在IETFで標準化が進められている。 しかし、BLSアグリゲートシグネチャは正しく使用することは困難であり、プロトコル開発者によって慎重に扱う必要がある。 本研究では,タマリンやProVerifなどの形式検証ツールをこれらのシグネチャを用いたプロトコルに適用可能なアグリゲートシグネチャの最初のモデルの設計を行う。 汎用集約シグネチャの暗号セキュリティ定義に基づく汎用モデルを導入し,セキュリティ要件が満たされていないプロトコルを攻撃者が利用できるようにする。 また,BLS集合シグネチャを形式化した第2のモデルも導入する。 本研究では,タマリンにおけるSANAと呼ばれるデバイス認証プロトコルのモデル化と解析により,本手法の実用的妥当性を実証する。 真田が正当性を主張したにも拘わらず、玉林とともに、省略すると攻撃につながる未文書の前提を明らかにする。

関連論文リスト

• CA-less Mutual Co-Signing of Documents over a Unidirectional Visual Channel with Transported Hardware Attestation [0.0]
  本稿では,文書の相互署名のためのプロトコルを2つのモバイルデバイスで記述し,解析する。 各パーティの公開鍵に対する信頼は、プラットフォームセキュアな要素によって生成されるハードウェア認証トークンに基礎を置いている。 ECDSA P-256をSecure Enclave/StrongBox、SHA-256、Apple App Attest/Play Integrity、LTスタイルの噴水コードで使用したiOS/Androidの動作インスタンスを報告する。
  論文  参考訳（メタデータ） (2026-08-25T20:52:50Z)
• GoodDiffusion: Proactive Copyright Protection for Diffusion Bridge Models via Learnable Sample-specific Signatures [88.63093209858387]
  モデルレベルの使用時間制御を実現するために,バックドア機構にインスパイアされたGoodDiffusionを提案する。 GoodDiffusionは、有効なシグネチャを持つ認証クエリの高品質な生成を保存するが、許可されていないインプットの生成を拒否する。 セキュリティを強化するために,各入力に条件付きサンプル固有署名を割り当てるLearningable Signature Network(LSN)を導入する。
  論文  参考訳（メタデータ） (2026-06-29T04:07:09Z)
• AutoTam: Specifying Secure Protocol Implementations with Tamarin Model Generation [0.0]
  本稿では,プロトコル実装のためのドメイン固有言語を用いて,トレース特性の検証を行う新しい言語ファースト手法を提案する。 検証のためのタマリン証明器を目標とし、検証された普遍的トレース特性が実装に戻すことを証明する。 我々は、署名されたDiffie-HellmanプロトコルとWireGuard VPNプロトコルの正確なモデルの実装と生成にツールを使用します。
  論文  参考訳（メタデータ） (2026-06-18T08:34:17Z)
• Hierarchical Identity-Based Signature with Designated Aggregator from Lattices [0.612477318852572]
  我々は、HIBS-DAフレームワークを導入し、HIBS-DAのEm First格子に基づく構築を提案する。 提案方式では,複数の階層レベルのユーザが,単一のコンパクトなシグネチャに集約可能な個々のシグネチャを生成することができる。 提案された工事は、安全で、正当で、偽造に耐性があり、大学、企業、政府機関などの大規模環境に適している。
  論文  参考訳（メタデータ） (2026-06-12T04:06:17Z)
• Linearly Homomorphic Ring Signature Scheme over Lattices [7.911831986965765]
  同型環シグネチャスキームは、環シグネチャの強い匿名性と同型シグネチャの計算可能性を組み合わせる。 現在、可能な準同型環シグネチャスキームは存在しない。 格子型線形準同型環シグネチャスキームを提案する。
  論文  参考訳（メタデータ） (2025-07-03T03:43:40Z)
• Privacy-Preserving Biometric Verification with Handwritten Random Digit String [49.77172854374479]
  手書き認証は、何十年もの間、安定したアイデンティティ認証方法として存在してきた。 しかし、この技術は、署名などの手書きバイオメトリックスに個人情報が組み込まれているため、潜在的なプライバシー侵害のリスクがある。 プライバシ保護による手書き文字の検証にRandom Digit String (RDS) を用いることを提案する。
  論文  参考訳（メタデータ） (2025-03-17T03:47:25Z)
• An Undeniable Signature Scheme Utilizing Module Lattices [0.0]
  識別不能シグネチャスキーム(英: Undeniable signature scheme)は、シグネチャがシグネチャの検証可能性を制御するデジタルシグネチャの一種である。 モジュール格子を用いたポスト量子不確定シグネチャシステムを開発した。
  論文  参考訳（メタデータ） (2024-10-25T00:09:29Z)
• Quantum digital signature based on single-qubit without a trusted third-party [45.41082277680607]
  我々は、信頼できるサードパーティを使わずに、新しい量子デジタル署名プロトコルを提案する。 我々は,このプロトコルが情報理論的非偽造性を持っていることを証明した。
  論文  参考訳（メタデータ） (2024-10-17T09:49:29Z)
• Reusable Formal Verification of DAG-based Consensus Protocols [8.277981465630377]
  本稿では,DAGに基づく5つのコンセンサスプロトコルの安全性検証仕様を提案する。 DAG-Rider、Cordial Miners、Hashgraph、Eventualous BullSharkの4つのプロトコルがこの文献で十分に確立されている。 我々は、プロトコルの指定と証明書作成にTLA+を使用し、TLAPS証明システムは証明を自動的にチェックする。
  論文  参考訳（メタデータ） (2024-07-02T11:19:12Z)
• Investigating the Common Authorship of Signatures by Off-Line Automatic Signature Verification Without the Use of Reference Signatures [3.3498759480099856]
  本稿では,参照シグネチャが存在しない場合に,自動シグネチャ検証の問題に対処する。 私たちが探求するシナリオは、同じ著者または複数の署名者によって署名される可能性のある署名のセットで構成されています。 オフラインシグネチャの集合の共通オーサシップを自動的に推定する3つの方法について議論する。
  論文  参考訳（メタデータ） (2024-05-23T10:30:48Z)
• Revocable Quantum Digital Signatures [57.25067425963082]
  我々は、LWE仮定から取り消し可能な署名キーでデジタル署名を定義し、構築する。 このプリミティブでは、署名キーは、ユーザーが多くのメッセージに署名できる量子状態である。 一度キーが取り消されたら、キーの最初の受信者が署名する能力を失うことを要求します。
  論文  参考訳（メタデータ） (2023-12-21T04:10:07Z)
• Appeal: Allow Mislabeled Samples the Chance to be Rectified in Partial Label Learning [55.4510979153023]
  部分ラベル学習(PLL)では、各インスタンスは候補ラベルのセットに関連付けられ、そのうち1つだけが接地真実である。 誤記されたサンプルの「アペアル」を支援するため,最初の魅力に基づくフレームワークを提案する。
  論文  参考訳（メタデータ） (2023-12-18T09:09:52Z)
• MProto: Multi-Prototype Network with Denoised Optimal Transport for Distantly Supervised Named Entity Recognition [75.87566793111066]
  本稿では,DS-NERタスクのためのMProtoというノイズロスのプロトタイプネットワークを提案する。 MProtoは、各エンティティタイプを複数のプロトタイプで表現し、クラス内の分散を特徴付ける。 不完全なラベリングからノイズを緩和するために,新しい復号化最適輸送(DOT)アルゴリズムを提案する。
  論文  参考訳（メタデータ） (2023-10-12T13:02:34Z)
• Securing Deep Generative Models with Universal Adversarial Signature [69.51685424016055]
  深い生成モデルは、その潜在的な誤用のために社会に脅威をもたらす。 本稿では,任意の事前学習型生成モデルに普遍的逆数シグネチャを注入することを提案する。 提案手法は, FFHQ と ImageNet のデータセット上で, 様々な最先端生成モデルを用いて検証する。
  論文  参考訳（メタデータ） (2023-05-25T17:59:01Z)
• FedSOV: Federated Model Secure Ownership Verification with Unforgeable Signature [60.99054146321459]
  フェデレートラーニングにより、複数のパーティがプライベートデータを公開せずにグローバルモデルを学ぶことができる。 本稿では,FedSOVという暗号署名に基づくフェデレート学習モデルのオーナシップ検証手法を提案する。
  論文  参考訳（メタデータ） (2023-05-10T12:10:02Z)
• Secure access system using signature verification over tablet PC [62.21072852729544]
  我々は,シグネチャ検証を用いたWebベースのセキュアアクセスのための,高度に汎用的でスケーラブルなプロトタイプについて述べる。 提案アーキテクチャは,様々な種類のセンサや大規模データベースで動作するように容易に拡張することができる。
  論文  参考訳（メタデータ） (2023-01-11T11:05:47Z)
• Quotable Signatures for Authenticating Shared Quotes [0.8875650122536799]
  引用可能なシグネチャスキームは、メッセージのシグネチャからメッセージから(許容可能な)引用のシグネチャを抽出できるという付加的な特性を持つデジタルシグネチャスキームである。 クオータブルシグネチャスキームのセキュリティの概念を定義し、クオータブルシグネチャスキームの具体例を構築する。 引用可能なシグネチャの使用方法と、それを使用することによって偽ニュースの影響を緩和できる理由の両方について検討する。
  論文  参考訳（メタデータ） (2022-12-21T12:07:46Z)
• Offline Signature Verification on Real-World Documents [9.271640666465363]
  正式な文書から抽出された署名には、スタンプ、会社のシール、支配線、署名ボックスなど、さまざまな種類の隠蔽が含まれている。 本稿では,現実の作家によるオフライン署名検証問題に対処し,銀行の顧客の取引要求文書に隠蔽された署名を記載した文書をクリーンリファレンス署名と比較する。 提案手法は,CycleGANに基づくスタンプクリーニング法とCNNに基づくシグネチャ表現の2つの主成分からなる。
  論文  参考訳（メタデータ） (2020-04-25T10:28:03Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。