TITLE     : A deductive tool applied to the definition and verification of firewall policies
AUTHOR(S) : Asirelli P, Fabbrini F
TYPE      : Conference article
YEAR      : 2000
CODE      : 238017

*** DO NOT EDIT THIS FILE ***