automatic security protocol generation

[dmolnar]

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