Evaluating implementations of SSH by means of model-based testing
Erik A. Boss, Erik Poll · 2012
This thesis presents an evaluation of implementations of the Secure Shell (SSH) protocol by applying model-based testing techniques. In doing so, an evaluation can be given of the techniques themselves when applied to a fairly complex system such as SSH. More specically, only the server side of the OpenSSH implementation of the SSH transport layer is actually tested and evaluated. However, this can be easily extended to test the client side and/or other implementations. The process of testing and evalution is detailed in order to provide a guide to a) testing the rest of SSH; b) applying model-based testing techniques to similar protocols as SSH.