From Computationally-Proved Protocol Specifications to Implementations and Application to SSH.

Published in: J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. (2013)

Keyphrases