设计即隐私的生物特征系统：关于生物特征系统架构隐私属性的形式化推理
密码学与安全
2017-03-03 v2 计算机科学中的逻辑
摘要
本工作旨在展示隐私设计方法在生物特征系统中的适用性及其方式，以及为此目的使用形式化方法的好处。从一个于2014年在STM会议上提出的通用框架出发，该框架能够定义隐私架构并对其属性进行形式化推理，我们解释了如何将其适配到生物特征领域。特定技术的选择以及组件（中央服务器、安全模块、生物特征终端、智能卡等）在架构中的角色，对生物特征系统所提供的隐私保障有强烈影响。文献中已有一些架构以某种方式被分析过。然而，现有方案是基于个案提出的，这使得它们难以比较，也难以对特定选项的选择提供理由。在本文中，我们针对具有不同保护级别的多种架构，描述了一个用于定义隐私架构的通用框架如何被用来指定生物特征系统的设计选项，并以形式化方式对其进行推理。
引用
@article{arxiv.1702.08301,
title = {Biometric Systems Private by Design: Reasoning about privacy properties of biometric system architectures},
author = {Julien Bringer and Herve Chabanne and Daniel Le Metayer and Roch Lescuyer},
journal= {arXiv preprint arXiv:1702.08301},
year = {2017}
}