Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach
On the security of public key protocols