Internet security is a major concern, but cryptographic protocol analysis tools often require a long time due to their ...