Fugu-MT 論文翻訳(概要): A Framework for the Security and Privacy of Biometric System Constructions under Defined Computational Assumptions

論文の概要: A Framework for the Security and Privacy of Biometric System Constructions under Defined Computational Assumptions

arxiv url: http://arxiv.org/abs/2411.17321v1
Date: Tue, 26 Nov 2024 11:10:11 GMT
ステータス: 翻訳完了
システム内更新日: 2024-11-27 13:33:44.469306
Title: A Framework for the Security and Privacy of Biometric System Constructions under Defined Computational Assumptions
Title（参考訳）: バイオメトリックシステム構築のセキュリティとプライバシの枠組み
Authors: Sam Grierson, William J Buchanan, Craig Thomson, Baraq Galeb, Chris Eckl,
Abstract要約: 本稿では,安全な生体認証システムを構築するための公式な枠組みを提案する。普遍的な構成可能性の原理を活用することで、個々のシステムコンポーネントのモジュラー解析と検証を可能にします。
参考スコア（独自算出の注目度）: 1.5446015139136167
License:
Abstract: Biometric systems, while offering convenient authentication, often fall short in providing rigorous security assurances. A primary reason is the ad-hoc design of protocols and components, which hinders the establishment of comprehensive security proofs. This paper introduces a formal framework for constructing secure and privacy-preserving biometric systems. By leveraging the principles of universal composability, we enable the modular analysis and verification of individual system components. This approach allows us to derive strong security and privacy properties for the entire system, grounded in well-defined computational assumptions.
Abstract（参考訳）: 生体認証システムは便利な認証を提供するが、厳格なセキュリティ保証を提供するには不十分であることが多い。主な理由はプロトコルとコンポーネントのアドホックな設計であり、包括的なセキュリティ証明の確立を妨げる。本稿では,安全な生体認証システムを構築するための公式な枠組みを提案する。普遍的な構成可能性の原理を活用することで、個々のシステムコンポーネントのモジュラー解析と検証を可能にします。このアプローチは、明確に定義された計算仮定に基づいて、システム全体の強力なセキュリティとプライバシ特性を導出することを可能にする。

関連論文リスト

Securing Legacy Communication Networks via Authenticated Cyclic Redundancy Integrity Check [98.34702864029796]
認証サイクル冗長性チェック(ACRIC)を提案する。 ACRICは、追加のハードウェアを必要とせずに後方互換性を保持し、プロトコルに依存しない。 ACRICは最小送信オーバーヘッド(1ms)で堅牢なセキュリティを提供する。
論文参考訳（メタデータ） (2024-11-21T18:26:05Z)
A Survey and Comparative Analysis of Security Properties of CAN Authentication Protocols [92.81385447582882]
コントロールエリアネットワーク(CAN)バスは車内通信を本質的に安全でないものにしている。本稿では,CANバスにおける15の認証プロトコルをレビューし,比較する。実装の容易性に寄与する本質的な運用基準に基づくプロトコルの評価を行う。
論文参考訳（メタデータ） (2024-01-19T14:52:04Z)
Quantitative Information Flow Control by Construction for Component-Based Systems [0.0]
本稿では,セキュアなコンポーネントベースシステムを構築するための構築手法の構築に関して,その初期段階における博士研究について述べる。本研究の目的は,ソフトウェアアーキテクトがセキュアなコンポーネントのリポジトリからセキュアなシステムを開発する方法を開発することである。
論文参考訳（メタデータ） (2024-01-15T13:46:07Z)
Leveraging Traceability to Integrate Safety Analysis Artifacts into the Software Development Process [51.42800587382228]
安全保証ケース(SAC)は、システムの進化中に維持することが困難である。本稿では,ソフトウェアトレーサビリティを活用して,関連するシステムアーチファクトを安全解析モデルに接続する手法を提案する。安全ステークホルダーがシステム変更が安全性に与える影響を分析するのに役立つように、システム変更の合理性を設計する。
論文参考訳（メタデータ） (2023-07-14T16:03:27Z)
A Model Based Framework for Testing Safety and Security in Operational Technology Environments [0.46040036610482665]
本稿では,テスト中のシステムの安全性とセキュリティの挙動を分析するための有望な手法として,モデルに基づくテスト手法を提案する。基盤となるフレームワークの構造は、運用技術環境のテストにおいて重要な要素に従って、4つの部分に分けられる。
論文参考訳（メタデータ） (2023-06-22T05:37:09Z)
A Survey of Secure Computation Using Trusted Execution Environments [80.58996305474842]
本稿では、TEEベースのセキュアな計算プロトコルの体系的なレビューと比較を行う。まず、セキュアな計算プロトコルを3つの主要なカテゴリ、すなわち、セキュアなアウトソース計算、セキュアな分散計算、セキュアなマルチパーティ計算に分類する分類法を提案する。これらの基準に基づき,汎用計算関数と特殊目的計算の両方に対して,最先端のTEEベースのセキュアな計算プロトコルを検証,検討し,比較する。
論文参考訳（メタデータ） (2023-02-23T16:33:56Z)
Multi-Biometric Fuzzy Vault based on Face and Fingerprints [3.6934118484548306]
fuzzy vaultスキームは、プライバシー保護の生体認証に適した暗号プリミティブとして確立されている。顔と複数の指紋をベースとしたマルチバイオメトリック・ファジィ・ヴォールトを構築する。
論文参考訳（メタデータ） (2023-01-17T13:39:12Z)
Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions [60.26921219698514]
CBFをベースとした安全クリティカルコントローラのモデル不確実性を考慮した再構成を提案する。次に、結果の安全制御器のポイントワイズ実現可能性条件を示す。これらの条件を利用して、イベントトリガーによるオンラインデータ収集戦略を考案する。
論文参考訳（メタデータ） (2022-08-23T05:02:09Z)
Evaluation of User Perception on Biometric Fingerprint System [0.0]
生体認証システムには、セキュリティ保証が伴い、システムは高度にセキュアで堅牢になる。いくつかの革新的なシステムが導入されており、そのほとんどは軍事基地、銀行機械、その他の高度なシステムを保護するためのバイオメトリックスを備えている。バイオメトリックスが提供するセキュリティのメリットと強化にもかかわらず、いくつかの脆弱性もある。
論文参考訳（メタデータ） (2022-05-21T23:39:07Z)
Biometrics: Trust, but Verify [49.9641823975828]
バイオメトリック認識は、世界中のさまざまなアプリケーションに爆発しました。生体認証システムの様々なサブモジュールに関する多くの顕著な問題と懸念があります。
論文参考訳（メタデータ） (2021-05-14T03:07:25Z)
Quantifying Assurance in Learning-enabled Systems [3.0938904602244355]
機械学習コンポーネントを組み込んだシステムの依存性保証は、安全クリティカルなアプリケーションで使用する上で重要なステップである。本稿では, LESが信頼できるという保証の定量的概念を, 保証ケースのコアコンポーネントとして開発する。本稿では,現実の自律型航空システムへの適用による保証対策の有用性について述べる。
論文参考訳（メタデータ） (2020-06-18T08:11:50Z)

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