课题基金 / 基金详情

Spécification et validation de l'authentification et de la sécurité des applets Java

Spécification et validation de l'authentification et de la sécurité des applets Java
Java 小程序的身份验证和安全规范和验证
批准号:
138321-1999
负责人:
Mullins, John
金额:
$1.15万
依托单位国家:
加拿大
项目类别:
Discovery Grants Program - Individual
财政年份:
2001
资助国家:
加拿大
项目状态:
已结题
起止时间:
2001-01-01 至 2002-12-31

项目摘要

项目成果

Mullins, John的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
  • 批准号:
    RGPIN-2020-06736
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $2.11万
  • 财政年份:
    2022
  • 负责人:
    Mullins, John
  • 依托单位:
Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
  • 批准号:
    RGPIN-2020-06736
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $2.11万
  • 财政年份:
    2021
  • 负责人:
    Mullins, John
  • 依托单位:
Analyse formelle du flux d'information quantitative dans les systèmes d'intelligences artificielles
  • 批准号:
    RGPIN-2020-06736
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $2.11万
  • 财政年份:
    2020
  • 负责人:
    Mullins, John
  • 依托单位:
Méthodes formelles d'analyse quantitative de la sécurité de l'information partiellement observable dans les systèmes ouverts
  • 批准号:
    138321-2013
  • 项目类别:
    Discovery Grants Program - Individual
  • 资助金额:
    $1.09万
  • 财政年份:
    2019
  • 负责人:
    Mullins, John
  • 依托单位:
海外基金