课题基金 / 基金详情

Evidence-based frameworks for security protocol verification

Evidence-based frameworks for security protocol verification
用于安全协议验证的基于证据的框架
批准号：
DP110103173
负责人：
Dr Alwen Tiu
金额：
$16.94万
依托单位：
The Australian National University
依托单位国家：
澳大利亚
项目类别：
Discovery Projects
财政年份：
2011
资助国家：
澳大利亚
项目状态：
已结题
起止时间：
2011-07-01 至 2013-11-06
来源：
https://dataportal.arc.gov.au/RGS/Web/Grants/DP110103173
关键词：
Evidencebasedframeworkssecurityprotocol

项目摘要

项目成果

Dr Alwen Tiu的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Security protocols are an essential part of secure communication networks. This project aims to develop verification techniques for security protocols that produce independently verifiable formal certificates of correctness. The project's outcome will contribute to the certification processes for secure network systems at the highest level of assurance.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Proof Theoretical Methods for Reasoning about Process Equivalence
  • 批准号：
    DP0880549
  • 项目类别：
    Discovery Projects
  • 资助金额：
    $14.98万
  • 财政年份：
    2008
  • 负责人：
    Dr Alwen Tiu
  • 依托单位：
    The Australian National University
国内基金
海外基金
Data-driven Recommendation System Construction of an Online Medical Platform Based on the Fusion of Information
Incentive and governance schenism study of corporate green washing behavior in China: Based on an integiated view of econfiguration of environmental authority and decoupling logic
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    YU BYUNGJUN
  • 依托单位：
    上海理工大学管理学院
Exploring the Intrinsic Mechanisms of CEO Turnover and Market Reaction: An Explanation Based on Information Asymmetry
  • 批准号：
    W2433169
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    HAOFEI ZHANG
  • 依托单位：
    南开大学金融学院
含Re、Ru先进镍基单晶高温合金中TCP相成核—生长机理的原位动态研究
  • 批准号：
    52301178
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30.00万元
  • 批准年份：
    2023
  • 负责人：
    夏万顺
  • 依托单位：
    浙江大学