crucial change abstract

main.tex

@@ -91,7 +91,7 @@ tabsize=2
 \begin{abstract}
 We apply model learning on three SSH implementations to infer state machine models, which
 are then verified by a model checker for functional and security properties. Our analysis showed that 
-all tested SSH servers satisfy the security properties. Nevertheless, we uncovered several minor standard violations.
+all tested SSH server models satisfy the security properties. Nevertheless, we uncovered several minor standard violations.
 The state machines of the implementations differ significantly, allowing them to be 
 effectively fingerprinted.