TOPICI SPECIALE în LOGICĂ şi SECURITATE 2019-2020


Master, Anul II, sem I


Instructor: Ioana Leuştean

Cursul are trei părţi:

  • I. Specificarea şi analiza protocoalelor de securitate.
  • II. Analiză statică.
  • III. Metode de învătare automata pentru securitate.

INFORMATII RESTANTA mai 2020
Metoda de examinare este aceeasi ca si in sesiunea din februarie 2020, dar studentii nu pot lucra in echipe. Fiecare student trebuie sa trimita trei referate, cate unul pentru fiecare parte a cursului. Teme pentru partea I. Teme pentru partea a II-a. Pentru partea a III-a contactati-o pe Elena Burceanu (Bitdefender).

Incarcati prezentarile pentru toate trei partile folosind acest link. Terme pentru incarcare: duminica 10.05, ora 24.00. Prezentarile live se vor face pe Google Meet:ora 10.00 - Partea a II-a, ora 12.00-Partea a III-a, 14.00-Partea I (o prezentare va dura in jur de 10 minute, vor fi cel putin 2 studenti prezenti online). Vor fi anuntate mai multe detalii.

Materiale pentru prima parte a cursului [link]. Examen.

Partea a doua a fost predata de Paul Irofti. Mai multe detalii.
Partea a treia a fost predata de Elena Burceanu (Bitdefender). Link materiale. Link examen.



Bibliografie pentru prima parte:
C. Cremers, S. Mauw, Operational Semantics and Verification of Security Protocols, Springer, 2012.

Legături utile:

Contact

Ioana Leuştean
Facultatea de Matematică şi Informatică
Universitatea din Bucureşti
Str. Academiei 14, sector 1,
010014, Bucureşti, România
Email: ioana.leustean at unibuc.ro
Birou: camera 209