A model-based approach to security flaw detection of network protocol implementations
On the security of public key protocols