TITLE     : Formal verification of cryptographic protocols using history dependent automata
AUTHOR(S) : Gnesi S, Latella D, Lenzini G
TYPE      : Conference article
YEAR      : 1999
CODE      : 407514

*** DO NOT EDIT THIS FILE ***