刷新
{{item.name}}会员
Automated detection, explanation, and remediation of security inconsistencies in Web application access controls using program analysis
使用程序分析自动检测、解释和修复 Web 应用程序访问控制中的安全不一致
基本信息
- 批准号：RGPIN-2017-05700
- 负责人：
- 金额：$ 1.46万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Discovery Grants Program - Individual
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
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）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Merlo, Ettore其他文献
Comparison and evaluation of clone detection tools
- DOI：
10.1109/tse.2007.70725 - 发表时间：
2007-09-01 - 期刊：
- 影响因子：7.4
- 作者：
Bellon, Stefan;Koschke, Rainer;Merlo, Ettore - 通讯作者：
Merlo, Ettore
Merlo, Ettore的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Merlo, Ettore', 18)}}的其他基金
Automated AI-supported methane plume detection from satellite and aircraft images
从卫星和飞机图像中自动检测人工智能支持的甲烷羽流
- 批准号：
568677-2021 - 财政年份：2021
- 资助金额：
$ 1.46万 - 项目类别：
Alliance Grants
Automated detection, explanation, and remediation of security inconsistencies in Web application access controls using program analysis
使用程序分析自动检测、解释和修复 Web 应用程序访问控制中的安全不一致
- 批准号：
RGPIN-2017-05700 - 财政年份：2020
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Automated detection, explanation, and remediation of security inconsistencies in Web application access controls using program analysis
使用程序分析自动检测、解释和修复 Web 应用程序访问控制中的安全不一致
- 批准号：
RGPIN-2017-05700 - 财政年份：2019
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Automated detection, explanation, and remediation of security inconsistencies in Web application access controls using program analysis
使用程序分析自动检测、解释和修复 Web 应用程序访问控制中的安全不一致
- 批准号：
RGPIN-2017-05700 - 财政年份：2018
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Automated detection, explanation, and remediation of security inconsistencies in Web application access controls using program analysis
使用程序分析自动检测、解释和修复 Web 应用程序访问控制中的安全不一致
- 批准号：
RGPIN-2017-05700 - 财政年份：2017
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Analysis, testing and evolution of security vulnerabilities in web applications
Web应用程序安全漏洞的分析、测试和演化
- 批准号：
165343-2010 - 财政年份：2014
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Analysis, testing and evolution of security vulnerabilities in web applications
Web应用程序安全漏洞的分析、测试和演化
- 批准号：
165343-2010 - 财政年份：2013
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Analysis, testing and evolution of security vulnerabilities in web applications
Web应用程序安全漏洞的分析、测试和演化
- 批准号：
165343-2010 - 财政年份：2012
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Analysis, testing and evolution of security vulnerabilities in web applications
Web应用程序安全漏洞的分析、测试和演化
- 批准号：
165343-2010 - 财政年份：2011
- 资助金额：
$ 1.46万 - 项目类别：
Discovery Grants Program - Individual
Model-driven engineering support for certified avionics software development
为经过认证的航空电子软件开发提供模型驱动的工程支持
- 批准号：
386870-2009 - 财政年份：2010
- 资助金额：
$ 1.46万 - 项目类别：
Collaborative Research and Development Grants
相似国自然基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
- 批准号：
- 批准年份：2025
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于深穿透拉曼光谱的安全光照剂量的深层病灶无创检测与深度预测
- 批准号：82372016
- 批准年份：2023
- 资助金额：48.00 万元
- 项目类别：面上项目
膀胱癌高表达基因UPK3A的筛选、鉴定和相关研究
- 批准号：81101922
- 批准年份：2011
- 资助金额：23.0 万元
- 项目类别：青年科学基金项目
基于隐半马尔科夫模型的无线传感器网络入侵检测系统研究
- 批准号：61101083
- 批准年份：2011
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
图像分类方法研究及其在色情监测中的应用
- 批准号：61172103
- 批准年份：2011
- 资助金额：62.0 万元
- 项目类别：面上项目
基于指令层次的网页木马渗透攻击机理分析与检测方法研究
- 批准号：61003217
- 批准年份：2010
- 资助金额：18.0 万元
- 项目类别：青年科学基金项目
超高速正则表达式匹配技术研究
- 批准号：61073184
- 批准年份：2010
- 资助金额：12.0 万元
- 项目类别：面上项目
低辐射空间环境下商用多核处理器层次化软件容错技术研究
- 批准号：90818016
- 批准年份：2008
- 资助金额：50.0 万元
- 项目类别：重大研究计划
制冷系统故障诊断关键问题的定量研究
- 批准号：50876059
- 批准年份：2008
- 资助金额：30.0 万元
- 项目类别：面上项目
相似海外基金
CAREER: Highly Rapid and Sensitive Nanomechanoelectrical Detection of Nucleic Acids
职业：高度快速、灵敏的核酸纳米机电检测
- 批准号：
2338857 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Continuing Grant
CRII: RI: Deep neural network pruning for fast and reliable visual detection in self-driving vehicles
CRII：RI：深度神经网络修剪，用于自动驾驶车辆中快速可靠的视觉检测
- 批准号：
2412285 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
ERI: Non-Contact Ultrasound Generation and Detection for Tissue Functional Imaging and Biomechanical Characterization
ERI：用于组织功能成像和生物力学表征的非接触式超声波生成和检测
- 批准号：
2347575 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
Collaborative Research: Using Polarimetric Radar Observations, Cloud Modeling, and In Situ Aircraft Measurements for Large Hail Detection and Warning of Impending Hail
合作研究：利用偏振雷达观测、云建模和现场飞机测量来检测大冰雹并预警即将发生的冰雹
- 批准号：
2344259 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
NSF Convergence Accelerator Track L: Smartphone Time-Resolved Luminescence Imaging and Detection (STRIDE) for Point-of-Care Diagnostics
NSF 融合加速器轨道 L：用于即时诊断的智能手机时间分辨发光成像和检测 (STRIDE)
- 批准号：
2344476 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
CSR: Small: Multi-FPGA System for Real-time Fraud Detection with Large-scale Dynamic Graphs
CSR：小型：利用大规模动态图进行实时欺诈检测的多 FPGA 系统
- 批准号：
2317251 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Standard Grant
Global Road Damage Detection with privacy-preserved collaboration
通过保护隐私的协作进行全球道路损坏检测
- 批准号：
24K17366 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Monolithic generation & detection of squeezed light in silicon nitride photonics (Mono-Squeeze)
单片一代
- 批准号：
EP/X016218/1 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Research Grant
AI-powered portable MRI abnormality detection (APPMAD)
人工智能驱动的便携式 MRI 异常检测 (APPMAD)
- 批准号：
MR/Z503812/1 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：
Research Grant
Examining the Function of a Novel Protein in the Cardiac Junctional Membrane Complex
检查心脏连接膜复合体中新型蛋白质的功能
- 批准号：
10749672 - 财政年份：2024
- 资助金额：
$ 1.46万 - 项目类别：