Nesria Agray Wiebe van der Hoek Erik P. de Vink On BAN Logics for Industrial Security Protocols. 29-36 2001 conf/ceemas/2001 CEEMAS http://link.springer.de/link/service/series/0558/bibs/2296/22960029.htm db/conf/ceemas/ceemas2001.html#AgrayHV01