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:20 - 0 self