RESULTS FROM 1 TO 3 OF 3

2000, Manuale tecnico/Guida tecnica, ITA

Sicurezza nella rete: IL FIREWALL

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

Formal description and validation of an interaction policy in an object-oriented framework

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

Rete locale IEI : i servizi di backup

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.

InstituteSelected 0/1
    ISTI, Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo" (3)
AuthorSelected 0/2
    Gnesi Stefania (1)
    Pillitteri Loredana (1)
TypeSelected 0/2
    Manuale tecnico/Guida tecnica (2)
    Rapporto tecnico (1)
Research programSelected 0/0
No values ​​available
EU Funding ProgramSelected 0/0
No values ​​available
EU ProjectSelected 0/0
No values ​​available
YearSelected 0/3
    1995 (1)
    1999 (1)
    2000 (1)
LanguageSelected 0/2
    Italiano (2)
    Inglese (1)
Keyword

Security and protection

RESULTS FROM 1 TO 3 OF 3