Liana Bozga Yassine Lakhnech Michaël Périn Pattern-based abstraction for verifying secrecy in protocols. 57-76 2006 8 STTT 1 http://dx.doi.org/10.1007/s10009-005-0189-6 db/journals/sttt/sttt8.html#BozgaLP06