"Deciding Secrecy of Security Protocols for an Unbounded Number of ..."

Emanuele D'Osualdo, Luke Ong, Alwen Tiu (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics