Text this: Adjusted automata learning algorithm for security protocol adaptive model checking