课题基金 / 基金详情

Automated detection, explanation, and remediation of security inconsistencies in Web application access controls using program analysis

Automated detection, explanation, and remediation of security inconsistencies in Web application access controls using program analysis
使用程序分析自动检测、解释和修复 Web 应用程序访问控制中的安全不一致
批准号：
RGPIN-2017-05700
负责人：
Merlo, Ettore
金额：
$1.46万
依托单位：
École Polytechnique de Montréal
依托单位国家：
加拿大
项目类别：
Discovery Grants Program - Individual
财政年份：
2021
资助国家：
加拿大
项目状态：
已结题
起止时间：
2021-01-01 至 2022-12-31
来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=734504
关键词：
Automateddetectionexplanationremediationsecurity

项目摘要

项目成果

Merlo, Ettore的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
application security; as-implemented access control analysis; automated explanations and justifications; automated security inconsistency repairs; program analysis; security vulnerability detection; static analysis
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Automated AI-supported methane plume detection from satellite and aircraft images
  • 批准号：
    568677-2021
  • 项目类别：
    Alliance Grants
  • 资助金额：
    $7.04万
  • 财政年份：
    2021
  • 负责人：
    Merlo, Ettore
  • 依托单位：
    École Polytechnique de Montréal
Automated detection, explanation, and remediation of security inconsistencies in Web application access controls using program analysis
  • 批准号：
    RGPIN-2017-05700
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2020
  • 负责人：
    Merlo, Ettore
  • 依托单位：
    École Polytechnique de Montréal
Automated detection, explanation, and remediation of security inconsistencies in Web application access controls using program analysis
  • 批准号：
    RGPIN-2017-05700
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2019
  • 负责人：
    Merlo, Ettore
  • 依托单位：
    École Polytechnique de Montréal
Automated detection, explanation, and remediation of security inconsistencies in Web application access controls using program analysis
  • 批准号：
    RGPIN-2017-05700
  • 项目类别：
    Discovery Grants Program - Individual
  • 资助金额：
    $1.46万
  • 财政年份：
    2018
  • 负责人：
    Merlo, Ettore
  • 依托单位：
    École Polytechnique de Montréal
国内基金
海外基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2025
  • 负责人：
    MATHIEULOUROCHLAURIERE
  • 依托单位：
    上海纽约大学
基于深穿透拉曼光谱的安全光照剂量的深层病灶无创检测与深度预测
  • 批准号：
    82372016
  • 项目类别：
    面上项目
  • 资助金额：
    48.00万元
  • 批准年份：
    2023
  • 负责人：
    林俐
  • 依托单位：
    上海交通大学
膀胱癌高表达基因UPK3A的筛选、鉴定和相关研究
  • 批准号：
    81101922
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    23.0万元
  • 批准年份：
    2011
  • 负责人：
    来永庆
  • 依托单位：
    北京大学
图像分类方法研究及其在色情监测中的应用
  • 批准号：
    61172103
  • 项目类别：
    面上项目
  • 资助金额：
    62.0万元
  • 批准年份：
    2011
  • 负责人：
    王春恒
  • 依托单位：
    中国科学院自动化研究所