Formal Accountability for Biometric Surveillance: A Case Study.
Vinh-Thong TaDenis ButinDaniel Le MétayerPublished in: APF (2015)
Keyphrases
- case study
- feature extraction
- real time
- pattern recognition
- test bed
- formal model
- biometric data
- video surveillance
- multi sensor
- surveillance videos
- signature verification
- biometric authentication
- personal authentication
- database
- biometric identification
- situational awareness
- formal representation
- formal methods
- formal specification
- artificial intelligence