SSH protocol
Benchmark models
The following models are learned for the different protocol implementations:
