"SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis."

Alessandro Armando, Luca Compagna, Pierre Ganty (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics