Formal Accountability for Biometric Surveillance: A Case Study

Daniel Le Métayer 1, 2 Denis Butin 2, 1 Vinh-Thong Ta 1, 2
1 CITI - CITI Centre of Innovation in Telecommunications and Integration of services
2 PRIVATICS - Privacy Models, Architectures and Tools for the Information Society
Inria Grenoble - Rhône-Alpes, CITI - CITI Centre of Innovation in Telecommunications and Integration of services
Keywords : privacy accountability formal method
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-01247119
Contributor : Daniel Le Métayer <>
Submitted on : Monday, December 21, 2015 - 12:32:21 PM
Last modification on : Wednesday, November 20, 2019 - 7:30:12 AM

Identifiers

  • HAL Id : hal-01247119, version 1

Collections

INSA-LYON | INRIA | TDS-MACS | CITI | INSA-GROUPE | UDL

Citation

Daniel Le Métayer, Denis Butin, Vinh-Thong Ta. Formal Accountability for Biometric Surveillance: A Case Study. Annual Privacy Forum (APF 2015), Oct 2015, Luxembourg, Luxembourg. ⟨hal-01247119⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

280

 

 

Contact

archive-ouverte@inria.fr