C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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