Collaborative Research: CT-T: DoS Prevention in Shared Channels
Collaborative Research: CT-T: DoS Prevention in Shared Channels
批准号:
0524516
负责人:
Carl Gunter
金额:
$53.03万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2005
资助国家:
美国
项目状态:
已结题
起止时间:
2005-08-15 至 2009-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Proposal Number: NSF-0524269TITLE: DoS Prevention in Shared ChannelsPI: Carl GunterMethods for analyzing and preventing Denial of Service (DoS) threats are of fundamental value for designing robust Internet protocols. Much work has been done to develop pragmatic solutions to protocol-specific DoS threats, but there is a lack of realistic theoretical models for studying DoS and of broad paradigms for designing DoS-resilient protocols. This project develops theoretical models based on a "shared channel model" which describes how adversaries and valid senders share the network bandwidth of attack targets. It exploits this model to design counter-measures based on a paradigm in which asymmetries in protocol workloads that are exploited by adversaries are systematically converted to the advantage of trusted parties. Specific project goals include developing (1) general techniques for obtaining DoS-resilience that can be used to adapt existing protocols or create new ones; (2) ways to automate DoS analysis of protocols to reduce the effort required to confirm practical availability properties theoretically and find unexpected attacks before protocols are deployed; and (3) a unified model of integrity, confidentiality, and availability based on both existing algebraic techniques and new probabilistic techniques.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SaTC: Frontiers: Collaborative: Security and Privacy in the Lifecycle of IoT for Consumer Environments (SPLICE)
-
批准号:1955228
-
项目类别:Continuing Grant
-
资助金额:$193.88万
-
财政年份:2020
-
负责人:Carl Gunter
-
依托单位:
TWC: Medium: Collaborative: Broker Leads for Privacy-Preserving Discovery in Health Information Exchange
-
批准号:1408944
-
项目类别:Standard Grant
-
资助金额:$36.0万
-
财政年份:2014
-
负责人:Carl Gunter
-
依托单位:
TWC: Frontier: Collaborative: Enabling Trustworthy Cybersystems for Health and Wellness
-
批准号:1330491
-
项目类别:Continuing Grant
-
资助金额:$200.0万
-
财政年份:2013
-
负责人:Carl Gunter
-
依托单位:
TWC: Small: Friendsourcing to Detect Network Manipulation
-
批准号:1223967
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2012
-
负责人:Carl Gunter
-
依托单位:
TC: Medium: Collaborative Research: Experience-Based Access Management (EBAM) for Hospital Information Technology
-
批准号:0964392
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2010
-
负责人:Carl Gunter
-
依托单位:
CT-ISG: Security for Building Automation Systems
-
批准号:0716421
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2007
-
负责人:Carl Gunter
-
依托单位:
CT-ISG: Attribute-based Security and Messaging
-
批准号:0716626
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2007
-
负责人:Carl Gunter
-
依托单位:
Collaborative Research: Formal Privacy
-
批准号:0506546
-
项目类别:Standard Grant
-
资助金额:$7.42万
-
财政年份:2004
-
负责人:Carl Gunter
-
依托单位:
Third Party Programmability for Embedded Systems
-
批准号:0208990
-
项目类别:Standard Grant
-
资助金额:$18.0万
-
财政年份:2002
-
负责人:Carl Gunter
-
依托单位:
Collaborative Research: Formal Privacy
-
批准号:0208996
-
项目类别:Standard Grant
-
资助金额:$23.2万
-
财政年份:2002
-
负责人:Carl Gunter
-
依托单位:
CRCD: Security Laboratory
-
批准号:0088028
-
项目类别:Continuing Grant
-
资助金额:$50.0万
-
财政年份:2000
-
负责人:Carl Gunter
-
依托单位:
Relating Static and Dynamic Semantics of Programs
-
批准号:9415443
-
项目类别:Continuing Grant
-
资助金额:$22.19万
-
财政年份:1995
-
负责人:Carl Gunter
-
依托单位:
Formalizing Software Specifications and Requirements in Higher-Order Logic
-
批准号:9505469
-
项目类别:Standard Grant
-
资助金额:$13.5万
-
财政年份:1995
-
负责人:Carl Gunter
-
依托单位:
Proof-Theoretic Concepts in the Semantics of Concurrency
-
批准号:8912778
-
项目类别:Standard Grant
-
资助金额:$11.81万
-
财政年份:1990
-
负责人:Carl Gunter
-
依托单位:
US-France (INRIA) Cooperative Research: Type Theory and Interactive Development of Proofs and Programs
-
批准号:8819598
-
项目类别:Standard Grant
-
资助金额:$6.23万
-
财政年份:1989
-
负责人:Carl Gunter
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Research on Quantum Field Theory without a Lagrangian Description
-
批准号:24ZR1403900
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:SATOSHI NAWATA
-
依托单位:
Cell Research
-
批准号:31224802
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2012
-
负责人:程磊
-
依托单位:
Cell Research
-
批准号:31024804
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2010
-
负责人:程磊
-
依托单位:
Cell Research (细胞研究)
-
批准号:30824808
-
项目类别:专项基金项目
-
资助金额:24.0万元
-
批准年份:2008
-
负责人:张爱兰
-
依托单位:
Research on the Rapid Growth Mechanism of KDP Crystal
-
批准号:10774081
-
项目类别:面上项目
-
资助金额:45.0万元
-
批准年份:2007
-
负责人:滕冰
-
依托单位: