sel4-ics-gateway-demo

Demo del Gateway ICS seL4 Un progetto di ricerca difensiva sulla sicurezza che confronta le architetture protocol-break e packet-forwarding per la protezione dei sistemi di controllo industriale dagli attacchi informatici. Documentazione: Architettura di rete - Diagrammi di rete e flusso del...