Model Driven Engineering for the IoT

牛津词典对物联网（IoT）的定义是：“一种建议发展的互联网，日常物品在其中具有网络连接，允许它们发送和接收数据。”虽然这项技术释放了巨大的机会来推进和积极影响我们的日常生活，但它增加了我们每天与之互动的设备的攻击面，因此，当以恶意方式使用时，它可能会阻碍我们的生活。

The Oxford dictionary defines the Internet of Things (IoT) as: “A proposed development of the Internet in which everyday objects have network connectivity, allowing them to send and receive data.” While this technology unleashed huge opportunities to advance and positively impact our daily life, it increases the attack surface on devices we interact with on a daily basis and consequently when used in malicious way, it could hinder our life. In this program, we aim to address the IoT security and trust challenge in two ways: First, we aim at integrating model driven security (MDS) with the design and development of IoT applications. Such integration of the security meta-model with the IoT ecosystem architectural reference meta-models at the design level will ensure that security aspects will be considered at an early stage of development. The proposed integrated model can also be used as a basis for migrating existing IoT applications into security and privacy aware systems. Second, and from an analysis and testing perspective, and similar to previous work in the framework we developed for web applications security analysis [10], we aim at using static and dynamic analysis techniques to recover security models from existing IoT ecosystems, and to use formal verification techniques to verify whether the IoT applications have security vulnerabilities. This research plan will train six Highly Qualified Personnel (HQP): 2 PhD and 4 Master's students. They will gain extensive hands-on experience with MDE, security analysis research techniques, and industry-grade IoT systems, preparing them for a successful academic career or for the demanding role of cybersecurity researchers of large software systems. The IoT sprang to life with a promise of trillion-dollar economic impact, and enhanced quality of service of our everyday life. This program is designed to support the adoption of this technology by helping standardize the efforts in the design and development of security aware IoT ecosystems. The program will also provide required methods and toolsets to test and verify the conformance of IoT solutions to security standards, thus helping industries to verify and improve their products to meet the market expectations. We hope that our program will contribute to provide higher quality IoT products which will positively impact rather than hinder our life and contribute in many ways to Canadians in the age of ubiquitous computing.