Veille de vulnérabilités et menaces sur les objets connectés
Veille de vulnérabilités et menaces sur les objets connectés
批准号:
543439-2019
负责人:
Hallé, Sylvain
金额:
$1.71万
依托单位国家:
加拿大
项目类别:
Engage Grants Program
财政年份:
2019
资助国家:
加拿大
项目状态:
已结题
起止时间:
2019-01-01 至 2020-12-31
中文摘要
Les Objets ConnectionéS物联网(IoT)se Development pent de plus en plus;确定2020年世界上最大的物联网对象为50兆字节。从现在起,我们的目标并不是主要的,因为它们的功能很简单,很难实现。从概念上看,S的作品并不能提供给S的信息。在此之前,S先生和S先生在一起,他们的工作人员是L先生。在安装过程中,故障诊断自动化是一种重要的安装方法,重要的是S和对象之间的连接。L的对象是故障分析器安装域中的故障评估器,而解决方案的自动化能力来自于S。这一解决方案在运行时监控中的应用经验和技术支持,以及对S的保护和对L的保护。
英文摘要
Les objets connectés faisant partie du "Internet of Things" (IoT) se développent de plus en plus; certaines études prévoient même que le monde contiendra plus de 50 milliards de tels objets en 2020. Cependant, ces objets sont majoritairement conçus pour remplir une fonctionnalité simple et être peu coûteux. Les concepteurs de ces objets sont souvent peu ou mal informés des problématiques de sécurité qui les concernent. Afin de pouvoir sécuriser au mieux les objets connectés, il est nécessaire de pouvoir identifier rapidement les failles d'un système basé sur l'IoT. Dans ce contexte, la création d'un outil permettant la mise en place d'un diagnostic automatisé de ce genre d'installation serait une première étape importante dans la sécurisation des objets connectés. L'objectif de ce projet est d'évaluer la faisabilité d'une solution automatique capable d'analyser une installation domotique, et d'identifier certaines vulnérabilités. Cette solution expérimentale permettra d'évaluer le potentiel d'application du runtime monitoring, une technique basée sur les méthodes formelles, à la détection de failles de sécurité propres à l'IoT.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Enriching system models and verdicts for testing and verification of software systems
-
批准号:RGPIN-2016-05626
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.77万
-
财政年份:2022
-
负责人:Hallé, Sylvain
-
依托单位:
Software Specification, Testing and Verification
-
批准号:CRC-2020-00308
-
项目类别:Canada Research Chairs
-
资助金额:$7.29万
-
财政年份:2022
-
负责人:Hallé, Sylvain
-
依托单位:
Software Specification, Testing And Verification
-
批准号:CRC-2020-00308
-
项目类别:Canada Research Chairs
-
资助金额:$7.29万
-
财政年份:2021
-
负责人:Hallé, Sylvain
-
依托单位:
Enriching system models and verdicts for testing and verification of software systems
-
批准号:RGPIN-2016-05626
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.77万
-
财政年份:2021
-
负责人:Hallé, Sylvain
-
依托单位:
Enriching system models and verdicts for testing and verification of software systems
-
批准号:RGPIN-2016-05626
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.77万
-
财政年份:2020
-
负责人:Hallé, Sylvain
-
依托单位:
Software Specification, Testing and Verification
-
批准号:1000230760-2015
-
项目类别:Canada Research Chairs
-
资助金额:$8.74万
-
财政年份:2020
-
负责人:Hallé, Sylvain
-
依托单位:
Software Specification, Testing and Verification
-
批准号:1000230760-2015
-
项目类别:Canada Research Chairs
-
资助金额:$8.74万
-
财政年份:2019
-
负责人:Hallé, Sylvain
-
依托单位:
Enriching system models and verdicts for testing and verification of software systems
-
批准号:RGPIN-2016-05626
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.77万
-
财政年份:2019
-
负责人:Hallé, Sylvain
-
依托单位:
Enriching system models and verdicts for testing and verification of software systems
-
批准号:RGPIN-2016-05626
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.77万
-
财政年份:2018
-
负责人:Hallé, Sylvain
-
依托单位:
Software Specification, Testing and Verification
-
批准号:1000230760-2015
-
项目类别:Canada Research Chairs
-
资助金额:$8.74万
-
财政年份:2018
-
负责人:Hallé, Sylvain
-
依托单位:
Enriching system models and verdicts for testing and verification of software systems
-
批准号:492983-2016
-
项目类别:Discovery Grants Program - Accelerator Supplements
-
资助金额:$2.91万
-
财政年份:2018
-
负责人:Hallé, Sylvain
-
依托单位:
Enriching system models and verdicts for testing and verification of software systems
-
批准号:RGPIN-2016-05626
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.77万
-
财政年份:2017
-
负责人:Hallé, Sylvain
-
依托单位:
Enriching system models and verdicts for testing and verification of software systems
-
批准号:492983-2016
-
项目类别:Discovery Grants Program - Accelerator Supplements
-
资助金额:$2.91万
-
财政年份:2017
-
负责人:Hallé, Sylvain
-
依托单位:
Software Specification, Testing and Verification
-
批准号:1000230760-2015
-
项目类别:Canada Research Chairs
-
资助金额:$7.29万
-
财政年份:2017
-
负责人:Hallé, Sylvain
-
依托单位:
Software Specification, Testing and Verification
-
批准号:1000230760-2015
-
项目类别:Canada Research Chairs
-
资助金额:$7.29万
-
财政年份:2016
-
负责人:Hallé, Sylvain
-
依托单位:
Enriching system models and verdicts for testing and verification of software systems
-
批准号:RGPIN-2016-05626
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$2.77万
-
财政年份:2016
-
负责人:Hallé, Sylvain
-
依托单位:
Enriching system models and verdicts for testing and verification of software systems
-
批准号:492983-2016
-
项目类别:Discovery Grants Program - Accelerator Supplements
-
资助金额:$2.91万
-
财政年份:2016
-
负责人:Hallé, Sylvain
-
依托单位:
Extraction, stockage et interrogation de données semi-structurées provenant du web
-
批准号:484674-2015
-
项目类别:Engage Grants Program
-
资助金额:$1.82万
-
财政年份:2015
-
负责人:Hallé, Sylvain
-
依托单位:
Specification, verification and enforcement of interface contracts with data
-
批准号:402236-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2015
-
负责人:Hallé, Sylvain
-
依托单位:
Specification, verification and enforcement of interface contracts with data
-
批准号:402236-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.82万
-
财政年份:2014
-
负责人:Hallé, Sylvain
-
依托单位:
国内基金
海外基金
登录
查看更多内容
去污名干预(De-CAP)对精神残疾人融合就业的因果效应与实施推广研究
-
批准号:2026JJ50058
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:周蔚
-
依托单位:
DNMT3B通过de novo甲基化下调EIF4A3表达抑制PI3K/AKT通路减少巨噬细胞M2极化增强NPC放疗抵抗的研究
-
批准号:2025JJ70151
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:唐三元
-
依托单位:
大肠杆菌BL21(DE3)菌株杀线虫物质的鉴定及其作用机理研究
-
批准号:32460703
-
项目类别:地区科学基金项目
-
资助金额:32.00万元
-
批准年份:2024
-
负责人:夏彦飞
-
依托单位:
基于吡咯并[4,3,2-de]喹啉类生物碱新型抗植物病毒剂的发现及机制
研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
BAIAP2基因de novo变异在儿童发育性癫痫性脑病中的作用
及机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:
-
依托单位:
基于RT-3DE的3DFCN模型全自动检测及预测CRF患者亚临床左心室收缩功能障碍
-
批准号:82371980
-
项目类别:面上项目
-
资助金额:50万元
-
批准年份:2023
-
负责人:朱好辉
-
依托单位:
基于中国马Y染色体de novo组装对家马父系起源进化及繁殖性状候选基因定位的研究
-
批准号:32302731
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:刘宇
-
依托单位:
基于Cre酶的靶向性de novo DNA甲基化技术和模型开发
-
批准号:32300469
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2023
-
负责人:刘若尘
-
依托单位:
De Bruijn序列及其推广序列的构造与分析
-
批准号:--
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2022
-
负责人:常祖领
-
依托单位:
狼疮易感基因PHRF1及其de novo突变R194C的免疫病理机制研究
-
批准号:32270946
-
项目类别:--
-
资助金额:54万元
-
批准年份:2022
-
负责人:何雨珂
-
依托单位: