Secure Track Verification.

Matthias Schäfer Vincent Lenders Jens B. Schmitt

Published in: IEEE Symposium on Security and Privacy (2015)

Keyphrases

cryptographic protocols
integrity verification
high security
key management
model checking
security analysis
real time tracking
real time
database systems
standard model
verification method
formal verification
covert channel
asynchronous circuits
user authentication
digital signature
moving objects
website