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

Alessandro Armando, Luca Compagna, Pierre Ganty

Browse the full FM paper archive.