Link: Suche und Kontakt

[Beginn des Inhalts]


WS4Dsec - Reliably Secure Web Services for Devices


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 interactions 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.

Project period

  • 24 months: 01.10.2010 - 30.09.2012

Research grant

  • This is a cooperative research project initiated by Prof. Karsten Wolf and Prof. Dirk Timmermann.
  • It is funded by DFG (German Research Foundation) by a research grant under Priority Programe 1496 - "Reliably Secure Software Systems – RS3"..

Principal investigators

Prof. Dr.-Ing. Dirk Timmermann

Prof. Dr.-Ing. Dirk Timmermann


Tel.: +49 381 498 7250

Fax: +49 381 498 118 7251

Raum: W1205

Prof. Dr. Karsten Wolf

Prof. Dr. rer. nat. habil Karsten Wolf


Tel.: +49 381 498 7670

Büro: 225


  • Elmar Zeeb, Guido Moritz, Dirk Timmermann, Frank Golatowski:
    Towards component orientation in embedded web service environments
    15th IEEE International Conference on Emerging Technologies & Factory Automation (ETFA 2010), Bilbao, Spanien, September 2010
  • Elmar Zeeb, Guido Moritz, Dirk Timmermann, Frank Golatowski:
    WS4D: Toolkits for networked embedded systems based on the Devices Profile for Web Services
    International Workshop on Compilers, Languages and Architectures for Web Services (CLAWS 2010), San Diego, California, USA, September 2010
  • Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Comput. J., 53(1):90-106, January 2010
  • Dirk Fahland, Cédric Favre, Barbara Jobstmann, Jana Koehler, Niels Lohmann, Hagen Völzer, and Karsten Wolf. Instantaneous Soundness Checking of Industrial Business Process Models. Proc. 7th Int. Conf. Business Process Management, Ulm, Germany, September 8-10, 2009, Proceedings, volume 5701 of Lecture Notes in Computer Science, pages 278-293. Springer-Verlag.


[Ende des Inhalts]


Nach oben