Ferucio Laurentiu Tiplea Constantin Enea Catalin V. Birjoveanu Decidability and Complexity Results for Security Protocols. 185-211 2005 conf/vissas/2005 VISSAS db/conf/vissas/vissas2005.html#TipleaEB05