Corso di laurea

sicurezza informatica Curriculum sistemi sicuri

Università degli Studi di Milano · 44 materie · 40 file condivisi

Per questo corso di laurea sono già disponibili 40 appunti all'interno della community, registrati subito per iniziare a studiare!

Il Corso di Laurea Magistrale in Sicurezza Informatica, si propone di fornire conoscenze avanzate e di formare capacità professionali adeguate allo svolgimento di attività di ricerca, progettazione, realizzazione, verifica, coordinamento e gestione di sistemi informatici riferibili ai diversi ambiti di applicazione delle scienze e delle tecnologie informatiche nell'ambito della sicurezza e protezione dei sistemi, delle reti e delle infrastrutture informatiche, e al trattamento sicuro e riservato dei dati.
Il laureato magistrale in Sicurezza Informatica svolge attività di progettazione, sviluppo, realizzazione, verifica, manutenzione, controllo e gestione di infrastrutture e sistemi informatici sicuri e protetti. Obiettivo fondamentale della sua attività è il miglioramento costante di sistemi informatici sicuri e protetti, anche con riferimento alla gestione sicura dei dati sensibili/confidenziali, accompagnato dalla capacità di recepire e proporre negli ambiti applicativi in cui opera le innovazioni che continuamente caratterizzano la disciplina. Il corso di laurea magistrale si propone dunque di formare professionisti dotati di competenze scientifiche e tecnologiche di alto livello, capacità metodologiche e operative e visione aperta e critica delle problematiche connesse all'adozione e all'uso delle tecnologie informatiche.
Il corso di laurea magistrale in Sicurezza Informatica assicura ai propri laureati una formazione avanzata e completa in relazione alle fondamenta, alle metodologie, alle soluzioni scientifiche e tecnologiche relative alla sicurezza informatica.
Il corso di laurea prevede inoltre lo svolgimento di una tesi di laurea magistrale presso una struttura dell'Università o di altro Ente pubblico o privato, da presentare e discutere in sede di prova finale per il conseguimento della laurea magistrale.
Il corso di laurea è stato progettato per essere proficuamente seguito sia da coloro che provengono da una laurea della classe informatica e che hanno già acquisito la conoscenza relativa alle principali tecnologie della sicurezza (ai quali fornisce conoscenze relative a scienze e tecnologie informatiche fondamentali ed utili alla gestione di problemi di sicurezza) sia da coloro che provengono da una laurea scientifica ma che non hanno conoscenza pregressa su temi di sicurezza (nel qual caso si prevede una particolare enfasi alle problematiche della sicurezza informatica a partire dalle basi). Qualunque sia la provenienza dei laureati ammessi, è comunque previsto un ampio percorso formativo comune, rivolto a fornire ai laureati la formazione relativa alle diverse problematiche, metodologie e soluzioni scientifiche e tecnologiche della sicurezza informatica, che preserva l'unicità del corso, consentendo la trasversalità tra i percorsi e garantendo l'omogeneità e la coerenza culturale dei laureati.

Ecco tutti i dettagli sul corso di laurea selezionato. Sul UniDocs troverai gli appunti condivisi dagli altri studenti del tuo corso di laurea, ordinati per materia. Ricordati che per poter visualizzare il materiale devi essere registrato al sito e possedere un numero di crediti sufficiente.

Al momento abbiamo 40 files caricati sul nostro portale suddivisi nelle 44 materie appartenenti al tuo corso di laurea.

Sfoglia il materiale didattico

Con UniDocs hai l'opportunità di studiare insieme a tutto il tuo corso di laurea. Guadagna subito dei crediti, carica il materiale del tuo ultimo esame!
Più condividi, più tempo avrai per studiare con tutta la community!

Materie del corso

ADVANCED COMPUTER PROGRAMMING cod. P092025749 · 1° anno · 0 file
AFFIDABILITA' DEI SISTEMI (dependability) cod. P598576286 · 1° anno · 0 file
ANALISI E GESTIONE DEL RISCHIO cod. P068601034 · 1° anno · 0 file
ANALISI E GESTIONE DEL RISCHIO cod. P827402064 · 1° anno · 3 file
Riassunti Mappe Mentali Analisi e gestione del rischio — 2021 pillola free L'analisi e gestione del rischio include il monitoraggio e riesame dei rischi, calcolo dei rischi residui, preparazione del piano di sicurezza, approvazione e accettazione dei rischi residui con l'impianto delle misure necessarie. Riassunti Riassunto tsuras — 2023 pillola free L'analisi e gestione del rischio, secondo la norma ISO 31000-2018, permette alle organizzazioni di identificare e affrontare i rischi interni ed esterni che potenzialmente minacciano l'attuazione degli obiettivi. La gestione del rischio è fondamentale per la sopravvivenza del business. La norma ISO 31000 fornisce un framework per la gestione del rischio, ma non prescrive dettagliatamente i metodi da adottare. L'applicazione di questa norma può migliorare l'atteggiamento proattivo verso il rischio, aumentare la consapevolezza e soddisfare requisiti legali. Il rischio è definito come l'eccedenza degli obiettivi rispetto alle aspettative, legata all'incer Riassunti Riassunto Cesare gallotti — 2023 pillola free L'analisi e gestione del rischio riguarda la preservazione della riservatezza, integrità e disponibilità delle informazioni. Si definiscono asset, minaccia, vulnerabilità, rischio e responsabile del rischio. La valutazione del rischio comprende l'idenzione, l'analisi e la ponderazione del rischio. Il processo di gestione del rischio coinvolge la stabilizzazione di obiettivi, processi e misure per raggiungerli. Le funzioni dell'organizzazione sono strutturate in gruppi di persone che interagiscono attraverso i processi. La valutazione del rischio è divisa in identificazione, analisi e ponderazione, con l'obiettivo di determinare il livello di rischio e
ARTIFICIAL INTELLIGENCE cod. P643873772 · 1° anno · 1 file
COMPLEMENTI DI BIOMETRIA cod. P919387768 · 1° anno · 1 file
COMPLEMENTI DI SICUREZZA E PRIVATEZZA cod. P335160924 · 1° anno · 0 file
COMPLEMENTI DI SICUREZZA E PRIVATEZZA cod. P137279011 · 1° anno · 1 file
COMPUTER FORENSICS cod. P213681275 · 1° anno · 5 file
Appunti Appunti completi lezione — 2020 L'informatica forense studia l'esame metodologico e l'analisi dei sistemi informatici per valutare dati come prove in processi. Involucra attività di individuazione, conservazione, protezione, estrazione e documentazione del dato memorizzato su supporti informatici. È applicabile non solo a reati informatici ma anche a qualsiasi caso coinvolgente dati informatici. L'analisi è oggettiva fino al processo di valutazione/interpretazione, che diventa soggettiva. Limiti dell'infor. forense includono estrema alterabilità dei reperti, facile creazione ad arte di elementi probatori e difficoltà nella riconducibilità ai veri autori. Richiede attività di autocrit Domande d'esame Domande esame — 2019 pillola free Lo slack space contiene dati non sovrascritti dopo la cancellazione di un file, utili per recupero. Il tabulato telefonico fornisce informazioni su chiamate e SMS ma non i contenuti. La copia clone duplica bit per bit il supporto, mentre l'immagine lo fa in un file. L'hash, firma digitale e marca temporale garantiscono integrità e attendibilità. Linux scripting automatizza attività forensi. Per acquisire pagine web si usa una VM Linux, intercetta traffico e registra operazioni. Metodologie per acquisizione mobile con connettore rotto includono foto, riparazione USB, JTAG e chip-off. Le supertimeline estendono timeline filesystem con metadati. Il comand Domande d'esame Domande esame — 2019 pillola free L'informatica forense è la disciplina che gestisce l'identificazione, conservazione e analisi di dati su supporti informatici per essere utilizzati come prove. È crucialmente importante adottare best practice per garantire la validità delle prove. I limiti includono l'estrema alterabilità dei dati e la possibilità di falsificazione. Un indirizzo IP identifica un sistema in una rete, ma non è sufficiente a dimostrare l'attività criminale senza verificare la rete stessa. La data di accesso indica quando un file è stato aperto, mentre quella di modifica indica quando il contenuto del file è stato modificato. Questi dati possono essere utilizzati per crea Domande d'esame domande esame — 2021 pillola free Individuazione: identificazione dei luoghi fisici e virtuali di dati rilevanti; Raccolta: acquisizione bit a bit del supporto, con catena di custodia; Analisi: esame metodologico su copie dell'originale, ricerca dati, analisi artefatti, timeline; Valutazione: verifica attendibilità e integrità delle prove; Presentazione: relazione tecnica comprensibile per non tecnici. Network forense: identificazione, preservazione e analisi di dati in transito su reti informatiche. Criticità: natura volatile dei dati informatici, facile manipolazione e contraffazione. Best practices necessarie. Indirizzo IP univoco per utenza telefonica, ma non sempre valido. CT deve Domande d'esame Domande computer forense — 2019 pillola free L'informatica forense è il trattamento dei dati informatici come prova. Best practice sono cruciali per garantire l'oggettività e credibilità delle conclusioni. I limiti includono l'estrema alterazione dei reperti e la facile creazione di prove false. Un indirizzo IP identifica un sistema in una rete, ma richiede conferma della sua integrità. La data di ultimo accesso e modifica non sono certezze, ma possono aiutare a ricostruire eventi passati. Il wiping di /dev/sda può essere eseguito con comandi dd. Il ruolo del consulente tecnico è supportare il giudice senza sostituirlo. La mobile forensics analizza i dispositivi mobili come qualsiasi altro dispos
CRITTOGRAFIA cod. P456395577 · 1° anno · 1 file
GESTIONE DELLA SICUREZZA NEI SISTEMI INFORMATIVI cod. P731036138 · 1° anno · 1 file
INFORMATION MANAGEMENT cod. P473395913 · 1° anno · 0 file
LOGICA cod. P010831452 · 1° anno · 0 file
MODELLAZIONE E ANALISI DI SISTEMI cod. P087156229 · 1° anno · 1 file
MODELLAZIONE E ANALISI DI SISTEMI cod. P290024627 · 1° anno · 6 file
Domande d'esame domande risposte esame teorico — 2023 pillola free Riassunto: - Modellazione non deterministica in ASM con costrutto "choose". - Schema FSM e classificazione funzioni in ASM. - Definizione verifica e validazione di un sistema. - Ground model e raffinamento nella modellazione ASM. - Modello multi-agente per illuminazione. - Proprietà safety, liveness, reachability in logica temporale. - Definizione automa Kripke e NuSMV. - Verifica proprietà con algoritmo model checking. Appunti dispense lezioni — 2020 pillola free Il corso di Modellazione e Analisi di Sistemi presenta tecniche formali per la modellazione e verifica di sistemi software/hardware. Si utilizzano linguaggi di specifica, fondamenti teorici delle metodologie basate su simulazione, testing e model checking (con focus sulla verifiche automatiche). Vengono discussi formalismi operazionali e dichiarativi, con esempi come Abstract State Machines. L'analisi è suddivisa in validazione e verifica: la prima controlla se il sistema soddisfa i requisiti, la seconda prova proprietà formali. Si evidenziano limiti e preconcetti sui metodi formalizzati. Vengono introdotti automi a stati finiti per modellare sistemi s Domande d'esame LAB MAS 8 settembre 2022 — 2022 pillola free Un modello AsmetaL per due semafori, uno per pedoni e uno per macchine, con probabilità di guasto. Al guasto lampeggiano entrambi. Se non guasti: pulsante premuto → semaforo macchine rosso, semaforo pedoni verde; altrimenti → semaforo macchine verde, semaforo pedoni rosso. Inizialmente semaforo macchine verde, semaforo pedoni rosso. Invariante: solo uno dei due semafori può essere lampeggianti insieme. Proprietà CTL: esistenza di stato con entrambi lampeggianti; esistenza di cammino senza lampeggiature; colore semaforo macchine determina colore semaforo pedoni. Domande d'esame Laboratorio del 13 febbraio 2023 — 2023 pillola free Si deve sviluppare un modello AsmetaL che simula il gioco del lotto con le seguenti regole: un giocatore può scommettere fino a 10 numeri tra 1 e 90, mentre il banco estrae 5 numeri casuali. La vincita dipende dal numero di numeri indovinati. Si devono verificare tre proprietà temporali tramite model checking e specificare due scenari in Avalla. Il modello deve avere come identificativo cognome.asm e i file Avalla come cognome1.avalla, etc. Domande d'esame Teoria 13 febbraio 2023 — 2023 pillola free Definizione locazione ASM e aggiornamento. Esempio di aggiornamento inconsistente per non determinismo. Modello ASM per porte metropolitana: stato chiuse, inApertura, aperte, inChiusura; controller apre alle arrivate treno, chiude dopo 1 minuto; se passaPersona, riapre. Proprietà raggiungibilità: porte possono rimanere chiusure indefinitamente. Safety: non si aprono due volte contemporaneamente. Liveness: ogni volta che un passeggero entra, le porte si riaprono. Logica temporale: se sensore arrivo treno e segnale passaPersona, allora prima o poi le porte saranno inApertura e aperte. Formalizzazione CTL: x>y → (y'=y+1 → ∃t (x>0 & y>0)) ROBDD per st Domande d'esame Teoria 9 settembre 2022 — 2022 pillola free Riassunto: 1. Formalizzare in CTL: a) E0(p -> EF q), b) AG(p -> EF q). 2. Dimostrare ben-formatezza e giustificazione formula. 3. Semantica EG, verifica con SAT M,s|= AG(p->EF r). 4. Rappresentare automa in NuSMV. 5. Sintassi e semantica operatore forall, esempio ASM. 6. Modellare ambiente in ASM, causare non-determinismo, altri tipi interni, esempi non-deterministici. 7. a) ASM-multi agenti sistema areazione automatica (controllore, ventilatore). b) Estendere per ventilazione continua in caso di errore, tipo raffinamento.
PRIVATEZZA E PROTEZIONE DEI DATI cod. P810546455 · 1° anno · 1 file
PRIVATEZZA E PROTEZIONE DEI DATI cod. P791479106 · 1° anno · 2 file
SICUREZZA DELLE ARCHITETTURE ORIENTATE AI SERVIZI cod. P563625500 · 1° anno · 0 file
SICUREZZA DELLE ARCHITETTURE ORIENTATE AI SERVIZI cod. P507367665 · 1° anno · 1 file
SICUREZZA DELLE RETI cod. P648068054 · 1° anno · 8 file
Appunti appunti corso — 2020 Sicurezza delle reti: introduzione alla sicurezza informatica con focus su crittografia, networking, sistemi operativi, database, architettura hardware, linguaggi di programmazione, interfacce utente e psicologia. La banca gestisce soldi in luoghi grandi con sistemi complessi di sicurezza, mentre i dati informatici sono piccoli e portabili, permettendo un accesso remoto. Domande d'esame Domande e risposte esami 2021 2022 — 2023 Politiche di sicurezza: Modello Bell-LaPadula concentra confidenzialità, con regole No reads up e No write down; modello Biba per integrità, con regole No read-down e No write-up. Sistemi utilizzando entrambi non vengono usati in pratica a causa di metodi più sicuri. DHCP: Rischi include attacchi DHCP rogue server e starvation, causando DoS o traffico di rete malvagio. Network scanning: IDLE scan utilizza un zombie per indirettamente testare porte su una vittima; se la porta è aperta, l'IPID incrementa. Problemi ARP: Vulnerabilità di spoofing con ARP poisoning attack, che riempie tabella cache e causa disservizi. IPSEC: Serve per mitigare spoofing, Riassunti Riassunto quasi-completo — 2021 Politiche di sicurezza: Chinese Wall per condivisione sicura, Bell-LaPadula per riservatezza, Clark-Wilson per integrità, BIBA per protezione dell'integrità. SET-UID consente esecuzione temporanea con privilegi elevati. Shellshock è un bug di bash che permette esecuzione arbitraria di comandi. Arp Poisoning e MAC Flooding attaccano switch di rete. IP Spoofing (cieco/non cieco) nasconde l'identità dell'host per intrufolarsi in sessioni TCP. Appunti Malware — 2019 pillola free Malware e worm sono tipi di malware che si replicano autonomamente. I worm non richiedono un altro programma per diffondersi e portano payload malefici come backdoors, trojan horse, spam relays, DDoS agents o mining criptovalute. La diffusione avviene in 4 fasi: probing, exploitation, replication e payload. Il Morris worm (1988) ha causato danni significativi utilizzando vettori di infezione come rsh/rlogin, fingerd e sendmail. Il worm creava una lista IP locale con netstat, cercava password semplici o usava attacchi dizionario per diffondersi. Nimda Worm (2001) ha utilizzato cinque modi per propagarsi, tra cui messaggi di posta elettronica come atta Appunti policy — 2019 pillola free Gestione della sicurezza e risk assessment sono fondamentali per proteggere risorse IT. Rischi vengono valutati con formula R = A x V x T. Politiche di sicurezza definiscono regole e meccanismi (es. controllo dell'accesso, cifratura) per prevenire violazioni, rilevare attacchi e ripristinare funzionalità del sistema. Standards come ISO 17799 forniscono linee guida. Tipo di accesso controllo include DAC, MAC e ORCON. Trust management system garantisce esecuzione corretta delle politiche attraverso compliance checker. Domande d'esame Domande e risposte degli esami passati — 2021 pillola free Firewall e NIDS cooperano per migliorare la sicurezza della rete, dove il firewall filtra il traffico basandosi su regole predefinite, mentre i NIDS rilevano attività sospette. Per l'FTP, FTP passivo è preferibile per gestire le porte casuali. Un IDS può essere utile per monitorare connessioni FTP. Lo stateful filtering mantiene lo stato delle connessioni, offrendo maggiore sicurezza rispetto allo stateless. IDS (Network Intrusion Detection System) come Snort analizzano il traffico e rilevano anomalie, mentre IPS prevene attacchi. Firewall possono integrarsi con IPS per bloccare traffico sospetto. Per un firewall su router, filtrare sia i traffici in Domande d'esame wireshark esami svolti — 2019 pillola free Appunti e esercizi sull'utilizzo di Wireshark per la analisi dei pacchetti di rete, con correzioni, relativi alla materia di Sicurezza dei sistemi e delle reti del corso di laurea in Sistemi Sicuri presso l'Università degli Studi di Milano. Scaricati multiple volte dal 24/01/2017 al 12/02/2019 da Stefano Giardina. Inclusi file scan.pcap e telnet.pcap. Domande d'esame domande iptables esami — 2019 pillola free Riassunto: Il testo contiene appunti e esercizi svolti per la materia "Sicurezza dei sistemi e delle reti" dell'Università degli Studi di Milano. Si definiscono variabili di rete come PROF, STUD, SERVER e EXT. L'esempio utilizza iptables per configurare le regole di sicurezza tra questi sottoreti. Il file è stato scaricato da Stefano Giardina.
SISTEMI BIOMETRICI cod. P920039745 · 1° anno · 4 file
Domande d'esame Domande Sistemi biometrici — 2020 Sistemi biometrici distinguono tra autenticazione e identificazione. Prevede forte crescita nei prossimi anni, simili a pattern recognition, con potenziali artefatti. I tratti biometrici sono utilizzati per riconoscimento da 1800 a.C. Impronte digitali sono più diffusi. Percezione degli utenti è doppia tra sicurezza e privacy. La sequenza di enrollment è acquisizione, estrazione, creazione template, memorizzazione. Soglia decisione può abilitare tutti gli utenti. Lupi manipolano tratti biometrici, agnelli hanno distanza interclasse bassa. Meglio catturare più dettagli per migliorare identificazione. Off-line acquisizione con sensori allo stato solido. Compiti ed esercitazioni Domande con risposte delle simulazioni di Sistemi Biometrici — 2021 pillola free B A B D A D D A A A B C B A A B C C B A B 1 3 1 2 1 1 2 2 1 1 2 3 1 3 1 2 2 2 2 2 4 2 3 1 2 1 2 1 1 2 2 1 Domande d'esame domande biometria — 2023 pillola free I sistemi biometrici utilizzano database divisi in bins per migliorare la ricerca delle caratteristiche. Un sistema con 2 impronte arch e loop ha 4 bins. Il binning error avviene quando vengono cercati i tratti nel bin sbagliato. Non si ha un pentration rate di N/100 con N bin. L'FBI digitalizza foto a 500 DPI per 8 bit, AFIS a 500 DPI. Le impronte digitali hanno livelli I (flusso linee, punti singolari) II (minutiae, ridge) III (intra-creste, inter-creste). Per il livello III si usano 1000 DPI. Per l'iride si usano sensori CCD a 700-900 nm, telecamere con ottiche variabili. Le immagini digitali sono rappresentazioni di pixel. I sensori CMOS hanno un Domande d'esame 230 domande biometria — 2023 pillola free 1. Sistemi biometrici sono tecniche automatiche per l'identificazione basate su caratteristiche fisiche o comportamentali. 2. Al bancomat, si verifica autenticazione positiva. 3. Proprietà necessarie per un tratto: universalità, unicità, permanenza, accettabilità. 4. Sistema che controlla se non sia un terrorista: autenticazione negativa. 5. Accuratezza crescente: qualcosa che sei < qualcosa che sai < qualcosa che hai. 6. A (l'accessibilità è una caratteristica). 7. Rappresentazione invariante e discriminatoria della misura in ingresso. 8. Completa rappresentazione dei dati: sample, feature extraction, template. 9. Tutte le opzioni per migliorare gesti
ORGANIZZAZIONE AZIENDALE cod. P601377268 · 2° anno · 0 file
ORGANIZZAZIONE AZIENDALE cod. P312484124 · 2° anno · 2 file
TRATTAMENTO DEI DATI SENSIBILI cod. P332477756 · 2° anno · 0 file
TRATTAMENTO DEI DATI SENSIBILI cod. P995340200 · 2° anno · 2 file
Accertamento di lingua inglese - livello b2 (3 CFU) cod. accertamento-di-lingua-inglese-livello-b2-3-cfu · 2025/2026° anno · 0 file
Affidabilita' dei sistemi cod. affidabilita-dei-sistemi-0 · 2025/2026° anno · 0 file
Digital forensics cod. digital-forensics-0 · 2025/2026° anno · 0 file
Fondamenti giuridici per la sicurezza e la privatezza cod. UC27786 · 2025/2026° anno · 0 file
Gestione della sicurezza nelle imprese cod. gestione-della-sicurezza-nelle-imprese-2 · 2025/2026° anno · 0 file
Gestione sicura dei dati cod. gestione-sicura-dei-dati · 2025/2026° anno · 0 file
Intelligenza artificiale per la sicurezza e la privatezza cod. UC27773 · 2025/2026° anno · 0 file
Machine learning per la sicurezza dei sistemi e delle reti cod. UC27782 · 2025/2026° anno · 0 file
Progettazione di sistemi operativi sicuri cod. progettazione-di-sistemi-operativi-sicuri · 2025/2026° anno · 0 file
Prova finale cod. prova-finale-110 · 2025/2026° anno · 0 file
Quantum e post-quantum computing cod. quantum-e-post-quantum-computing-0 · 2025/2026° anno · 0 file
Sicurezza dei sistemi iot cod. sicurezza-dei-sistemi-iot · 2025/2026° anno · 0 file
Sicurezza nelle architetture data intensive cod. sicurezza-nelle-architetture-data-intensive-1 · 2025/2026° anno · 0 file
Sicurezza nelle reti cod. sicurezza-nelle-reti · 2025/2026° anno · 0 file
Sistemi per la protezione e la difesa degli attacchi informatici cod. UC27790 · 2025/2026° anno · 0 file
Specifica e verifica di sistemi critici cod. specifica-e-verifica-di-sistemi-critici-2 · 2025/2026° anno · 0 file
Tecniche di protezione dei sistemi cod. tecniche-di-protezione-dei-sistemi · 2025/2026° anno · 0 file
Tecniche di protezione del software cod. tecniche-di-protezione-del-software · 2025/2026° anno · 0 file
Tecniche e applicazioni biometriche cod. tecniche-e-applicazioni-biometriche-2 · 2025/2026° anno · 0 file

Recensioni del corso

Studi qui? Accedi per lasciare la tua recensione e aiutare altri studenti a scegliere.

Nessuna recensione per ora — e la prima è la più preziosa. Condividi la tua esperienza e orienta le future matricole.