课题基金 / 基金详情

Sécurité et fiabilité des logiciels

Sécurité et fiabilité des logiciels
逻辑安全与不可靠
批准号:
298248-2007
负责人:
Ktari, Béchir
金额:
$1.09万
依托单位:
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2008
资助国家:
加拿大
项目状态:
已结题
起止时间:
2008-01-01 至 2009-12-31

项目摘要

项目成果

Ktari, Béchir的其他基金

相似基金

相关文献

中文摘要
翻译
Une des grandes préoccupations actuelle demeure la sécurité et la fiabilité des logiciels:Les utilisaapproaches désirent des logiciels qui effectuent effectivacement les tâches qu'on discoverede sans faire d'opérations malveillance comme transmettre des données critiques à des personnes non-concernées.面对信息威胁的倍增,加拿大联邦和各省都在努力确保信息系统的安全。这是最后一年的事,你看起来像一个Au niveAu fédéral qu'Au
英文摘要
Une des grandes préoccupations actuelle demeure la sécurité et la fiabilité des logiciels : Les utilisateurs désirent des logiciels sûrs qui effectuent efficacement les tâches qu'on leur demande sans faire d'opérations malveillantes comme transmettre des données critiques à des personnes non-concernées. Face à la multiplication des menaces informatiques, toutes les instances fédérales et provinciales du Canada s'affairent à sécuriser leurs systèmes d'information. Ces dernières années ont vu apparaître, tant au niveau fédéral qu'au
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Cadre algébrique pour l'analyse de programmes informatiques
  • 批准号:
    298248-2010
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.09万
  • 财政年份:
    2014
  • 负责人:
    Ktari, Béchir
  • 依托单位:
Cadre algébrique pour l'analyse de programmes informatiques
  • 批准号:
    298248-2010
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.09万
  • 财政年份:
    2013
  • 负责人:
    Ktari, Béchir
  • 依托单位:
Cadre algébrique pour l'analyse de programmes informatiques
  • 批准号:
    298248-2010
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.09万
  • 财政年份:
    2012
  • 负责人:
    Ktari, Béchir
  • 依托单位:
Cadre algébrique pour l'analyse de programmes informatiques
  • 批准号:
    298248-2010
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.09万
  • 财政年份:
    2011
  • 负责人:
    Ktari, Béchir
  • 依托单位:
国内基金
海外基金
高糖环境调控乳酸化修饰激活血管内皮细胞ET-1旁分泌作用进而诱导皮肤色素沉着的机制研究
  • 批准号:
    2026JJ60074
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2026
  • 负责人:
    胡怡博
  • 依托单位:
链霉菌驱动根际微生态重塑协同激活JA/ET-ISR增强银杉抗根腐病机制解析
  • 批准号:
    2026JJ50424
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2026
  • 负责人:
    谢鹏
  • 依托单位:
Red/ET重组BCAS1工程菌的构建及通过MUC2调控缓解仔猪腹泻的机制研究
  • 批准号:
    2026JJ70027
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2026
  • 负责人:
    王雁灿
  • 依托单位:
川芎嗪通过ROS调控星型胶质细胞“ET-1-PI3K/AKT”轴保护脑缺血血脑屏障损伤的机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    15.0万元
  • 批准年份:
    2024
  • 负责人:
    程骁
  • 依托单位: