Prof.Dr. Ferucio Laurentiu TipleaFacultatea de InformaticaUniv. Al.I.Cuza, Iasi

Curs: Securitatea Informatiei

3 octombrie 213

Tema nr. 1: Controlul accesului

1. Realizati un program care sa decida predicatul can share (folositi Teorema5 din curs)

2. Descrieti un scenariu real, de dimensiuni reduse, modelat printr-o stareinitiala take-grant. Stabiliti entitatile ce nu ar trebui sa ajunga n posesiaanumitor drepturi, si verificati siguranta modelului folosind programulconstruit la pasul anterior.