hrvatski

Formalni postupci u specifikaciji sigurnosnih zahtjeva

Razvoj najrazličitijih i složenih informacijsko-komunikacijskih usluga danas sve je snažniji, a raznorodna područja ljudskog djelovanja sa zajedničkim interesom za korištenjem takvih usluga teže međusobnom približavanju i suradnji. Otvorenost sučelja, interoperabilnost i ostali aspekti suradnje otvaraju i sasvim nove izazove sigurnosti i zaštićenosti kako programskih sustava koji te usluge pružaju tako i korisnika samih usluga te njihovih podataka. Formalni postupci ili, kraće i uvriježenije, formalne metode, koje svoju najširu primjenu već imaju u području programske verifikacije, također mogu doprinijeti smanjenju jaza između višeznačnih korisničkih zahtjeva i potrebe za formalnim specifikacijama programskih sustava te istovremeno poslužiti kao temelj za matematičko dokazivanje da će formalno specificirani sigurnosni zahtjevi, odnosno svojstva biti očuvana kroz sve faze životnog ciklusa razvoja sustava, od formalne specifikacije preko implementacije do verifikacije i validacije.

sigurnosni zahtjev; formalna specifikacija; sigurnost; zaštićenost; inženjerstvo zahtjeva; formalne metode

Kvalifikacijski doktorski rad