Obiective
- Însuşirea unor concepte de bază pentru a putea gestiona sistemele de securitate cu ajutorul unor logici corespunzătoare.
- Învăţarea unui limbaj concret de demonstrare automată (Isabelle).
Tematica generală:
- Securitatea sistemelor şi sisteme multiagent
- Logica BAN
- Logica GNY/BGNY
- Logica AT
- Logica vO
- Logica SvO
- Model Checking în logici de încredere
- Demonstratorul automat ISABELLE
Tematică
Tematica seminariilor/laboratoarelor va fi fixata de coordonatori la prima întâlnire. Ea va cuprinde exemplificări ale cursurilor deja predate, teme imediate pentru acasă şi proiecte de durată mai îndelungată. Se vor folosi metodele clasice (Expunerea sistematică a cunostintelor, Conversaţia, Problematizarea şi învăţarea prin descoperire, Modelarea, etc.). Cursurile vor fi predate utilizând video. Laboratoarele vor fi axate pe învăţarea unui limbaj comercial existent (Isabelle, MCMAS, etc).
Cursuri anterioare necesare (evident, cursurile anterioare de la master):
- Logică
- Securitatea informaţiei
- Programare logică (opţional)
- Calculabilitate, Decidabilitate şi Complexitate (opţional)
Bibliografie (sunt la bibliotecă sau le găsiţi singur pe Internet)
- Site-uri INTERNET care vor fi precizate la cursuri / laboratoare
- C. Masalagiu, Fundamentele logice ale Informaticii, Ed. Universitatii "Al. I. Cuza", Iasi, 2004, ISBN 973-703-015-X
- M. Huth, M. Ryan - Logic in Computer Science: Modelling and Reasoning about Systems, Cambridge University Press, England, 2000, ISBN 0-521-65200-6
- R. Stalnaker – On Logic of Knoledge and Belief, Springer Verlag, 2006
- P.C. van Oorschot – Handbook of Applied Cryptography, Carleton University, 2002
- T. Kwon, S. Lim – Automation-Considered Logic of Authentication and Key Distibution, Spinger Verlag, 2003
- D. Yiqiang – An Improvement of GNY Logic for the Reflection Attacks, Springer Verlag, 1999
- M. Benerecetti, et al. – A Logic of Belief and a Model Checking Algoritm for Security Protocols, 2000
- D. Monniaux – Analysis of Cryprographic Protocols Using Logics of Belief: An Overview, J. T. I.T., 2006
- R. Fagin, et al. – Reasoning about Knoledge, M. I. T. Press, 2003
- J.J. Ch. Meyer, W. van der Hoek, Epistemic Logic for AI and Computer Science, Cambridge Univ. Press, 2004
- Slide-uri curs
Modalităţi de evaluare (cerinţe):
- Prezenţa la laboratoare este obligatorie.
- Primele şapte laboratoare vor fi axate pe MCMAS (C. Vârlan), iar următoarele pe Isabelle (V. Alaiba). Fiecare coordonator de laborator va stabili propriile cerinţe. Notele obţinute la laborator vor conta în proporţie de 25% + 25% din nota finală.
- In săptămâna 8 se va da un test scris ce va conta 25% din nota finală.
- Restul de 25% din nota finală va fi obţinut în urma preluării şi finalizării unui proiect de "cercetare". Alegerea proiectelor va fi făcută după primele 7 săptămâni de curs.
|
