A Framework for the Security and Privacy of Biometric System Constructions under Defined Computational Assumptions

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 c...

Full description

Saved in:
Bibliographic Details
Published in:arXiv.org 2024-11
Main Authors: Grierson, Sam, Buchanan, William J, Thomson, Craig, Galeb, Baraq, Eckl, Chris
Format: Article
Language:English
Subjects:
Biometrics
Modular systems
Privacy
Security
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:2331-8422