TWC: Small: Collaborative: A Unifying Framework For Theoretical and Empirical Analysis of Secure Communication Protocols

TWC:小型:协作:安全通信协议理论和实证分析的统一框架

基本信息

  • 批准号:
    1600266
  • 负责人:
  • 金额:
    $ 20.52万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2015
  • 资助国家:
    美国
  • 起止时间:
    2015-10-01 至 2017-07-31
  • 项目状态:
    已结题

项目摘要

Many networking protocols have been designed without security in mind, and many cryptographic schemes have been designed without practical deployments in mind. Moreover, most of security-enhanced communication protocols still lack the provable-security treatment and hence the security guarantees. This project aims at bridging the gap between protocol design, implementation, deployment, and security guarantees by developing a novel general security framework that facilitates the provable-security analyses of practical networking protocols. The project has an interdisciplinary approach as it combines concepts from applied cryptography and algorithms with implementation and empirical analyses to provide a unifying framework for studying and developing secure communication protocols. This joint design effort yields both new cryptographic foundations and fundamentally secure networking protocols.
许多网络协议在设计时没有考虑到安全性,许多加密方案在设计时没有考虑到实际部署。此外,大多数安全增强的通信协议仍然缺乏可证明安全的处理,从而缺乏安全保证。该项目旨在通过开发一种新的通用安全框架,促进实际网络协议的可证明安全性分析,弥合协议设计,实现,部署和安全保证之间的差距。该项目采用跨学科方法,因为它将应用密码学和算法的概念与实施和实证分析相结合,为研究和开发安全通信协议提供了一个统一的框架。 这种联合设计工作产生了新的加密基础和根本安全的网络协议。

项目成果

期刊论文数量(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 }}

Cristina Nita-Rotaru其他文献

Cristina Nita-Rotaru的其他文献

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

{{ truncateString('Cristina Nita-Rotaru', 18)}}的其他基金

CPS: Medium: Collaborative Research: Multiagent Physical Cognition and Control Synthesis Against Cyber Attacks
CPS:媒介:协作研究:针对网络攻击的多智能体物理认知和控制综合
  • 批准号:
    1931997
  • 财政年份:
    2019
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
NeTS: Small: Collaborative Research: Protocol Validation using Minimally Supervised Semantic Interpretation of Text
NeTS:小型:协作研究:使用文本的最小监督语义解释进行协议验证
  • 批准号:
    1815219
  • 财政年份:
    2018
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
Proposal to Support Student Travel for the ACM CoNEXT 2016 Conference
支持学生参加 ACM CoNEXT 2016 会议的旅行提案
  • 批准号:
    1650886
  • 财政年份:
    2016
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
EAGER: Improving Protocol Vulnerability Discovery via Semantic Interpretation of Textual Specifications
EAGER:通过文本规范的语义解释改进协议漏洞发现
  • 批准号:
    1654137
  • 财政年份:
    2016
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
Student Travel Grants to attend the 5th Networking Networking Women Workshop (N^2Women)
学生旅费资助参加第五届网络女性网络研讨会(N^2女性)
  • 批准号:
    1653416
  • 财政年份:
    2016
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Automatic Detection of Protocol Manipulation Attacks in Large Scale Distributed Systems Implementations
TWC:小型:大规模分布式系统实现中协议操纵攻击的自动检测
  • 批准号:
    1600280
  • 财政年份:
    2015
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: A Unifying Framework For Theoretical and Empirical Analysis of Secure Communication Protocols
TWC:小型:协作:安全通信协议理论和实证分析的统一框架
  • 批准号:
    1421815
  • 财政年份:
    2014
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Automatic Detection of Protocol Manipulation Attacks in Large Scale Distributed Systems Implementations
TWC:小型:大规模分布式系统实现中协议操纵攻击的自动检测
  • 批准号:
    1223834
  • 财政年份:
    2012
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TC: Small: Collaborative Research: Mathematics of Infection Diffusion in Wireless Networks
TC:小型:协作研究:无线网络中感染扩散的数学
  • 批准号:
    0915655
  • 财政年份:
    2009
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
NeTS: Medium: Collaborative Research: Secure Networking Using Network Coding
NeTS:媒介:协作研究:使用网络编码的安全网络
  • 批准号:
    0905266
  • 财政年份:
    2009
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant

相似国自然基金

昼夜节律性small RNA在血斑形成时间推断中的法医学应用研究
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目
tRNA-derived small RNA上调YBX1/CCL5通路参与硼替佐米诱导慢性疼痛的机制研究
  • 批准号:
    n/a
  • 批准年份:
    2022
  • 资助金额:
    10.0 万元
  • 项目类别:
    省市级项目
Small RNA调控I-F型CRISPR-Cas适应性免疫性的应答及分子机制
  • 批准号:
    32000033
  • 批准年份:
    2020
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
Small RNAs调控解淀粉芽胞杆菌FZB42生防功能的机制研究
  • 批准号:
    31972324
  • 批准年份:
    2019
  • 资助金额:
    58.0 万元
  • 项目类别:
    面上项目
变异链球菌small RNAs连接LuxS密度感应与生物膜形成的机制研究
  • 批准号:
    81900988
  • 批准年份:
    2019
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
  • 批准号:
    31802058
  • 批准年份:
    2018
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
肠道细菌关键small RNAs在克罗恩病发生发展中的功能和作用机制
  • 批准号:
    31870821
  • 批准年份:
    2018
  • 资助金额:
    56.0 万元
  • 项目类别:
    面上项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
  • 批准号:
    31772128
  • 批准年份:
    2017
  • 资助金额:
    60.0 万元
  • 项目类别:
    面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
  • 批准号:
    81704176
  • 批准年份:
    2017
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
  • 批准号:
    91640114
  • 批准年份:
    2016
  • 资助金额:
    85.0 万元
  • 项目类别:
    重大研究计划

相似海外基金

TWC: Small: Collaborative: Automated Detection and Repair of Error Handling Bugs in SSL/TLS Implementations
TWC:小:协作:自动检测和修复 SSL/TLS 实现中的错误处理错误
  • 批准号:
    1946068
  • 财政年份:
    2019
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: Wearable Authentication Solutions for Ubiquitous and Personal Touch-enabled Devices
TWC:小型:协作:适用于无处不在的个人触摸设备的可穿戴身份验证解决方案
  • 批准号:
    1837518
  • 财政年份:
    2018
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: Towards Privacy Preserving Online Image Sharing
TWC:小型:协作:实现隐私保护在线图像共享
  • 批准号:
    1903714
  • 财政年份:
    2018
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
SBE TWC: Small: Collaborative: Pocket Security - Smartphone Cybercrime in the Wild
SBE TWC:小型:协作:袖珍安全 - 智能手机野外网络犯罪
  • 批准号:
    1903219
  • 财政年份:
    2018
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: Secure Data Charging Architecture for Mobile Devices in 3G/4G Cellular Networks: Vulnerabilities and Solutions
TWC:小型:协作:3G/4G 蜂窝网络中移动设备的安全数据充电架构:漏洞和解决方案
  • 批准号:
    1753500
  • 财政年份:
    2017
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: Towards Privacy Preserving Online Image Sharing
TWC:小型:协作:实现隐私保护在线图像共享
  • 批准号:
    1814255
  • 财政年份:
    2017
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: Cellular Network Services in Peril: A Perspective on Control-Plane and Data-Plane Design
TWC:小型:协作:危险中的蜂窝网络服务:控制平面和数据平面设计的视角
  • 批准号:
    1749045
  • 财政年份:
    2017
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: Computation and Access Control on Big Multiuser Data
TWC:小型:协作:多用户大数据的计算和访问控制
  • 批准号:
    1633282
  • 财政年份:
    2016
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: Multi-Layer Approaches for Securing Enhanced AMI Networks against Traffic Analysis Attacks
TWC:小型:协作:保护增强型 AMI 网络免受流量分析攻击的多层方法
  • 批准号:
    1619250
  • 财政年份:
    2016
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
TWC: Small: Collaborative: Practical Hardware-Assisted Always-On Malware Detection
TWC:小型:协作:实用的硬件辅助始终在线恶意软件检测
  • 批准号:
    1619322
  • 财政年份:
    2016
  • 资助金额:
    $ 20.52万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了