Detailseite
Projekt
WS4Dsec - Reliably Secure Web Services for Devices
Antragsteller
Professor Dr.-Ing. Dirk Timmermann; Professor Dr. Karsten Wolf
Fachliche Zuordnung
Softwaretechnik und Programmiersprachen
Förderung
Förderung von 2010 bis 2015
Projektkennung
Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 184459658
The increasing number of small and spontaneous interacting devices offering services for data processing in a distributed manner accelerates the need to ensure a reliably secured data handling. Nowadays, embedded systems are powerful enough to provide Web Services and thus enabling ad-hoc device connections as interoperable cross domain solutions. Therefore, it is inevitable to handle data confidentially and to ensure that service based inter-actions are verifiable regarding their secure data exchange. The proposed project WS4Dsec faces this challenge of security issues related to Web Services for Devices (WS4D). We will realize a toolkit called WS4Dsec that enables a combined development and verification process for WS4D-enabled devices ensembles. Moreover, it will include capabilities for automatic code generation to reduce the complexity for the development of reliably secured service interactions. Thereby, the special requirements of dynamically connected devices differ from those used for traditional static Web Service systems in the enterprise domain. The combination of volatile network characteristics and a high demand on flexibility raises the need for new verifiable security concepts for stateful service interactions on constrained devices. Therefore, WS4Dsec will provide mechanisms that enable a formal verification of secure and stateful interacting devices ensembles.
DFG-Verfahren
Schwerpunktprogramme
