Text this: SAT-based lazy formal analysis method for security protocols