Merge branch 'master' of gitlab.science.ru.nl:pfiteraubrostean/Learning-SSH-Paper

main.tex

@@ -45,7 +45,8 @@ tabsize=2
 \include{macros}
 \begin{document}
 \graphicspath{{images/}}
-\title{Leveraging Model Learning and Model Checking to Infer and Verify SSH Implementations}
+\title{Model Learning and Model Checking of SSH Implementations}
+%\title{Leveraging Model Learning and Model Checking to Infer and Verify SSH Implementations}
 \renewcommand{\shorttitle}{Inference and Verification of SSH Implementations}
 
 
@@ -91,7 +92,7 @@ tabsize=2
 \renewcommand{\shortauthors}{Fiter\u{a}u-Bro\c{s}tean et al.}
 
 \begin{abstract}
-We apply protocol state fuzzing on three SSH implementations to infer state machines, which
+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 results show that 
 all tested SSH servers satisfy the security properties, but only
 satisfy the functional properties