REU Site: Software Security

REU 网站:软件安全

基本信息

  • 批准号:
    1461133
  • 负责人:
  • 金额:
    $ 32.4万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2015
  • 资助国家:
    美国
  • 起止时间:
    2015-03-01 至 2019-02-28
  • 项目状态:
    已结题

项目摘要

Title: REU Site: Software SecurityThis project offers a nine-week summer program for 10 undergraduate students to gain research experience in software security at Boise State University. During the summer program, each student works with a faculty mentor on a carefully designed research project. The recruiting effort focuses on students from underrepresented groups and academic institutions with limited research opportunities or without cybersecurity programs. At least 50% participants are selected from other academic institutions. The intellectual merits of this project are that the research experiences motivate undergraduate students to purse graduate studies in software security, an area of national priority, and that students make innovative contributions and advance the knowledge base in emerging areas of software security. The broader significance and importance is that this project allows a diverse pool of motivated students from underrepresented groups and universities with limited research opportunities to gain research experiences in software security. The process of learning how to do research, write up and present research results, better prepares students for their future field of study. By focusing on the critical area of software security, an area in which there are few trained experts, the site addresses a pressing national need by training qualified students.Under the supervision of faculty mentors, the students work on research projects related to various software security issues. Sample projects are assurance of obligatory attribute-based access control, automated debugging of attribute-based access control policies, secure development of software-defined networking applications, and efficient symbolic execution for detection of software vulnerability.
职务名称:REU研究中心:软件安全这个项目为10名本科生提供了一个为期九周的暑期项目,以获得博伊西州立大学软件安全方面的研究经验。在暑期课程中,每个学生都与一位教师导师一起进行精心设计的研究项目。招聘工作的重点是来自代表性不足的群体和学术机构的学生,这些群体和学术机构的研究机会有限或没有网络安全项目。至少50%的参与者来自其他学术机构。该项目的智力优势在于,研究经验激励本科生追求软件安全研究生课程,这是国家优先考虑的领域,并且学生做出创新贡献并推进软件安全新兴领域的知识基础。更广泛的意义和重要性在于,该项目允许来自代表性不足的群体和研究机会有限的大学的各种有动力的学生获得软件安全方面的研究经验。学习如何做研究,撰写和展示研究成果的过程,更好地为学生未来的研究领域做好准备。该网站以软件安全这一关键领域为重点,这是一个几乎没有训练有素的专家的领域,通过培训合格的学生来解决国家的迫切需要。在教师导师的监督下,学生们从事与各种软件安全问题有关的研究项目。示例项目包括强制性基于属性的访问控制的保证、基于属性的访问控制策略的自动调试、软件定义网络应用程序的安全开发以及用于检测软件漏洞的高效符号执行。

项目成果

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

Dianxiang Xu其他文献

Generation of test requirements from aspectual use cases
从方面用例生成测试需求
  • DOI:
    10.1145/1229384.1229388
  • 发表时间:
    2007
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Dianxiang Xu;Xudong He
  • 通讯作者:
    Xudong He
Network slicing to improve multicasting in HPC clusters
用于改善 HPC 集群中多播的网络切片
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    I. Alsmadi;Abdallah Khreishah;Dianxiang Xu
  • 通讯作者:
    Dianxiang Xu
Research on Decision-making of Demand-side Energy Consumption Plan Based on Game Theory
基于博弈论的需求侧能源消费计划决策研究
Modeling security attacks with statecharts
使用状态图对安全攻击进行建模
  • DOI:
    10.1145/2000259.2000281
  • 发表时间:
    2011
  • 期刊:
  • 影响因子:
    0
  • 作者:
    O. Ariss;Dianxiang Xu
  • 通讯作者:
    Dianxiang Xu
Automated Generation of Integration Test Sequences from Logical Contracts
从逻辑契约自动生成集成测试序列

Dianxiang Xu的其他文献

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

{{ truncateString('Dianxiang Xu', 18)}}的其他基金

Building AI-Powered Responsible Workforce by Integrating Large Language Models into Computer Science Curriculum
通过将大型语言模型集成到计算机科学课程中,打造人工智能驱动的负责任的劳动力队伍
  • 批准号:
    2336061
  • 财政年份:
    2024
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
Collaborative Research: Education DCL: EAGER: Harnessing the Power of Large Language Models in Digital Forensics Education at MSI and HBCU
合作研究:教育 DCL:EAGER:在 MSI 和 HBCU 的数字取证教育中利用大型语言模型的力量
  • 批准号:
    2333951
  • 财政年份:
    2023
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
FMitF: Track II: SMT-Based Reachability Analyzer of NGAC Policies
FMitF:轨道 II:NGAC 策略的基于 SMT 的可达性分析器
  • 批准号:
    2318891
  • 财政年份:
    2023
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
EAGER: SaTC-EDU: Exploring Visualized and Explainable Artificial Intelligence to Improve Students’ Learning Experience in Digital Forensics Education
EAGER:SaTC-EDU:探索可视化和可解释的人工智能,以改善学生在数字取证教育中的学习体验
  • 批准号:
    2039288
  • 财政年份:
    2021
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
TWC: Small: Benchmarking Testing Methods for Access Control Policies
TWC:小型:访问控制策略的基准测试方法
  • 批准号:
    1954327
  • 财政年份:
    2019
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
TWC: Small: Benchmarking Testing Methods for Access Control Policies
TWC:小型:访问控制策略的基准测试方法
  • 批准号:
    1618229
  • 财政年份:
    2016
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
EDU: Developing a Software Artifact Repository for Software Assurance Education
EDU:开发用于软件保障教育的软件工件存储库
  • 批准号:
    1522847
  • 财政年份:
    2015
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
TTP: Small: Automated Conformance Testing of Access Control and Obligation Policies
TTP:小:访问控制和义务策略的自动一致性测试
  • 批准号:
    1318529
  • 财政年份:
    2013
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
TTP: Small: Automated Conformance Testing of Access Control and Obligation Policies
TTP:小:访问控制和义务策略的自动一致性测试
  • 批准号:
    1359590
  • 财政年份:
    2013
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
REU Site: Information Assurance and Security
REU 网站:信息保障和安全
  • 批准号:
    1004843
  • 财政年份:
    2010
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant

相似国自然基金

新型WDR5蛋白Win site抑制剂的合理设计、合成及其抗肿瘤活性研究
  • 批准号:
  • 批准年份:
    2021
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
具有共形结构的高性能Ta4SiTe4基有机/无机复合柔性热电薄膜
  • 批准号:
    52172255
  • 批准年份:
    2021
  • 资助金额:
    58 万元
  • 项目类别:
    面上项目
基于重要农地保护LESA(Land Evaluation and Site Assessment)体系思想的高标准基本农田建设研究
  • 批准号:
    41340011
  • 批准年份:
    2013
  • 资助金额:
    20.0 万元
  • 项目类别:
    专项基金项目

相似海外基金

REU Site: Software Dependability Centric Research and Application
REU 站点:以软件可靠性为中心的研究和应用
  • 批准号:
    2349347
  • 财政年份:
    2024
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
REU SITE: CMU in Software Enginneering (REUSE)
REU 站点:CMU 软件工程(REUSE)
  • 批准号:
    2150217
  • 财政年份:
    2022
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
REU Site: Software Safety and Reliability: Research, Practice, and Innovation
REU 网站:软件安全性和可靠性:研究、实践和创新
  • 批准号:
    2050869
  • 财政年份:
    2021
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
REU Site: Interdisciplinary Research Experience on Accelerated Deep Learning through A Hardware-Software Collaborative Approach
REU 网站:通过硬件-软件协作方法加速深度学习的跨学科研究经验
  • 批准号:
    2051062
  • 财政年份:
    2021
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
REU Site: Software and Data Analytics
REU 网站:软件和数据分析
  • 批准号:
    2050883
  • 财政年份:
    2021
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
REU Site: Hardware, Embedded Software, and Analytics for Environment Quality Monitoring
REU 站点:环境质量监测的硬件、嵌入式软件和分析
  • 批准号:
    1950082
  • 财政年份:
    2020
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
REU Site: Secure and Privacy-Preserving Cyber-Physical Systems: Software and Hardware Approaches
REU 网站:安全和隐私保护的网络物理系统:软件和硬件方法
  • 批准号:
    1852126
  • 财政年份:
    2019
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
CMU REU Site in Software Engineering (REUSE)
CMU REU 软件工程站点(REUSE)
  • 批准号:
    1852260
  • 财政年份:
    2019
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
REU Site: Software Safety and Reliability: Research and Application
REU 网站:软件安全与可靠性:研究与应用
  • 批准号:
    1757828
  • 财政年份:
    2018
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
REU Site: Software Assurance and Security in Emerging Technologies: Research Experience for Undergraduates
REU 网站:新兴技术中的软件保障和安全:本科生的研究经验
  • 批准号:
    1757773
  • 财政年份:
    2018
  • 资助金额:
    $ 32.4万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了