A First Step towards the Automatic Generation of Security Protocols (2000)

by Adrian Perrig Perrig , Dawn Song
Venue:Proc. of Network and Distributed System Security Symposium
Citations:19 - 0 self