Specification, design, and verification of an accountability-aware surveillance protocol.

Thibaud Antignac Mukelabai Mukelabai Gerardo Schneider

Published in: SAC (2017)

Keyphrases

formal verification
protocol specification
formal methods
case study
formal analysis
high level
lightweight
formal specification
specification language
real time
digital libraries
knowledge based systems
video data
model checker
formal proof
functional verification