SecureChange-hun

Security Engineering for Lifelong Evolvable Systems (SecureChange)
Típus: 
EU kutatási keretprogram
Kezdés éve: 
2009
Befejezés éve: 
2012
Partnerek: 
Università degli Studi di Trento (ITA), Budapest University of Technology and Economics (HUN), Gemalto (FRA) Institut national de Recherche en Informatique et en Automatique (INRIA) (FRA) Katholieke Universiteit Leuven (BEL) Smartesting (FRA) Open University (UK) Stiftelsen for industiell og teknisk forskning ved Norges Tekniske Hogskole (SINTEF) NOR Thales (FRA) Telefonica Investigacion y Desarrollo Sociedad Anonima Unipersonal (ESP) University of Innsbruck (AUT) Deep Blue (ITA) Technische Universität Dortmund (GER)

Tanszéki projektvezető

A munkatárs fényképe
egyetemi tanár
Szoba: IB417
Tel.:
+36 1 463-3586
Email: varro (*) mit * bme * hu

Tanszéki résztvevők

A munkatárs fényképe
docens
Szoba: IB419
Tel.:
+36 1 463-3594
Email: micskeiz (*) mit * bme * hu
A doktorandusz fényképe
doktorandusz
Szoba: IB414
Tel.:
+36 1 463-3579
Email: hegedusa (*) mit * bme * hu

Elérhetőségek

Felelős: 
Varró Dániel

Bemutatás

A szoftveres rendszerek egyre hosszabb életűek lesznek. Ugyanakkor a szoftver egyre inkább biztonság-kritikussá válik, hisz minden kritikus infrastruktúrában, legyen az vasút- vagy repülőirányítás, egyre nagyobb szerepet kapnak a szoftveres megoldások. Így aztán egyre inkább fontosabb követelmény az IT rendszerek biztonsági verifikálása mind tervezési, mind telepítési időben. Különösen igaz ez a hosszú életű rendszerek esetén. Emellett viszont ezeknek a rendszereknek flexibilisnek is kell maradniuk, hogy képesek legyen adaptálódni a környezeti változásokhoz és a folyamatosan módosuló követelményekhez, használati és támadási módokhoz. Ez a jelenlegi szoftver technológiai módszerekkel csak nehézkesen biztosítható, általában fel kell áldoznunk a flexibilitás és az ellenőrzött működés közül az egyiket. Célunk tehát olyan módszerek és technológiák kutatása, melyek biztosítják, hogy az ilyen hosszú életű szoftver rendszerek megfeleljenek a folyamatosan változó biztonsági követelményeknek. A feladat nehézségét ezeknek a követelményeknek a feltárása, valamint ennek megfelelően a rendszer igazoltan helyes és biztonságos módosítása jelenti

© 2010-2020 BME MIT | Hibajelentés | Használati útmutató