automatic security protocol generation

This looks interesting, given the discussion here recently about the need for "protocol building blocks." It's only at a basic stage, but still promising. A First Step towards the Automatic Generation of Security Protocols Adrian Perrig, Dawn Song. In Proc. of Network and Distributed System Security NDSS 2000, February 2000. http://paris.cs.berkeley.edu/~perrig/projects/protgen/protgen.ps