@inproceedings{lnai2296,
  author = {N. Agray and Hoek, W. van der and Vink, E. de},
  title = {On BAN Logics for Industrial Security Protocols},
  booktitle = {From Theory to Practice in Multi-Agent Systems},
  editor = {B. Dunin-Keplicz and E. Nawarecki},
  pages = {29--38},
  publisher = {LNAI~2296},
  year = {2002}
}