TWC: Small: Automatic Detection of Protocol Manipulation Attacks in Large Scale Distributed Systems Implementations
TWC:小型:大规模分布式系统实现中协议操纵攻击的自动检测
基本信息
- 批准号:1223834
- 负责人:
- 金额:$ 25万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2012
- 资助国家:美国
- 起止时间:2012-09-01 至 2015-11-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
The main research focus of this proposal is to create a platform that allows to automatically find attacks in unmodified binaries of distributed systems. The attacks are conducted through message manipulation by insider attackers and impact primarily performance and availability. The platform combines existent open-source virtualization environments such as KVM, and network simulation and emulation tools such as NS3, to create a realistic environment in which target systems will run. The platform is general, scalable, and can be used for testing a large variety of distributed systems such as intrusion-tolerant and peer-to-peer systems.The platform will improve the trust that distributed systems work according to their intended specifications in spite of faults, misconfigurations, or attacks.The platform can serve as a tool for system developers from industry, government labs, and academia to test their systems. In addition, it can be used for programing exercises for distributed systems and computer security courses at both undergraduate and graduate level.
该提案的主要研究重点是创建一个平台,允许在分布式系统的未修改的二进制文件中自动查找攻击。 这些攻击是由内部攻击者通过消息操纵进行的,主要影响性能和可用性。该平台结合了现有的开源虚拟化环境(如KVM)和网络模拟和仿真工具(如NS3),以创建一个目标系统将在其中运行的真实环境。该平台具有通用性强、可扩展性好等特点,可用于测试各种分布式系统,如入侵容忍系统、对等系统等,提高了人们对分布式系统在故障、配置错误或攻击等情况下仍能按照预期规范工作的信任度,为工业界、政府实验室和学术界的系统开发人员提供了一个测试系统的工具。此外,它可以用于分布式系统和计算机安全课程在本科和研究生水平的编程练习。
项目成果
期刊论文数量(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
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
NeTS: Small: Collaborative Research: Protocol Validation using Minimally Supervised Semantic Interpretation of Text
NeTS:小型:协作研究:使用文本的最小监督语义解释进行协议验证
- 批准号:
1815219 - 财政年份:2018
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Proposal to Support Student Travel for the ACM CoNEXT 2016 Conference
支持学生参加 ACM CoNEXT 2016 会议的旅行提案
- 批准号:
1650886 - 财政年份:2016
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
EAGER: Improving Protocol Vulnerability Discovery via Semantic Interpretation of Textual Specifications
EAGER:通过文本规范的语义解释改进协议漏洞发现
- 批准号:
1654137 - 财政年份:2016
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
Student Travel Grants to attend the 5th Networking Networking Women Workshop (N^2Women)
学生旅费资助参加第五届网络女性网络研讨会(N^2女性)
- 批准号:
1653416 - 财政年份:2016
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
TWC: Small: Automatic Detection of Protocol Manipulation Attacks in Large Scale Distributed Systems Implementations
TWC:小型:大规模分布式系统实现中协议操纵攻击的自动检测
- 批准号:
1600280 - 财政年份:2015
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: A Unifying Framework For Theoretical and Empirical Analysis of Secure Communication Protocols
TWC:小型:协作:安全通信协议理论和实证分析的统一框架
- 批准号:
1600266 - 财政年份:2015
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
TWC: Small: Collaborative: A Unifying Framework For Theoretical and Empirical Analysis of Secure Communication Protocols
TWC:小型:协作:安全通信协议理论和实证分析的统一框架
- 批准号:
1421815 - 财政年份:2014
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
TC: Small: Collaborative Research: Mathematics of Infection Diffusion in Wireless Networks
TC:小型:协作研究:无线网络中感染扩散的数学
- 批准号:
0915655 - 财政年份:2009
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
NeTS: Medium: Collaborative Research: Secure Networking Using Network Coding
NeTS:媒介:协作研究:使用网络编码的安全网络
- 批准号:
0905266 - 财政年份:2009
- 资助金额:
$ 25万 - 项目类别:
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 RNAs在克罗恩病发生发展中的功能和作用机制
- 批准号:31870821
- 批准年份:2018
- 资助金额:56.0 万元
- 项目类别:面上项目
基于small RNA 测序技术解析鸽分泌鸽乳的分子机制
- 批准号:31802058
- 批准年份:2018
- 资助金额:26.0 万元
- 项目类别:青年科学基金项目
Small RNA介导的DNA甲基化调控的水稻草矮病毒致病机制
- 批准号:31772128
- 批准年份:2017
- 资助金额:60.0 万元
- 项目类别:面上项目
基于small RNA-seq的针灸治疗桥本甲状腺炎的免疫调控机制研究
- 批准号:81704176
- 批准年份:2017
- 资助金额:20.0 万元
- 项目类别:青年科学基金项目
水稻OsSGS3与OsHEN1调控small RNAs合成及其对抗病性的调节
- 批准号:91640114
- 批准年份:2016
- 资助金额:85.0 万元
- 项目类别:重大研究计划
相似海外基金
SaTC: CORE: Small: Automatic Exploits Detection and Mitigation for Industrial Control System Protocols
SaTC:核心:小型:工业控制系统协议的自动漏洞检测和缓解
- 批准号:
2345563 - 财政年份:2023
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Automatic Identification of Privilege-guard Variables for Data-only Attacks and Defenses
SaTC:核心:小型:自动识别纯数据攻击和防御的权限保护变量
- 批准号:
2247652 - 财政年份:2023
- 资助金额:
$ 25万 - 项目类别:
Continuing Grant
SaTC: CORE: Small: Automatic Detection and Repair of Side Channel Vulnerabilities in Software Code
SaTC:CORE:小型:自动检测和修复软件代码中的侧信道漏洞
- 批准号:
2245344 - 财政年份:2023
- 资助金额:
$ 25万 - 项目类别:
Continuing Grant
SaTC: CORE: Small: Sound Automatic Exploit Generation
SaTC:核心:小:声音自动漏洞利用生成
- 批准号:
2234257 - 财政年份:2023
- 资助金额:
$ 25万 - 项目类别:
Continuing Grant
CCF: SHF: Small: Self-Adaptive Interference-Avoiding Wireless Receiver Hardware through Real-Time Learning-Based Automatic Optimization of Power-Efficient Integrated Circuits
CCF:SHF:小型:通过基于实时学习的高能效集成电路自动优化实现自适应干扰避免无线接收器硬件
- 批准号:
2218845 - 财政年份:2022
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
NSF-BSF: SHF: Small: Efficient, Automatic, and Trustworthy Smart Contract Verification
NSF-BSF:SHF:小型:高效、自动且值得信赖的智能合约验证
- 批准号:
2110397 - 财政年份:2021
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
SaTC: CORE: Small: Automatic Exploits Detection and Mitigation for Industrial Control System Protocols
SaTC:核心:小型:工业控制系统协议的自动漏洞检测和缓解
- 批准号:
2051621 - 财政年份:2021
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
RI: Small: Accelerating Machine Learning via Randomized Automatic Differentiation
RI:小型:通过随机自动微分加速机器学习
- 批准号:
2007278 - 财政年份:2020
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
SHF: Small: Automatic, adaptive and massive parallel data processing on GPU/RDMA clusters in both synchronous and asynchronous modes
SHF:小型:在同步和异步模式下在 GPU/RDMA 集群上自动、自适应和大规模并行数据处理
- 批准号:
2005884 - 财政年份:2020
- 资助金额:
$ 25万 - 项目类别:
Standard Grant
CHS: Medium: Critical Factors for Automatic Speech Recognition in Supporting Small Group Communication Between People who are Deaf or Hard of Hearing and Hearing Colleagues
CHS:中:自动语音识别支持聋哑人或听力障碍人士与听力正常同事之间小组交流的关键因素
- 批准号:
1954284 - 财政年份:2020
- 资助金额:
$ 25万 - 项目类别:
Standard Grant