Automated analysis of SSH client state machines / Tim Leonhard Storm ; Supervisors: Prof. Dr.-Ing. Juraj Somorovsky, Prof. Dr. Jörg Schwenk, Fabian Bäumer, M.Sc