Design and implementation of a tool for the analysis of cryptographic protocols

密码协议分析工具的设计与实现

基本信息

  • 批准号:
    368557-2008
  • 负责人:
  • 金额:
    $ 0.33万
  • 依托单位:
  • 依托单位国家:
    加拿大
  • 项目类别:
    University Undergraduate Student Research Awards
  • 财政年份:
    2008
  • 资助国家:
    加拿大
  • 起止时间:
    2008-01-01 至 2009-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.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
  • 期刊:
  • 影响因子:
    4.5
  • 作者:
    Rouland, Quentin;Hamid, Brahim;Jaskolka, Jason
  • 通讯作者:
    Jaskolka, Jason

Jaskolka, Jason的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

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

Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号:
    RGPIN-2019-06306
  • 财政年份:
    2022
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号:
    RGPIN-2019-06306
  • 财政年份:
    2021
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号:
    RGPIN-2019-06306
  • 财政年份:
    2020
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号:
    RGPIN-2019-06306
  • 财政年份:
    2019
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Grants Program - Individual
Comprehensive Security Assurance Solutions for Software-Dependent Systems
适用于软件相关系统的全面安全保障解决方案
  • 批准号:
    DGECR-2019-00176
  • 财政年份:
    2019
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Discovery Launch Supplement
A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
通信主体封闭系统中隐蔽通道的数学模型
  • 批准号:
    425996-2012
  • 财政年份:
    2013
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
A Mathematical Model for Covert Channels in Closed Systems of Communicating Agents
通信主体封闭系统中隐蔽通道的数学模型
  • 批准号:
    425996-2012
  • 财政年份:
    2012
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Postgraduate Scholarships - Doctoral
Detecting security-vulnerable members of a software family through view reconciliation
通过视图协调检测软件系列中存在安全漏洞的成员
  • 批准号:
    377385-2009
  • 财政年份:
    2009
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Alexander Graham Bell Canada Graduate Scholarships - Master's

相似海外基金

Examining the Effectiveness and Implementation of a Patient-Managed Discharge Communication Tool: A Mixed Methods Hybrid Type 1 Design Study
检查患者管理的出院沟通工具的有效性和实施:混合方法混合 1 型设计研究
  • 批准号:
    479770
  • 财政年份:
    2023
  • 资助金额:
    $ 0.33万
  • 项目类别:
    Operating Grants
mHealth for suicide prevention: Design, development, and feasibility of a scalable SMS-based safety planning intervention
用于预防自杀的移动医疗:基于短信的可扩展安全规划干预措施的设计、开发和可行性
  • 批准号:
    10524928
  • 财政年份:
    2022
  • 资助金额:
    $ 0.33万
  • 项目类别:
mHealth for suicide prevention: Design, development, and feasibility of a scalable SMS-based safety planning intervention
用于预防自杀的移动医疗:基于短信的可扩展安全规划干预措施的设计、开发和可行性
  • 批准号:
    10654851
  • 财政年份:
    2022
  • 资助金额:
    $ 0.33万
  • 项目类别:
The effects of study design characteristics on dementia assessment: Recommendations for future epidemiologic studies
研究设计特征对痴呆症评估的影响:对未来流行病学研究的建议
  • 批准号:
    10460806
  • 财政年份:
    2022
  • 资助金额:
    $ 0.33万
  • 项目类别:
Leveraging Implementation Science and Design Methods to Sustain Community-Based Mental Health Services for Refugees
利用实施科学和设计方法为难民维持基于社区的心理健康服务
  • 批准号:
    10525624
  • 财政年份:
    2022
  • 资助金额:
    $ 0.33万
  • 项目类别:
Leveraging Implementation Science and Design Methods to Sustain Community-Based Mental Health Services for Refugees
利用实施科学和设计方法为难民维持基于社区的心理健康服务
  • 批准号:
    10701085
  • 财政年份:
    2022
  • 资助金额:
    $ 0.33万
  • 项目类别:
Optimizing Stroke Prophylaxis of Acute Atrial Fibrillation with an Electronic Clinical Decision Support Tool: A Stepped-Wedge Cluster Randomized Trial Design
使用电子临床决策支持工具优化急性心房颤动的中风预防:阶梯楔形集群随机试验设计
  • 批准号:
    10415095
  • 财政年份:
    2021
  • 资助金额:
    $ 0.33万
  • 项目类别:
Improving Family Cancer History Collection using Social Network, Human Centered Design, and Implementation Science Approaches
利用社交网络、以人为本的设计和实施科学方法改进家族癌症史收集
  • 批准号:
    10652994
  • 财政年份:
    2021
  • 资助金额:
    $ 0.33万
  • 项目类别:
Optimizing Stroke Prophylaxis of Acute Atrial Fibrillation with an Electronic Clinical Decision Support Tool: A Stepped-Wedge Cluster Randomized Trial Design
使用电子临床决策支持工具优化急性心房颤动的中风预防:阶梯楔形集群随机试验设计
  • 批准号:
    10197697
  • 财政年份:
    2021
  • 资助金额:
    $ 0.33万
  • 项目类别:
Improving Family Cancer History Collection using Social Network, Human Centered Design, and Implementation Science Approaches
利用社交网络、以人为本的设计和实施科学方法改进家族癌症史收集
  • 批准号:
    10407663
  • 财政年份:
    2021
  • 资助金额:
    $ 0.33万
  • 项目类别:
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了