Projekti / Programi
Integralni sistemi in arhitekture za zagotavljanje varnostnih storitev v globalnih komunikacijskih omrežjih, ISA
Koda |
Veda |
Področje |
Podpodročje |
2.08.00 |
Tehnika |
Telekomunikacije |
|
Koda |
Veda |
Področje |
T121 |
Tehnološke vede |
Obdelava signalov |
T180 |
Tehnološke vede |
Telekomunikacijsko inženirstvo |
komunikacijski - informacijski sistemi, varnostne storitve, kriptografksi protokoli, varnostna politika, formalne metode
Raziskovalci (1)
št. |
Evidenčna št. |
Ime in priimek |
Razisk. področje |
Vloga |
Obdobje |
Štev. publikacijŠtev. publikacij |
1. |
11077 |
dr. Denis Trček |
Računalništvo in informatika |
Vodja |
1998 - 2001 |
323 |
Organizacije (1)
št. |
Evidenčna št. |
Razisk. organizacija |
Kraj |
Matična številka |
Štev. publikacijŠtev. publikacij |
1. |
0106 |
Institut "Jožef Stefan" |
Ljubljana |
5051606000 |
90.742 |
Povzetek
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).