课题基金 / 基金详情

Collaborative research: High-Fidelity Methods for Security Protocols

Collaborative research: High-Fidelity Methods for Security Protocols
合作研究:安全协议的高保真方法
批准号:
0430594
负责人:
John Mitchell
金额:
$0.0万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
2004
资助国家:
美国
项目状态:
已结题
起止时间:
2004-10-01 至 2009-09-30

项目摘要

项目成果

John Mitchell的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Proposal Number: 0430594, 0429689, 0430076, 0430595 TITLE: Collaborative Research: High-Fidelity Methods for Security Protocols PI: John Mitchell, Andre Scedrov, Vitaly Shmatikov, Daniele MicciancioThe design and security analysis of protocols that use cryptographic primitives is one of the most fundamental and challenging areas of computer security research. This project focuses on three topics: foundations of protocol analysis, automated tools, and application of tools and methods to selected protocols. Foundational work centers on relating and combining two previously separate approaches: logical methods based on symbolic execution of protocols, and computational methods involving probability and polynomial-time. The symbolic approach uses a highly idealized representation of cryptographic primitives and has been a successful basis for automated tools. Conversely, the computational approach yields more insight into the strength and vulnerabilities of protocols, but is difficult to apply and only accessible to a small number of true experts in the field. Building on past success using several automated tools, the project will devise tool-based methods that leverage new scientific foundations. Three likely application areas are secure group communication and key agreement protocols, schemes for privacy-preserving computations, and wireless networking and applications. In each of these areas, there is current demand for new secure protocols from user communities, there is ongoing activity in the research and standardization communities, and the value of combining symbolic and computational analysis concepts is evident.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
AMPS: Mathematical Foundations of Market Operations with Renewable Bidders
  • 批准号:
    2229335
  • 项目类别:
    Standard Grant
  • 资助金额:
    $30.0万
  • 财政年份:
    2023
  • 负责人:
    John Mitchell
  • 依托单位:
AMPS: Rank Minimization Algorithms for Wide-Area Phasor Measurement Data Processing
  • 批准号:
    1736326
  • 项目类别:
    Standard Grant
  • 资助金额:
    $24.0万
  • 财政年份:
    2017
  • 负责人:
    John Mitchell
  • 依托单位:
SaTC-EDU: EAGER: Cybersecurity education for public policy
  • 批准号:
    1500089
  • 项目类别:
    Standard Grant
  • 资助金额:
    $30.0万
  • 财政年份:
    2015
  • 负责人:
    John Mitchell
  • 依托单位:
Collaborative Research: Binary Constrained Convex Quadratic Programs with Complementarity Constraints and Extensions
  • 批准号:
    1334327
  • 项目类别:
    Standard Grant
  • 资助金额:
    $15.0万
  • 财政年份:
    2013
  • 负责人:
    John Mitchell
  • 依托单位:
国内基金
海外基金
Research on Quantum Field Theory without a Lagrangian Description
  • 批准号:
    24ZR1403900
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2024
  • 负责人:
    SATOSHI NAWATA
  • 依托单位:
HIF-1α调控软骨细胞衰老在骨关节炎进展中的作用及机制研究
  • 批准号:
    82371603
  • 项目类别:
    面上项目
  • 资助金额:
    49.00万元
  • 批准年份:
    2023
  • 负责人:
    陈晓
  • 依托单位:
超声驱动压电效应激活门控离子通道促眼眶膜内成骨的作用及机制研究
  • 批准号:
    82371103
  • 项目类别:
    面上项目
  • 资助金额:
    49.00万元
  • 批准年份:
    2023
  • 负责人:
    阮静
  • 依托单位:
Lienard系统的不变代数曲线、可积性与极限环问题研究
  • 批准号:
    12301200
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    30.00万元
  • 批准年份:
    2023
  • 负责人:
    钱欣洁
  • 依托单位: