論文の概要: A Zero-Knowledge Revocable Credential Verification Protocol Using Attribute-Based Encryption

• arxiv url: http://arxiv.org/abs/2308.06797v3
• Date: Wed, 21 Feb 2024 15:01:10 GMT
• ステータス: 翻訳完了
• システム内更新日: 2024-03-25 23:29:06.778754
• Title: A Zero-Knowledge Revocable Credential Verification Protocol Using Attribute-Based Encryption
• Title（参考訳）: 属性ベースの暗号化を用いたゼロ知識回避型クレデンシャル検証プロトコル
• Authors: Giovanni Bartolomeo,
• Abstract要約: 本稿では,Ciphertext-Policy Attribute-Based Encryptionを利用した認証プロトコルを提案する。 このプロトコルは、アキュムレータによる述語と取り消しの匿名の証明をサポートする。
• 参考スコア（独自算出の注目度）: 0.0
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: We introduce a credential verification protocol leveraging on Ciphertext-Policy Attribute-Based Encryption. The protocol supports anonymous proof of predicates and revocation through accumulators.
• Abstract（参考訳）: 本稿では,Ciphertext-Policy Attribute-Based Encryptionを利用した認証プロトコルを提案する。 このプロトコルは、アキュムレータによる述語と取り消しの匿名の証明をサポートする。

関連論文リスト

• Cryptis: Cryptographic Reasoning in Separation Logic [6.965792280784777]
  我々は,Iris分離論理の拡張であるCryptisを導入し,暗号の記号モデルを用いて暗号部品の検証を行う。 分離論理と暗号推論の組み合わせにより、プロトコルの正当性を証明し、後にこの結果を再利用して、プロトコルに依存するより大きなシステムを検証することができる。
  論文  参考訳（メタデータ） (2025-02-28T15:33:37Z)
• CipherGuard: Compiler-aided Mitigation against Ciphertext Side-channel Attacks [30.992038220253797]
  CipherGuardは、高い効率とセキュリティで暗号文側チャネルに対処するコンパイラ支援の緩和手法である。 我々は、CipherGuardが既存の最先端防御機構であるCipherFixよりも、より効率的な暗号化実装のセキュリティを強化することを実証した。
  論文  参考訳（メタデータ） (2025-02-19T03:22:36Z)
• Provisioning Time-Based Subscription in NDN: A Secure and Efficient Access Control Scheme [21.55750158120826]
  本論文では、名前付きデータネットワーク(NDN)のための新しい暗号化ベースのアクセス制御機構を提案する。 このスキームにより、データプロデューサは、コンシューマーに送信する前に、暗号化された形式でコンテンツを共有できる。 時間ベースのサブスクリプションアクセスポリシを暗号化コンテンツに直接組み込むことで、有効なサブスクリプションを持つコンシューマのみを復号化することができる。
  論文  参考訳（メタデータ） (2025-01-27T11:44:36Z)
• Secure Semantic Communication With Homomorphic Encryption [52.5344514499035]
  本稿では,SemCom に準同型暗号を適用する可能性について検討する。 タスク指向のSemComスキームを提案する。
  論文  参考訳（メタデータ） (2025-01-17T13:26:14Z)
• Formal Verification of Permission Voucher [1.4732811715354452]
  Permission Voucher Protocolは、分散環境におけるセキュアで認証されたアクセス制御のために設計されたシステムである。 この分析では、重要なセキュリティ特性を評価するために、象徴的検証のための最先端のツールであるTamarin Proverを使用している。 結果は、メッセージの改ざん、偽装、リプレイなどの一般的な攻撃に対するプロトコルの堅牢性を確認する。
  論文  参考訳（メタデータ） (2024-12-18T14:11:50Z)
• Quantum Authenticated Key Expansion with Key Recycling [1.274819629555637]
  本稿では,1つのプロトコルに認証とキー拡張の両方を統合する量子認証鍵拡張プロトコルを提案する。 従来の認証鍵交換フレームワークに適合したQAKEフレームワークにおいて,プロトコルのセキュリティを解析する。
  論文  参考訳（メタデータ） (2024-09-25T01:29:13Z)
• Simultaneous quantum identity authentication scheme utilizing entanglement swapping with secret key preservation [0.0]
  量子ID認証(QIA)のための新しいプロトコルを提案する。 提案手法は,AliceとBobという2人のユーザの同時認証を容易にする。 提案プロトコルは、不正行為、傍受、再送、偽造攻撃など、様々な既知の攻撃に対処できることを実証する。
  論文  参考訳（メタデータ） (2024-05-23T18:40:15Z)
• Enc2DB: A Hybrid and Adaptive Encrypted Query Processing Framework [47.11111145443189]
  本稿では,新しいセキュアデータベースシステムであるEnc2DBを紹介する。 本稿では,マイクロベンチマークテストと自己適応型モードスイッチ戦略を提案し,与えられたクエリに応答する最適な実行パス(暗号やTEE)を選択する。 また、クエリ処理を高速化するために、ネイティブコストモデルやクエリと互換性のある暗号文インデックスを設計、実装する。
  論文  参考訳（メタデータ） (2024-04-10T08:11:12Z)
• CodeChameleon: Personalized Encryption Framework for Jailbreaking Large Language Models [49.60006012946767]
  パーソナライズされた暗号化手法に基づく新しいジェイルブレイクフレームワークであるCodeChameleonを提案する。 我々は、7つの大規模言語モデルに関する広範な実験を行い、最先端の平均アタック成功率(ASR)を達成する。 GPT-4-1106上で86.6%のASRを実現する。
  論文  参考訳（メタデータ） (2024-02-26T16:35:59Z)
• A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
  コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。 本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。 実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
  論文  参考訳（メタデータ） (2024-01-19T14:52:04Z)
• On Cryptographic Mechanisms for the Selective Disclosure of Verifiable Credentials [39.4080639822574]
  認証資格は、物理的資格のデジタルアナログである。 検証者に提示して属性を明らかにしたり、クレデンシャルに含まれる属性を述語することも可能だ。 プレゼンテーション中にプライバシを保存する1つの方法は、クレデンシャル内の属性を選択的に開示することである。
  論文  参考訳（メタデータ） (2024-01-16T08:22:28Z)
• Ejafa_protocol: A custom INC secure protocol [0.0]
  このプロトコルには、鍵交換用のX25519や暗号化用のChaCha20など、現代の暗号プリミティブが含まれている。 プロトコルの重要な特徴は、セキュリティを犠牲にすることなく、リソース制限された環境への適応性である。
  論文  参考訳（メタデータ） (2024-01-05T12:51:19Z)
• A Security Verification Framework of Cryptographic Protocols Using Machine Learning [0.0]
  機械学習を用いた暗号プロトコルのセキュリティ検証フレームワークを提案する。 ランダムなプロトコルを自動的に生成し、セキュリティラベルを割り当てることで、任意に大規模なデータセットを作成する。 提案手法を実用的な暗号プロトコルの検証に適用して評価する。
  論文  参考訳（メタデータ） (2023-04-26T02:37:43Z)
• RiDDLE: Reversible and Diversified De-identification with Latent Encryptor [57.66174700276893]
  本研究は、Reversible and Diversified De-identification with Latent Encryptorの略であるRiDDLEを提示する。 事前に学習したStyleGAN2ジェネレータ上に構築されたRiDDLEは、潜伏空間内の顔のアイデンティティを暗号化して復号する。
  論文  参考訳（メタデータ） (2023-03-09T11:03:52Z)
• Byzantine-Robust Federated Learning with Optimal Statistical Rates and Privacy Guarantees [123.0401978870009]
  ほぼ最適な統計率を持つビザンチン・ロバスト・フェデレーション学習プロトコルを提案する。 競合プロトコルに対してベンチマークを行い、提案プロトコルの実証的な優位性を示す。 我々のバケットプロトコルは、プライバシー保証手順と自然に組み合わせて、半正直なサーバに対するセキュリティを導入することができる。
  論文  参考訳（メタデータ） (2022-05-24T04:03:07Z)
• Quantum Proofs of Deletion for Learning with Errors [91.3755431537592]
  完全同型暗号方式として, 完全同型暗号方式を初めて構築する。 我々の主要な技術要素は、量子証明器が古典的検証器に量子状態の形でのLearning with Errors分布からのサンプルが削除されたことを納得させる対話的プロトコルである。
  論文  参考訳（メタデータ） (2022-03-03T10:07:32Z)
• Quantum Secure Direct Communication with Mutual Authentication using a Single Basis [2.9542356825059715]
  ユーザ認証を用いた量子セキュアダイレクト通信(QSDC)の理論的手法を提案する。 現在のプロトコルでは、秘密メッセージをエンコードするために単一のキュービット状態の直交基底のみを使用する。 提案プロトコルのいくつかの共通攻撃に対する安全性について論じ,eaves-dropperが量子チャネルや古典チャネルから情報を得ることができないことを示す。
  論文  参考訳（メタデータ） (2021-01-10T16:32:42Z)
• Breaking certified defenses: Semantic adversarial examples with spoofed robustness certificates [57.52763961195292]
  本稿では,分類器のラベル付け機能だけでなく,証明書生成機能を利用した新たな攻撃を提案する。 提案手法は, 画像がクラス境界から遠ざかる大きな摂動を, 対向例の不受容性を保ちながら適用する。
  論文  参考訳（メタデータ） (2020-03-19T17:59:44Z)

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

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