"On-the-Fly Automatic Generation of Security Protocols."

Shinsaku Kiyomoto, Haruki Ota, Toshiaki Tanaka (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics