An abstract is not available.
Sommario non disponibile.
A deductive tool applied to the definition and verification of firewall policies
Asirelli P;Fabbrini F
2000
Abstract
An abstract is not available.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.