Piero A. Bonatti

• Risultati di [Java]
• Risultati di [UML]
• Risultati di [Sicurezza]
• Visione compiti e orali Giovedì 12/4 ore 16.30
• In considerazione della sovrapposizione con l'appello di Basi di Dati, le eventuali prove valide di Linguaggi di chi si è regolarmente iscritto e ha partecipato all'appello di Basi di Dati saranno in via eccezionale conservate fino a Giugno
  

• Risultati di [UML ecc.]

• Risultati di [Java]
• Risultati di [Sicurezza]
• Verbalizzazioni e visione compiti Mercoledì 29 ore 11 presso lo studio del docente

• Risultati di [Java]
• Risultati di [UML ecc.]
• Risultati di [Sicurezza]
• visione compiti, verbalizzazioni, orali giovedì 2 febbraio alle 9

• Risultati di [UML ecc.]
• esempio di soluzione UML [class1, class2, sequence]
• Risultati di [Java]
• Risultati di [Sicurezza]

• Risultati di Sicurezza [qui] 
• Risultati di [Java (modificati!!! riguardateveli)] e di [generali+pass.param.+UML]

• Risultati di Linguaggi: [Java][UML].  Possibli soluzioni UML [1,2]
• Risultati di Sicurezza [qui]

• Risultati di Linguaggi [qui]

• Risultati di Sicurezza [qui]

• Risultati di Linguaggi [qui]

• Risultati di Sicurezza [qui]

• Risultati di Linguaggi [qui]

Svolgimento

• II semestre

• Introduzione [1]
• Paradigma imperativo [2] [3] [4] [Es1] [Es2]
• Analisi e progettazione O.O.; UML [5,5b,5c,5d,5e,5f,5g,5h,5i] [6a,6b,6c] [7,7b,soluzioni] (solo diagrammi degli use case, classi, oggetti, sequence e discussioni relative)
• Java [8,8b] [9,9b] [10] [11] [12] [13] [14] [15] [16] [17]
• Ultime sistematizzazioni sui sistemi di tipi [18] e sul polimorfismo [19,20]

Svolgimento

• I semestre

Obbiettivi

• Il corso di Ingegneria del Software presenta i metodi, le tecniche e gli strumenti fondamentali di documentazione della specifica, analisi e progetto di sistemi software complessi da un punto di vista architetturale, con enfasi speciale sulla parte di analisi/specifica dei requisiti e progettazione a oggetti usando UML. Analizziamo in particolare le tecnologie di costruzione di documenti digitali di supporto alla progettazione del software.

Programma 2006-07

Testi di riferimento

• Grady Booch, James Rumbaugh, Ivar Jacobson. The Unified Modeling Language User Guide, Addison-Wesley, 1998.
• Roger Pressman. Principi di ingegneria del software (terza ed.), McGraw Hill, 2000
• Ian Sommerville. Software Engineering (sesta ed.), Addison Wesley, 2001

CASE and Project Management Tools

• Argo (open source, installato nei laboratori didattici)
• Poseidon (free)
• Rational Rose (trial versions - 15 days)
• MrProject (open source) [Download]
• Subversion (open source)

Lucidi

1. Introduzione (.ppt)
2. L'industria del software. Panoramica (.pdf)
3. I modelli di processo (.ppt)
4. Il RUP (.pdf)
5. Costi e metriche (.ppt)
6. Ingegneria dei requisiti (.ppt) e strutturazione dei casi d'uso (.html)
7. Ingegneria del software orientata agli oggetti (.pdf) e slides correttive (.pdf)
   • Strong typing e Weak typing
   • Static binding e Dynamic binding
8. Dispense su macchine a stati finite
9. DFD e confronto con automi (.ppt) - Articolo su DFD e FDFD
10. Testing (.pdf)
11. OCL: Object Constraint Language (.pdf)

Altro materiale

1. Metriche per Applicazioni Web (.ppt)
2. Formalizzazione dei requisiti tramite linguaggio naturale controllato
   • Attempto
   • Sistema di supporto a processo trasformazionale (.pdf) [Slides (.ppt)] [Code generation (.pdf)]
3. Alcuni standards per Service Oriented Computing
4. Un approccio logico alla descrizione semantica di servizi

Casi di studio

1. Coffee maker (.pdf)
2. Stazione meteorologica (.pdf)

Progetti d'esame

• Progetto A.A. 2006/2007 (.rtf)
• Norme per lo svolgimento dei progetti e FAQ

Alcuni scritti

• 18/9/06 - 23/1/07 - 14/2/07 - 26/2/07 - 26/6/07 - 18/7/07

LOGICHE PER LA RAPPRESENTAZIONE DELLA CONOSCENZA

Svolgimento

• I semestre

Obbiettivi

• Apprendimento di logiche non standard (in particolare modali e terminologiche - o descrittive) rilevanti per la rappresentazione della conoscenza e relative aree applicative (semantic web, program/protocol analysis, knowledge management, e-services, ingegneria del software avanzata ecc.)

Prerequisiti

• Logica I

Programma    

Testi di riferimento

• G.E. Huges, M.J. Cresswell. Introduzione alla logica modale, Il Saggiatore, 1983
• F. Baader et al. The Description Logics Handbook, Cambridge, 2003

Materiale didattico

1. Introduzione (.ppt)
2. Note su complessità ed espressività di alcuni frammenti della logica del primo ordine (.pdf)
3. Sul teorema di Loewenheim-Skolem (.html)
4. Note sulla logica modale - Cap.1-5 (.pdf)
5. Materiale su logiche descrittive
   • [1] [2] [4] [5] [9] (fondamentali)
   • [10] [11] [12] [13] [14] [15] [16] (lettura consigliata)
6. Esercizi
7. Testo di esame

Links

• Semantic Web
• Inference engines
• Research on Description Logics
• Inference engines for Description Logics

SICUREZZA E PRIVATEZZA

Svolgimento

• I+II semestre (9 cfu)

Obbiettivi

• Nozioni di base relative alla sicurezza dei dati e dei sistemi. Servizi di sicurezza nei sistemi operativi. Progetto dei sistemi di sicurezza. Controllo dell'accesso: politiche e modelli mandatori e discrezionali, controlli di flusso e di inferenza. Auditing e controllo delle intrusioni. Vulnerabilità dei protocolli di rete. Cenni di crittografia. Privatezza.

Programma e Materiale didattico   

• Introduzione
  1. Articolo introduttivo su servizi di sicurezza (.pdf)
     Slides:
  2. Terminologia di base (.ps)
  3. Autenticazione (.ps)
• Controllo degli accessi
  1. Articolo su politiche, modelli e meccanismi (.pdf)
     Slides:
  2. Controllo degli accessi I (DAC) (.ps)
  • dettagli formali HRU e take-grant [slides 7 - 41]
  3. Controllo degli accessi II (BLP) (.ps)
  4. Controllo degli accessi III (Biba, Multilevel DB) (.ps)
  5. Controllo degli accessi IV
     RBAC. Integrita' (Clark and Wilson). Autorizzazioni dedotte e vincolate [Slides 1] [Slides 2] comprese:
     • Politiche amministrative
     • Chinese Walls e separazione privilegi
     • Autorizzazioni dipendenti da variabili di sistema/storia/contenuto
     • Gruppi, gerarchie ereditarietà e conflitti
  6. Articolo su meccanismi comuni (.pdf)
  7. Linguaggi di specifica espressivi
     • Linguaggi logici per la specifica di politiche [Versione parziale 4 del 14/4/05]
     • Negoziazione automatica di credenziali [Articolo .pdf][slides]
     • Algebra per la composizione di politiche [Articolo .pdf]
     • XACML [slides]
  8. Sicurezza nelle reti
     • [TCP/IP e semplici violazioni] [Acquisizione di informazioni] [Spoofing] [Session Hijacking]
     • [Vulnerabilità e contromisure comuni] [Denial of service; Virus, Trojan, Worms; Rootkits]
     • [Firewalls, Vulnerabilità applicative] e [allegati]
     • [WLAN]
     • Crittografia [1] [2,2b] [3]. Lezioni del Dr. Galdi su firma digitale, funzioni hash e protocolli (.ps) e su PKI.
     • Privacy [1]. Approfondimenti su P3P [2] e APPEL [3].
  9. Inferenza e database statistici [1]
  10. Java security [slides]
  11. Usage control [1][2][3], [ODRL1][ODRL2].
  12. Seminario: La sicurezza nell'INFN [1][2]
• Esempi di domande ed esercizi d'esame (tranne programmi logici) [1] [2]
• Testo di riferimento per crittografia e protocolli
• William STALLINGS. Crittografia e sicurezza delle reti. McGraw Hill [Vers. inglese in biblioteca]
• Per chi deve sostenere il corso da 6 cfu dei vecchi ordinamenti e regolamenti: escludere dal programma le seguenti parti
• XACML
• Usage control
• APPEL
• Java security
• protocolli crittografici (slides "lezione 8/06" del Prof. Galdi)

Links

• Ricerca in sicurezza nella Sezione di Informatica