Integralni sistemi in arhitekture za zagotavljanje varnostnih storitev v globalnih komunikacijskih omrežjih, ISA

Izvajanje globalnih varnostnih storitev zahteva vzpostavitev varnostne infrastrukture, kar pomeni definicijo podpornih sistemov, njihove medsebojne interakcije in interakcije z uporabniki (kriptografski protokoli). Raziskave projekta vključujejo razvoj kriptografskih protokolov, ki bodo zahtevali manj procesorskih resursov, kar je pomembno za manj zmogljive mobilne sisteme in boljšo izrabo pasovne širine v širokopasovnih sistemih. Razvoj bo vključeval formalizme, ki bodo omogočali preverjanje želenih lastnosti teh protokolov. Osnova bodo enosmerne zgoščevalne funkcije ter kasneje nadgradnja za uporabo kod za overjanje, ki zagotavljajo večjo kriptografsko trdnost. Nadalje raziskave vključujejo formalizacija varnostnih politik, ker le te pokrivajo zelo kompleksen spekter aktivnosti za zagotovitev varnosti in je formalizacija predpogoj za avtomatizacijo pripadajočih procedur. Končno vključujejo izdelavo alternativnih arhitekturnih rešitev globalne varnostne infrastrukture. Nove rešitve bodo razvite ob uporabi formalnih tehnik (jezik Z in formalizem GNY).