TITLE     : SpiDer: a security model checker
AUTHOR(S) : Lenzini G, Gnesi S, Latella D
TYPE      : Conference article
YEAR      : 2003
CODE      : 90979

*** DO NOT EDIT THIS FILE ***