SaTC: CORE: Small: Collaborative: A New Approach to Federated Network Security

SaTC:核心:小型:协作:联合网络安全的新方法

基本信息

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

项目摘要

Modern networks are often federated in nature---i.e., they are an interoperation between independent networks spanning multiple administrative domains. For example, in many enterprises, different business units control various logical segments of the network, but share common resources, such as routers, firewalls, and load-balancers. In such federated systems, the correct enforcement of network security policies relies on interactions that span multiple administrative domains. This project is developing techniques for enforcing security policies in federated networks using a new form of Proof Carrying Code (PCC), specialized to the networking domain. This enforcement mechanism will ensure that only authorized actors can reconfigure devices in federated networks, and will guarantee that configuration software preserves "behavioral" policies such as access control, slice isolation, etc.The technical contributions of this research will include (i) developing PCC techniques for NetKAT, a language for SDN programming that comes equipped with a sound and complete equational reasoning system, and (ii) integrating NetKAT PCC into the Nexus Authorization Language (NAL), a framework that provides methods for specifying and enforcing distributed authorization policies. Key challenges will include how to generate, represent, and transform NetKAT proofs, and how to deal with dynamic behaviors such as network configuration changes and evolving trust models. The broader impacts of this project include (i) developing open-source software that will be tested on a GENI rack hosted by the BTV Ignite program with broader impacts in the local Burlington, VT community, and (ii) presenting education opportunities for underrepresented groups via an outreach program for high school students developed in partnership with the New York State 4-H and Science Leadership Academy.
现代网络通常在本质上是联合的-即,它们是跨越多个管理域的独立网络之间的互操作。例如,在许多企业中,不同的业务部门控制着网络的各个逻辑段,但共享公共资源,如路由器、防火墙和负载均衡器。在这样的联合系统中,网络安全策略的正确实施依赖于跨多个管理域的交互。该项目正在开发使用一种新形式的证明携带代码(PCC)在联合网络中执行安全策略的技术,专门用于网络领域。这种执行机制将确保只有授权的参与者可以重新配置联合网络中的设备,并将保证配置软件保留“行为”策略,如访问控制,切片隔离等。本研究的技术贡献将包括(i)为NetKAT开发PCC技术,NetKAT是一种用于SDN编程的语言,配备了一个健全而完整的等式推理系统,以及(ii)将NetKAT PCC集成到Nexus授权语言(NAL)中,该框架提供用于指定和实施分布式授权策略的方法。关键挑战将包括如何生成、表示和转换NetKAT证明,以及如何处理动态行为,如网络配置变化和不断发展的信任模型。该项目的更广泛的影响包括:(一)开发开源软件,将在BTV虚拟主机程序托管的GENI机架上进行测试,在当地的伯灵顿,佛蒙特州社区产生更广泛的影响,以及(二)通过与纽约州4-H和科学领导学院合作开发的高中生外展计划,为代表性不足的群体提供教育机会。

项目成果

期刊论文数量(1)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
Proof-Carrying Network Code
{{ 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 }}

John Foster其他文献

THE IMPORTANCE OF LECTURE IN GENERAL CHEMISTRY COURSE PERFORMANCE
普通化学课程表现中讲座的重要性
  • DOI:
  • 发表时间:
    1993
  • 期刊:
  • 影响因子:
    0
  • 作者:
    J. Birk;John Foster
  • 通讯作者:
    John Foster
FRI277 - Accumulation of molybdenum in major organs following chronic oral administration of bis-choline tetrathiomolybdate in Sprague Dawley rats
FRI277 - 斯普拉格·道利大鼠慢性口服二胆碱四硫代钼酸盐后主要器官中钼的积累
  • DOI:
    10.1016/s0168-8278(22)01383-6
  • 发表时间:
    2022-07-01
  • 期刊:
  • 影响因子:
    33.000
  • 作者:
    Kharmen Billimoria;Timothy Morley;Maria Estela del Castillo;Stanislav Stekopytov;Heidi Goenaga-Infante;John Foster
  • 通讯作者:
    John Foster
Innovation, Complexity and Economic Evolution: From Theory to Policy, by Pier Paolo Saviotti, Routledge, 282 pages
  • DOI:
    10.1007/s00191-023-00839-1
  • 发表时间:
    2023-09-19
  • 期刊:
  • 影响因子:
    1.800
  • 作者:
    John Foster
  • 通讯作者:
    John Foster
Molecular models for the do-it-yourselfer
适合DIY爱好者的分子模型
  • DOI:
  • 发表时间:
    1989
  • 期刊:
  • 影响因子:
    0
  • 作者:
    J. Birk;John Foster
  • 通讯作者:
    John Foster
TO BE OR NOT TO BE: A CASE OF RECURRENT SWELLING SYNDROME OF THE THORACIC DUCT
  • DOI:
    10.1016/s0735-1097(20)33802-x
  • 发表时间:
    2020-03-24
  • 期刊:
  • 影响因子:
  • 作者:
    Ayesha Azmeen;Ayesha Shaik;John McArdle;John Foster
  • 通讯作者:
    John Foster

John Foster的其他文献

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

{{ truncateString('John Foster', 18)}}的其他基金

ECLIPSE: CAS-Climate: Understanding the Role of Thermally-Driven Processes in Pattern Formation and Droplet Emission in DC Glows with Applications to Water Treatment
ECLIPSE:CAS-气候:了解热驱动过程在直流辉光中图案形成和液滴发射中的作用及其在水处理中的应用
  • 批准号:
    2206039
  • 财政年份:
    2022
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
FMitF: Track 2: Formal Reasoning for Legal Conveyances
FMitF:轨道 2:法律转让的形式推理
  • 批准号:
    2019313
  • 财政年份:
    2020
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
FMitF: Track I: Petr4: Formal Foundations for Programmable Networks
FMITF:第一轨:Petr4:可编程网络的正式基础
  • 批准号:
    1918396
  • 财政年份:
    2019
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
Travel Support: 15th US National Congress on Computational Mechanics (USNCCM XV); Austin, Texas; July 28-August 1, 2019
差旅支持:第十五届美国计算力学全国大会(USNCCM XV);
  • 批准号:
    1935320
  • 财政年份:
    2019
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
IUCRC Phase I: The University of Michigan Center for High Pressure Plasma Energy, Agriculture, and Biomedical Technologies (PEAB)
IUCRC 第一阶段:密歇根大学高压等离子体能源、农业和生物医学技术中心 (PEAB)
  • 批准号:
    1747739
  • 财政年份:
    2018
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Continuing Grant
Planning I/UCRC University of Michigan Ann Arbor: Center for High Pressure Plasma Energy, Agriculture, and Biomedical Technologies (PEAB)
规划 I/UCRC 密歇根大学安娜堡分校:高压等离子体能源、农业和生物医学技术中心 (PEAB)
  • 批准号:
    1650488
  • 财政年份:
    2017
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
CICI: Secure and Resilient Architecture: Campus Infrastructure for Microscale, Privacy-Conscious, Data-Driven Planning
CICI:安全和弹性架构:用于微型、隐私意识、数据驱动规划的园区基础设施
  • 批准号:
    1642120
  • 财政年份:
    2017
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
PFI:AIR - TT: High Throughput Plasma Water Purifier
PFI:AIR - TT:高通量等离子净水器
  • 批准号:
    1700848
  • 财政年份:
    2017
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
AitF: Theory and Practice of Probabilistic Network Programming
AitF:概率网络规划的理论与实践
  • 批准号:
    1637532
  • 财政年份:
    2016
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
Micro-Plasmas Through Porous Media
通过多孔介质的微等离子体
  • 批准号:
    1519117
  • 财政年份:
    2015
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Continuing Grant

相似国自然基金

胆固醇羟化酶CH25H非酶活依赖性促进乙型肝炎病毒蛋白Core及Pre-core降解的分子机制研究
  • 批准号:
    82371765
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
锕系元素5f-in-core的GTH赝势和基组的开发
  • 批准号:
    22303037
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
基于合成致死策略搭建Core-matched前药共组装体克服肿瘤耐药的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    52 万元
  • 项目类别:
鼠伤寒沙门氏菌LPS core经由CD209/SphK1促进树突状细胞迁移加重炎症性肠病的机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
肌营养不良蛋白聚糖Core M3型甘露糖肽的精确制备及功能探索
  • 批准号:
    92053110
  • 批准年份:
    2020
  • 资助金额:
    70.0 万元
  • 项目类别:
    重大研究计划
Core-1-O型聚糖黏蛋白缺陷诱导胃炎发生并介导慢性胃炎向胃癌转化的分子机制研究
  • 批准号:
    81902805
  • 批准年份:
    2019
  • 资助金额:
    20.5 万元
  • 项目类别:
    青年科学基金项目
原始地球增生晚期的Core-merging大碰撞事件:地核增生、核幔平衡与核幔边界结构的新认识
  • 批准号:
    41973063
  • 批准年份:
    2019
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目
RBM38通过协助Pol-ε结合、招募core调控HBV复制
  • 批准号:
    31900138
  • 批准年份:
    2019
  • 资助金额:
    24.0 万元
  • 项目类别:
    青年科学基金项目
CORDEX-CORE区域气候模拟与预估研讨会
  • 批准号:
    41981240365
  • 批准年份:
    2019
  • 资助金额:
    1.5 万元
  • 项目类别:
    国际(地区)合作与交流项目

相似海外基金

SaTC: CORE: Small: An evaluation framework and methodology to streamline Hardware Performance Counters as the next-generation malware detection system
SaTC:核心:小型:简化硬件性能计数器作为下一代恶意软件检测系统的评估框架和方法
  • 批准号:
    2327427
  • 财政年份:
    2024
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338301
  • 财政年份:
    2024
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Continuing Grant
Collaborative Research: NSF-BSF: SaTC: CORE: Small: Detecting malware with machine learning models efficiently and reliably
协作研究:NSF-BSF:SaTC:核心:小型:利用机器学习模型高效可靠地检测恶意软件
  • 批准号:
    2338302
  • 财政年份:
    2024
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Continuing Grant
SaTC: CORE: Small: NSF-DST: Understanding Network Structure and Communication for Supporting Information Authenticity
SaTC:核心:小型:NSF-DST:了解支持信息真实性的网络结构和通信
  • 批准号:
    2343387
  • 财政年份:
    2024
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
NSF-NSERC: SaTC: CORE: Small: Managing Risks of AI-generated Code in the Software Supply Chain
NSF-NSERC:SaTC:核心:小型:管理软件供应链中人工智能生成代码的风险
  • 批准号:
    2341206
  • 财政年份:
    2024
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Towards Secure and Trustworthy Tree Models
协作研究:SaTC:核心:小型:迈向安全可信的树模型
  • 批准号:
    2413046
  • 财政年份:
    2024
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Study, Detection and Containment of Influence Campaigns
SaTC:核心:小型:影响力活动的研究、检测和遏制
  • 批准号:
    2321649
  • 财政年份:
    2023
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
SaTC: CORE: Small: Socio-Technical Approaches for Securing Cyber-Physical Systems from False Claim Attacks
SaTC:核心:小型:保护网络物理系统免受虚假声明攻击的社会技术方法
  • 批准号:
    2310470
  • 财政年份:
    2023
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Standard Grant
Collaborative Research: SaTC: CORE: Small: Investigation of Naming Space Hijacking Threat and Its Defense
协作研究:SaTC:核心:小型:命名空间劫持威胁及其防御的调查
  • 批准号:
    2317830
  • 财政年份:
    2023
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Continuing Grant
Collaborative Research: SaTC: CORE: Small: Towards a Privacy-Preserving Framework for Research on Private, Encrypted Social Networks
协作研究:SaTC:核心:小型:针对私有加密社交网络研究的隐私保护框架
  • 批准号:
    2318843
  • 财政年份:
    2023
  • 资助金额:
    $ 13.17万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了