课题基金 / 基金详情

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
  • 负责人：
    夏万顺
  • 依托单位：
    浙江大学