Comprehensive Security Assurance Solutions for Software-Dependent Systems

适用于软件相关系统的全面安全保障解决方案

基本信息

  • 批准号：
    DGECR-2019-00176
  • 负责人：
    Jaskolka, Jason
  • 金额：
    $ 0.91万
  • 依托单位：
    Carleton University
  • 依托单位国家：
    加拿大
  • 项目类别：
    Discovery Launch Supplement
  • 财政年份：
    2019
  • 资助国家：
    加拿大
  • 起止时间：
    2019-01-01 至 2020-12-31
  • 项目状态：
    已结题

项目摘要

No summary - Aucun sommaire
无摘要- Aucun sommaire

项目成果

期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ 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 }}

Jaskolka, Jason其他文献

Specification, detection, and treatment of STRIDE threats for software components: Modeling, formal methods, and tool support
  • DOI：
    10.1016/j.sysarc.2021.102073
  • 发表时间：
    2021-03-10
  • 期刊：
    JOURNAL OF SYSTEMS ARCHITECTURE
  • 影响因子：
    4.5
  • 作者：
    Rouland, Quentin;Hamid, Brahim;Jaskolka, Jason
  • 通讯作者：
    Jaskolka, Jason

Jaskolka, Jason的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验

{{ truncateString('Jaskolka, Jason', 18)}}的其他基金

Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号：
    RGPIN-2019-06306
  • 财政年份：
    2022
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号：
    RGPIN-2019-06306
  • 财政年份：
    2021
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号：
    RGPIN-2019-06306
  • 财政年份：
    2020
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号：
    RGPIN-2019-06306
  • 财政年份：
    2019
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
通信主体封闭系统中隐蔽通道的数学模型
  • 批准号：
    425996-2012
  • 财政年份：
    2013
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
通信主体封闭系统中隐蔽通道的数学模型
  • 批准号：
    425996-2012
  • 财政年份：
    2012
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Postgraduate Scholarships - Doctoral
Detecting security-vulnerable members of a software family through view reconciliation
通过视图协调检测软件系列中存在安全漏洞的成员
  • 批准号：
    377385-2009
  • 财政年份：
    2009
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Alexander Graham Bell Canada Graduate Scholarships - Master's
Design and implementation of a tool for the analysis of cryptographic protocols
密码协议分析工具的设计与实现
  • 批准号：
    368557-2008
  • 财政年份：
    2008
  • 资助金额：
    $ 0.91万
  • 项目类别：
    University Undergraduate Student Research Awards

相似海外基金

CAREER: SAIF: Security Assurance through AI and Formal Approaches for System-on-Chips
职业：SAIF：通过人工智能和片上系统的正式方法提供安全保证
  • 批准号：
    2339971
  • 财政年份：
    2024
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Continuing Grant
MEDSECURANCE - Advanced Security-for-safety Assurance for Medical Device IoT
MEDSECURANCE - 医疗设备物联网的高级安全保障
  • 批准号：
    10102402
  • 财政年份：
    2023
  • 资助金额：
    $ 0.91万
  • 项目类别：
    EU-Funded
Advanced Security-for-safety Assurance for Medical Device IoT
医疗设备物联网的高级安全保障
  • 批准号：
    10056669
  • 财政年份：
    2023
  • 资助金额：
    $ 0.91万
  • 项目类别：
    EU-Funded
MEDSECURANCE - Advanced Security-for-safety Assurance for Medical Device IoT
MEDSECURANCE - 医疗设备物联网的高级安全保障
  • 批准号：
    10057408
  • 财政年份：
    2023
  • 资助金额：
    $ 0.91万
  • 项目类别：
    EU-Funded
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号：
    RGPIN-2019-06306
  • 财政年份：
    2022
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
REWIRE - REWiring the ComposItional Security VeRification and AssurancE of Systems of Systems Lifecycle
REWIRE - 重新构建系统生命周期的组合安全验证和保证
  • 批准号：
    10043730
  • 财政年份：
    2022
  • 资助金额：
    $ 0.91万
  • 项目类别：
    EU-Funded
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号：
    RGPIN-2019-06306
  • 财政年份：
    2021
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Safety and Security Assurance for Engineering High Confidence Software in Information Systems
信息系统高可信软件工程的安全保障
  • 批准号：
    RGPIN-2014-06499
  • 财政年份：
    2021
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号：
    RGPIN-2019-06306
  • 财政年份：
    2020
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
Safety and Security Assurance for Engineering High Confidence Software in Information Systems
信息系统高可信软件工程的安全保障
  • 批准号：
    RGPIN-2014-06499
  • 财政年份：
    2020
  • 资助金额：
    $ 0.91万
  • 项目类别：
    Discovery Grants Program - Individual
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了