Project Details
Projekt
WS4Dsec - Reliably Secure Web Services for Devices
Subject Area
Software Engineering and Programming Languages
Term
from 2010 to 2015
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme
Priority Programmes
Subproject of
SPP 1496:
Reliably Secure Software Systems
