Sign in
An interpolation-based method for the verification of security protocols.
Marco Rocchetto
Luca Viganò
Marco Volpe
Published in:
J. Comput. Secur. (2017)
Keyphrases
</>
response time
sensor data