Developing and Applying a Sound Security Framework for Sensor Networks

网络物理系统（CPS）的特点是其计算元素，软件和物理组件的紧密交互。它们代表了现代计算机科学范式的变化。CPS最重要的例子之一是测量和处理环境数据的无线传感器网络。传感器网络被广泛应用于安全关键应用中，例如预警系统或医疗远程监护。尽管这一主题具有巨大的相关性，但直到今天，仍然缺少一个全面、通用的框架来对安全特征进行合理的分析。相反，大多数现有的工作只提供了基本的和非正式的安全分析。特别是，现有技术既不允许比较也不允许安全地联合收割机结合几种方案，本项目的目的就是缩小这一差距。首先，建立了一个适当的安全框架。之后，可证明安全的解决方案中最重要的安全目标是在开发的框架。由于传感器网络的特殊性质，该项目需要来自传感器网络和密码学领域的专家的跨学科合作。因此，本申请旨在两个工作组之间的合作项目。

Cyber Physical Systems (CPS) are characterized by the tight interaction of their computational elements, software, and physical components. They represent a change of paradigm in modern computer science. One of the most important examples for CPS are wireless sensor networks that measure and process environmental data. Sensor networks are widely employed, amongst others, in security critical applications such as early warning systems or medical telemonitoring. Despite the enormous relevance of this topic, till today a comprehensive, universal framework for a sound analysis of security features is missing. Instead the majority of existing work only provides rudimentary and informal security analysis. In particular, the state of the art does neither allow to compare nor to securely combine several schemes.The aim of this project is to close this gap. First, an appropriate security framework is developed. Afterwards, provably secure solutions for the most important security goals are derived within the developed framework. Due to the particular properties of sensor networks, this project requires interdisciplinary collaboration of experts from the fields of sensor networks and cryptography. In consequence, this application aims for a cooperative project between two working groups.