2012
2012
Sei collegato come utente non registrato
Il percorso ha la certificazione
Corso di Laurea: Informatica  -  Percorso: Reti e sicurezza
Informazioni generali
Università ROMA "La Sapienza" Responsabile del Percorso Paola Velardi
Livello del Cdl MAGISTRALE Email velardi@di.uniroma1.it
Docenti che insegnano nel corso*: 27 Afferisce al primo corso di laurea iscritto Si
(*) Questo è il numero di docenti appartenenti ai settori scientifico-disciplinari INF/01 o ING-INF/05 che svolgono il loro carico didattico istituzionale presso questo corso di laurea E' un percorso interdisciplinare No
Commento    
Legenda delle Aree
A: Fondamenti G: Basi di dati altro INF: Crediti di INFORMATICA non classificati nelle aree
B: Algoritmi H: Computazione su rete INF: Crediti di INFORMATICA non classificabili a priori
C: Programmazione I: Ingegneria del software MAT: Crediti di MATEMATICA
D: Linguaggi L: Interazione, grafica e multimedialità altro: Crediti NON dell'INFORMATICA nè della MATEMATICA
E: Architetture M: Rappresentazione della conoscenza NC: Crediti Non Classificabili a priori
F: Sistemi operativi A_M: Una qualunque delle aree da A a M
Insegnamenti e ripartizione CFU per area CFU A B C D E F G H I L M A_M altro INF INF MAT altro NC
Algoritmi e strutture dati 6   6                              
Calcolabilità e complessità 6 6                                
Compilatori 6       6                          
Crittografia 6 4                       2        
Insegnamenti a scelta dello studente 12                                 12
Insegnamenti a scelta vincolata di Informatica 6                       6          
Insegnamenti a scelta vincolata non di Informatica 6                                 6
Metodi formali per il software 6                 6                
Prestazioni dei sistemi di rete 6           2   4                  
Reti avanzate 6               6                  
Sicurezza dei dati e delle reti 6         1 2   3                  
Sistemi distribuiti 6           5   1                  
                                     
Attività Extracurriculari 0                                 0
Lingue Straniere 0                                 0
Prova Finale 36                                 36
Tirocinio 6                                 6
TOTALE 120 10 6 0 6 1 9 0 14 6 0 0 6 2 0 0 0 60

Riepilogo dell'insegnamento: Algoritmi e strutture dati
Nome Algoritmi e strutture dati CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area B - Algoritmi

Sillabo dell'insegnamento

  • B - Algoritmi
    • * A - Algoritmi fondamentali
      Nearest neighbor search e sue applicazioni in pattern recognition e image retrieval.
    • * SDF - Strutture di Dati Fondamentali
      Alberi etchettati e loro applicazioni nella tomografia delle reti e per indicizzare documenti XML.
    • SDA - Strutture di Dati Avanzate
      Splay tree come strutture dati utili nell'implementazione di caches e negli algoritmi di garbage collection.
    • * SDF - Strutture di Dati Fondamentali
      Suffix tree e loro uso in ricerca avanzata di stringhe, biologia computazionale e compressione dati.
    • TAPA - Tecniche fondamentali di Analisi e Progetto di Algoritmi
      Analisi ammortizzata; calcolo dei differenti approcci alla complessità ammortizzata relativo a problemi elementari.
    • * A - Algoritmi fondamentali
      Min Cut e sue applicazioni per il branch-and-bound.

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Calcolabilità e complessità
Nome Calcolabilità e complessità CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area A - Fondamenti

Sillabo dell'insegnamento

  • A - Fondamenti
    • COM - Complessita'
      Problemi trattabili e problemi non provatamente intrattabili: P e NP.
    • * CAL - Calcolabilita'
      Decidibilità
    • COM - Complessita'
      Classi di complessità
    • * ALF - Automi e Linguaggi Formali
      Automi a pila e grammatiche acontestuali.
    • * ALF - Automi e Linguaggi Formali
      Automi a stati finiti
    • * CAL - Calcolabilita'
      Macchine di Turing

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Compilatori
Nome Compilatori CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area D - Linguaggi

Sillabo dell'insegnamento

  • D - Linguaggi
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Riconoscimento dei programmi: metodi deduttivi (tecniche top-down) e induttivi (tecniche bottom-up).
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Generazione del codice oggetto: analisi e ottimizzazione
    • * MATR - Macchine Astratte e Tecniche per la Realizzazione dei linguaggi di programmazione
      Generazione del metacodice
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Analisi Semantica
    • * TTCI - Tecniche di Traduzione: Compilatori e Interpreti
      Analisi sintattica
    • * LF - Linguaggi Formali
      Scansione del testo e riconoscimento automatico dei lessemi, basato su grammatiche regolari ed espressioni regolari.

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Crittografia
Nome Crittografia CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 4 CFU nell'area A - Fondamenti
  • 2 CFU nell'area altro INF - Crediti di INFORMATICA non classificati nelle aree

Sillabo dell'insegnamento

  • A - Fondamenti
    • TIC - Teoria dell'Informazione e Codici
      Codici di autenticazione del messaggio
    • TIC - Teoria dell'Informazione e Codici
      Cifratura simmetrica e asimmetrica
    • COM - Complessita'
      Schemi di firma digitale
    • TIC - Teoria dell'Informazione e Codici
      Infrastruttura a chiave pubblica

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Insegnamenti a scelta dello studente
Nome Insegnamenti a scelta dello studente CFU 12
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare --libero--
   

12 cfu così ripartiti nelle aree:

  • 12 CFU nell'area NC - Crediti Non Classificabili a priori

Sillabo dell'insegnamento

    Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.


Riepilogo dell'insegnamento: Insegnamenti a scelta vincolata di Informatica
Nome Insegnamenti a scelta vincolata di Informatica CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area A_M - Una qualunque delle aree da A a M

Sillabo dell'insegnamento

    Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.


Riepilogo dell'insegnamento: Insegnamenti a scelta vincolata non di Informatica
Nome Insegnamenti a scelta vincolata non di Informatica CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare --libero--
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area NC - Crediti Non Classificabili a priori

Sillabo dell'insegnamento

    Non è presente il sillabo poiché non vi sono crediti allocati in aree per cui è previsto.


Riepilogo dell'insegnamento: Metodi formali per il software
Nome Metodi formali per il software CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area I - Ingegneria del software

Sillabo dell'insegnamento

  • I - Ingegneria del software
    • * PSS - Processi di Sviluppo del Software
      Static analysis, testing, model checking, sintesi automatica, trasformazione di programmi e modelli
    • * LMS - Linguaggi di Modellazione del Software
      Algebre di processo, Timed/Hybrid Automata, Statecharts, Reti di Petri
    • * AR - Analisi dei Requisiti
      Definizione e la validazione dei requisiti
    • * PSC - Progettazione del Software e Codifica
      Metodi di Analisi e Sintesi di Sistemi Software
    • * AR - Analisi dei Requisiti
      Metodi di Specifica dei Requisiti di Sistemi Software
    • * LMS - Linguaggi di Modellazione del Software
      Metodi di Modellazione di Sistemi Software

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Prestazioni dei sistemi di rete
Nome Prestazioni dei sistemi di rete CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 2 CFU nell'area F - Sistemi operativi
  • 4 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • F - Sistemi operativi
    • SAA - Sistemi operativi per Architetture Avanzate
      Strumenti per la predizione del carico di lavoro di un sistema e delle sue condizioni operative
    • SAA - Sistemi operativi per Architetture Avanzate
      Monitoraggio e controllo del carico
  • H - Computazione su rete
    • GRC - Gestione di Reti di Calcolatori
      Ottimizzazione delle prestazioni di un sistema di rete
    • GRC - Gestione di Reti di Calcolatori
      Requisiti di prestazione di una architettura di rete
    • * ARTC - Architettura delle Reti di Calcolatori
      Dimensionamento dei sistemi di rete
    • SRM - Sistemi operativi di Rete e Middleware per la programmazione di rete
      Sistemi autonomi

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Reti avanzate
Nome Reti avanzate CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 6 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • H - Computazione su rete
    • * ARTC - Architettura delle Reti di Calcolatori
      Reti ad hoc
    • PASR - Programmazione di Applicazioni e Servizi di Rete
      Sistemi di quarta generazione
    • * PT - Protocolli
      Principali standard: GSM/GPRS, WiFi, Bluetooth
    • GRC - Gestione di Reti di Calcolatori
      Tecniche di valutazione delle prestazioni
    • GRC - Gestione di Reti di Calcolatori
      Tecniche di pianificazione di un sistema cellulare
    • * ARTC - Architettura delle Reti di Calcolatori
      Reti radiomobili

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Sicurezza dei dati e delle reti
Nome Sicurezza dei dati e delle reti CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 1 CFU nell'area E - Architetture
  • 2 CFU nell'area F - Sistemi operativi
  • 3 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • E - Architetture
    • AA - Architetture Avanzate
      Metodologie e architetture dei sistemi
  • F - Sistemi operativi
    • SAA - Sistemi operativi per Architetture Avanzate
      Sicurezza di un sistema di elaborazione distribuito
    • MA - Modelli e Architetture di sistemi operativi
      Sistemi operativi sicuri
  • H - Computazione su rete
    • * SR - Sicurezza delle Reti
      RFID privacy
    • * SR - Sicurezza delle Reti
      Sicurezza delle comunicazioni di gruppo
    • * SR - Sicurezza delle Reti
      Metodologie per la sicurezza

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali


Riepilogo dell'insegnamento: Sistemi distribuiti
Nome Sistemi distribuiti CFU 6
Ore di didattica frontale per CFU 10 Settore Scientifico Disciplinare INF/01
   

6 cfu così ripartiti nelle aree:

  • 5 CFU nell'area F - Sistemi operativi
  • 1 CFU nell'area H - Computazione su rete

Sillabo dell'insegnamento

  • F - Sistemi operativi
    • * GSP - Gestione e Sincronizzazione dei Processi
      Consensus
    • * GSP - Gestione e Sincronizzazione dei Processi
      Failure detectors
    • * GSP - Gestione e Sincronizzazione dei Processi
      Logical time
    • * GSP - Gestione e Sincronizzazione dei Processi
      Mutua esclusione e deadlock detection
    • * GSP - Gestione e Sincronizzazione dei Processi
      Shared memory e la gerarchia wait-free
  • H - Computazione su rete
    • * ARTC - Architettura delle Reti di Calcolatori
      Sistemi P2P

(*) Le sottoaree con asterisco sono quelle che il GRIN ritiene essenziali