On BAN Logics for Industrial Security Protocols. - Nesria Agray; Wiebe van der Hoek; Erik P. de Vink (CEEMAS, 2001)