Model Driven Engineering for the IoT
物联网模型驱动工程
基本信息
- 批准号:RGPIN-2018-06283
- 负责人:
- 金额:$ 1.68万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2022
- 资助国家:加拿大
- 起止时间:2022-01-01 至 2023-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
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.
牛津词典将物联网(IoT)定义为:“互联网的拟议发展,其中日常物品具有网络连接性,允许它们发送和接收数据。虽然这项技术释放了巨大的机会来推进和积极影响我们的日常生活,但它增加了我们日常互动的设备的攻击面,因此当以恶意方式使用时,它可能会阻碍我们的生活。在这个项目中,我们的目标是通过两种方式解决物联网安全和信任挑战:首先,我们的目标是将模型驱动安全(MDS)与物联网应用程序的设计和开发相集成。安全元模型与物联网生态系统架构参考元模型在设计层面的这种集成将确保在开发的早期阶段考虑安全方面。所提出的集成模型也可以作为将现有物联网应用迁移到安全和隐私感知系统的基础。其次,从分析和测试的角度来看,与我们为Web应用程序安全分析开发的框架中的先前工作类似[10],我们的目标是使用静态和动态分析技术从现有的物联网生态系统中恢复安全模型,并使用形式化验证技术来验证物联网应用程序是否存在安全漏洞。该研究计划将培养6名高素质人才(HQP):2名博士生和4名硕士生。他们将获得MDE,安全分析研究技术和行业级物联网系统的广泛实践经验,为他们成功的学术生涯或大型软件系统的网络安全研究人员的苛刻角色做好准备。物联网蓬勃发展,带来了数万亿美元的经济影响,并提高了我们日常生活的服务质量。该计划旨在通过帮助标准化安全感知物联网生态系统的设计和开发来支持该技术的采用。该计划还将提供所需的方法和工具集,以测试和验证物联网解决方案是否符合安全标准,从而帮助行业验证和改进其产品,以满足市场预期。我们希望我们的计划将有助于提供更高质量的物联网产品,这将积极影响而不是阻碍我们的生活,并在无处不在的计算时代以多种方式为加拿大人做出贡献。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Alalfi, Manar其他文献
Alalfi, Manar的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Alalfi, Manar', 18)}}的其他基金
Model Driven Engineering for the IoT
物联网模型驱动工程
- 批准号:
RGPIN-2018-06283 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Model Driven Engineering for the IoT
物联网模型驱动工程
- 批准号:
RGPIN-2018-06283 - 财政年份:2020
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Model Driven Engineering for the IoT
物联网模型驱动工程
- 批准号:
RGPIN-2018-06283 - 财政年份:2019
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Vulnerability classification of IoT Software
物联网软件漏洞分类
- 批准号:
543347-2019 - 财政年份:2019
- 资助金额:
$ 1.68万 - 项目类别:
Engage Grants Program
Model Driven Engineering for the IoT
物联网模型驱动工程
- 批准号:
RGPIN-2018-06283 - 财政年份:2018
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
相似国自然基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
- 批准号:
- 批准年份:2024
- 资助金额:万元
- 项目类别:外国青年学者研究基金项目
相似海外基金
Deep-learning-based surrogate model for time-history analysis towards development of AI-driven Earthquake Engineering
基于深度学习的时程分析代理模型,以推动人工智能驱动的地震工程的发展
- 批准号:
23K13437 - 财政年份:2023
- 资助金额:
$ 1.68万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
Systematic and Automated Software Migration via Model-Driven Engineering
通过模型驱动工程实现系统化、自动化的软件迁移
- 批准号:
RGPIN-2020-05713 - 财政年份:2022
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Model-driven engineering for distributed, reliable, adaptive, web-based software
分布式、可靠、自适应、基于网络的软件的模型驱动工程
- 批准号:
RGPIN-2020-03892 - 财政年份:2022
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Model-driven Engineering Techniques for Dependable Adaptive Software Systems
可靠自适应软件系统的模型驱动工程技术
- 批准号:
RGPIN-2017-05417 - 财政年份:2022
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Systematic and Automated Software Migration via Model-Driven Engineering
通过模型驱动工程实现系统化、自动化的软件迁移
- 批准号:
RGPIN-2020-05713 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Model Driven Engineering for the IoT
物联网模型驱动工程
- 批准号:
RGPIN-2018-06283 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
Model-driven Engineering Techniques for Dependable Adaptive Software Systems
可靠自适应软件系统的模型驱动工程技术
- 批准号:
RGPIN-2017-05417 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
MDE-Net: A UK Expert Network in Model-Driven Engineering
MDE-Net:英国模型驱动工程专家网络
- 批准号:
EP/T03078X/1 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Research Grant
Model-driven engineering for distributed, reliable, adaptive, web-based software
分布式、可靠、自适应、基于网络的软件的模型驱动工程
- 批准号:
RGPIN-2020-03892 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Discovery Grants Program - Individual
MDE-Net: A UK Expert Network in Model-Driven Engineering
MDE-Net:英国模型驱动工程专家网络
- 批准号:
EP/T030747/1 - 财政年份:2021
- 资助金额:
$ 1.68万 - 项目类别:
Research Grant