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ő

Tanszéki résztvevők

A munkatárs fényképe
adjunktus
Szoba: IB 417
Tel.:
+36 1 463-35-86
Email: bergmann (*) 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ó