Sécurité des systèmes et réseaux informatiques
Sécurité des systèmes et réseaux informatiques
批准号:
250270-2011
负责人:
Adi, Kamel
金额:
$1.75万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2017
资助国家:
加拿大
项目状态:
已结题
起止时间:
2017-01-01 至 2018-12-31
中文摘要
L对系统和信息的利用以及S人文活动的方方面面。从S的观点来看,L的信息发布、出行和移动技术是复杂的。恶意使用、开发和开发产生了新的暴力行为,S暴露了新的信息系统和信息系统,加上大型威胁、潜在的维护人员和S的问题。S的信息提供了一个进步和进步--L的财富和财富,以及经济发展带来的影响。NOS研究开发和L的应用程序,以解决S的问题。此外,还提供了一份关于联合国干部培训、培训和加强S培训制度的信息的报告。首席执行官干部负责管理三国和三国的信息系统,以及新的组织机构和中间件的应用程序。从时间上来说,这是一项非常重要的计划,它的目的是考虑和处理各种问题,包括形式上的程序和程序,以及S、逻辑、L等人的交流和各种类型的信息。L的客观要求是,把S的工作做好。
英文摘要
Ces dernières années ont connu un accroissement spectaculaire dans l'utilisation des systèmes et réseaux informatiques et ce dans tous les aspects des activités humaines. Cet accroissement s'est aussi accompagné d'une complexité accrue des technologies de l'information qui sont désormais à caractère distribué, ouvert et mobile. Malheureusement, ce développement a aussi engendré de nouvelles vulnérabilités exposant ainsi ces systèmes et réseaux informatiques à un nombre croissant et à un éventail plus large de menaces, lesquelles posent maintenant de nouveaux problèmes de sécurité. Le nombre de vulnérabilités informatique a progressé de manière fulgurante ces dernières années et à l'ère du numérique, ces failles engendrent un impact dévastateur sur toute la sphère économique. Nos recherches visent le développement et l'application de méthodes formelles et rigoureuses pour la résolution de problématiques liées à la sécurité informatique. Plus spécifiquement, Notre objectif de recherche est de mettre en place un cadre formel pour la spécification, la vérification, la validation et le renforcement de politiques de sécurité dans les systèmes informatiques. Ce cadre doit prendre en charge trois niveaux et vues du système informatique allant du niveau organisationnelle et passant du niveau réseau et middleware jusqu'au niveau application. À terme, notre programme de recherche aura le mérite de faire bénéficier, pour des considérations et des besoins pratiques, des formalismes théoriques rigoureux tels que les algèbres de processus, les fondements sémantiques, la logique, l'interprétation abstraite, les théories de types, etc. L'objectif ultime étant le développement de méthodologies et d'outils logiciels pour garantir la sécurité des systèmes et des réseaux informatiques.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Sécurité des systèmes et réseaux informatiques
-
批准号:RGPIN-2018-05606
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:2022
-
负责人:Adi, Kamel
-
依托单位:
Sécurité des systèmes et réseaux informatiques
-
批准号:RGPIN-2018-05606
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:2021
-
负责人:Adi, Kamel
-
依托单位:
Sécurité des systèmes et réseaux informatiques
-
批准号:RGPIN-2018-05606
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:2020
-
负责人:Adi, Kamel
-
依托单位:
Sécurité des systèmes et réseaux informatiques
-
批准号:RGPIN-2018-05606
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:2019
-
负责人:Adi, Kamel
-
依托单位:
Sécurité des systèmes et réseaux informatiques
-
批准号:RGPIN-2018-05606
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.68万
-
财政年份:2018
-
负责人:Adi, Kamel
-
依托单位:
Sécurité des systèmes et réseaux informatiques
-
批准号:250270-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2014
-
负责人:Adi, Kamel
-
依托单位:
Sécurité des systèmes et réseaux informatiques
-
批准号:250270-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2013
-
负责人:Adi, Kamel
-
依托单位:
Sécurité des systèmes et réseaux informatiques
-
批准号:250270-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2012
-
负责人:Adi, Kamel
-
依托单位:
Sécurité des systèmes et réseaux informatiques
-
批准号:250270-2011
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.75万
-
财政年份:2011
-
负责人:Adi, Kamel
-
依托单位:
Securité des systèmes et réseaux informatiques
-
批准号:250270-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2010
-
负责人:Adi, Kamel
-
依托单位:
Securité des systèmes et réseaux informatiques
-
批准号:250270-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2009
-
负责人:Adi, Kamel
-
依托单位:
Securité des systèmes et réseaux informatiques
-
批准号:250270-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2008
-
负责人:Adi, Kamel
-
依托单位:
Securité des systèmes et réseaux informatiques
-
批准号:250270-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2007
-
负责人:Adi, Kamel
-
依托单位:
Securité des systèmes et réseaux informatiques
-
批准号:250270-2006
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2006
-
负责人:Adi, Kamel
-
依托单位:
Un environnement pour la spécification et l'analyse des protocoles de sécurité
-
批准号:250270-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2005
-
负责人:Adi, Kamel
-
依托单位:
Un environnement pour la spécification et l'analyse des protocoles de sécurité
-
批准号:250270-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2004
-
负责人:Adi, Kamel
-
依托单位:
Un environnement pour la spécification et l'analyse des protocoles de sécurité
-
批准号:250270-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2003
-
负责人:Adi, Kamel
-
依托单位:
Un environnement pour la spécification et l'analyse des protocoles de sécurité
-
批准号:250270-2002
-
项目类别:Discovery Grants Program - Individual
-
资助金额:$1.46万
-
财政年份:2002
-
负责人:Adi, Kamel
-
依托单位:
国内基金
海外基金
登录
查看更多内容
基于碱性DES辅助杜仲胶提取过程中杜仲胶解离机制的研究
-
批准号:2026JJ80731
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:龚卫华
-
依托单位:
石榴皮DES提取物智能响应微胶囊的构建、保鲜功效与食品安全性评价研究
-
批准号:2026JJ80861
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:李雅丽
-
依托单位:
DES真空蚀刻装置的升级改造及制造工艺优化
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:李微
-
依托单位:
DES影响下RXFP2 参与小鼠睾丸引带细胞增殖迁移的信号通路研究
-
批准号:2025JJ80600
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:唐水平
-
依托单位:
番茄渣中类胡萝卜素与果胶的梯度DES提取机理与绿色工艺优化研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:刘莹
-
依托单位:
负载型POM-DES催化体系构筑及其对原本木质素的选择性降解与溶出机制研究
-
批准号:22378217
-
项目类别:面上项目
-
资助金额:50.00万元
-
批准年份:2023
-
负责人:吕高金
-
依托单位:
活性炭分级孔中氨基酸类DES强化协同吸收—分步解吸SO2和NO的机制
-
批准号:22378180
-
项目类别:面上项目
-
资助金额:50.00万元
-
批准年份:2023
-
负责人:窦金孝
-
依托单位:
构筑温敏相转变B-L双酸DES催化体系用于高效催化合成己内酰胺的研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:54万元
-
批准年份:2022
-
负责人:刘仕伟
-
依托单位:
DES体系下木质纤维素定向修饰对植物精油的可控固定及抗菌增效机制
-
批准号:--
-
项目类别:青年科学基金项目
-
资助金额:30万元
-
批准年份:2022
-
负责人:刘亮
-
依托单位:
自噬在调节DES所致小鼠睾丸引带损伤中的作用及其机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:10.0万元
-
批准年份:2022
-
负责人:段守兴
-
依托单位: