An automatic generating approach for public key cryptographic protocols is presented.SVO logic is used to describe and verify the protocols.

• 摘要提出了一种公钥密码体制安全协议的生成方法，用进化策略来生成公钥协议，并采用SVO逻辑来描述和验证公钥协议。