Commit 3354b44f authored by Erik Poll's avatar Erik Poll
Browse files

improved abstract

parent b1f395e6
......@@ -91,7 +91,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
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment