2000, Manuale tecnico/Guida tecnica, ITA
Pillitteri L.; Romano G.A.
L'obiettivo del lavoro è l'implementazione di una serie di filtri per impedire/autorizzare il transito di pacchetti IP al fine di garantire la sicurezza della rete CNUCE
1999, Rapporto tecnico, ENG
Fantechi A.; Gnesi S.; Semini L.
Formal methods are increasingly used to validate the design of software and hardware components of safety critical systems. We describe here a case study where a formal verification method was applied in practice. As a case study we have considered a safe interaction policy between communicating objects, the Multiple Levels of Integrity policy. This policy can be seen as a communication protocol that guarantees the integrity of sensible data. Formal specification is given using a process algebra, and validation is done following a model checking approach.
1995, Manuale tecnico/Guida tecnica, ITA
Carlesi C.; Schifano F.
Di seguito viene introdOtto il metodo di backup come operazione standard per il salvataggio dei dati, e si descrivono le procedure da utilizzare nell'ambito di unarete LAN.