The BNAI Analyzer: A Tool for Verifying Admissible Information Flow in Protocols. - Gaétan Hains; M. Bergeron (IASTED PDCS, 2002)