Naslov
Formalni postupci u specifikaciji sigurnosnih zahtjeva
(Formal methods for security requirements specification)

Autori
Belani, Hrvoje

Izvornik
Poslijediplomski doktorski studij (Fakultet elektrotehnike i računarstva Sveučilšta u Zagrebu)

Vrsta, podvrsta
Ostale vrste radova, ostalo

Godina
2009

Ključne riječi
sigurnosni zahtjev; formalna specifikacija; sigurnost; zaštićenost; inženjerstvo zahtjeva; formalne metode
(security requirement; formal specification; security; protection; requirements engineering; formal methods)

Sažetak
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.

Izvorni jezik
Hrvatski

Znanstvena područja
Elektrotehnika

Napomena
Kvalifikacijski doktorski rad

POVEZANOST RADA