SDCI Sec New: In-Depth Vulnerability Assessment of Middleware
SDCI Sec New: In-Depth Vulnerability Assessment of Middleware
批准号:
1032341
负责人:
Barton Miller
金额:
$77.5万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2011
资助国家:
美国
项目状态:
已结题
起止时间:
2011-01-01 至 2015-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
This research establishes MIST, the MIddleware Security and Testing facility,to identify security vulnerabilities in middleware, which include e-commercesystems, supercomputers, and scientific and commercial networks. Theresearchers are identifying limitations in current abilities to identify andremediate vulnerabilities in the middleware. The limitations include assessmenttechniques that provide insufficient focus on critical vulnerabilities and aresubject to high false-positives, tools that provide limited abilities to find serious vulnerabilities, little or no formal characterization ofvulnerabilities, lack of trained security analysts to perform vulnerabilityassessment, scarcity of curricula, both in academia and professional training,for training security analysts, scarcity of training in software engineeringand design techniques for secure systems, and lack of independent vulnerabilityassessment activities in middleware software development.The researchers are developing first principles based vulnerability assessment(FPVA) that starts with architectural and resource analysis of the software,identifying high-value assets, and then derives threats based on how theassets are used. This research includes new and extended algorithms andtechniques for tools to help improve the automation of this task, and newsoftware engineering and coding techniques for developing secure systems.Results from their FPVA assessment activities are used to develop formalcharacterizations of these hard-to-discover vulnerabilities and, from thesecharacterizations, develop algorithms for detecting these vulnerabilities.From algorithms, they are developing new automated tools for detection. Thetools take the form of plug-ins to existing tools (to reduce unnecessaryeffort and time-to-deployment). This project expands the skills software developers by developing trainingmaterials in the form of tutorials, short courses, and a new undergraduatecourse in vulnerability assessment and secure coding practices.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SaTC: TTP: Medium: Collaborative: Deployment-quality and Accessible Solutions for Cryptography Code Development
-
批准号:1929739
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2019
-
负责人:Barton Miller
-
依托单位:
SI2-SSI: Collaborative Research: A Sustainable Infrastructure for Performance, Security, and Correctness Tools
-
批准号:1449918
-
项目类别:Standard Grant
-
资助金额:$150.0万
-
财政年份:2015
-
负责人:Barton Miller
-
依托单位:
Vulnerability Assessment of Grid Software Infrastructure
-
批准号:0844219
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Barton Miller
-
依托单位:
Joint U.S.-Venezuelan Workshop on High Performance Computing; January 3-7, 2000, Puerto La Cruz, Anzoategui, Venezuela
-
批准号:9979307
-
项目类别:Standard Grant
-
资助金额:$2.72万
-
财政年份:2000
-
负责人:Barton Miller
-
依托单位:
Experimental Software Systems: Software Foundations for Experiment Management
-
批准号:9870684
-
项目类别:Standard Grant
-
资助金额:$60.01万
-
财政年份:1998
-
负责人:Barton Miller
-
依托单位:
Race Condition Detection for Debugging Parallel Programs
-
批准号:9100968
-
项目类别:Continuing Grant
-
资助金额:$18.34万
-
财政年份:1991
-
负责人:Barton Miller
-
依托单位:
Transferring the IPS-2 Performance Tools into the Supercomputer Environment
-
批准号:9015462
-
项目类别:Standard Grant
-
资助金额:$5.72万
-
财政年份:1990
-
负责人:Barton Miller
-
依托单位:
Efficient Debugging of Parallel Programs
-
批准号:8815928
-
项目类别:Continuing Grant
-
资助金额:$25.85万
-
财政年份:1989
-
负责人:Barton Miller
-
依托单位:
Performance Measurement and Analysis Tools for Parallel and Distributed Programs
-
批准号:8703373
-
项目类别:Standard Grant
-
资助金额:$9.76万
-
财政年份:1987
-
负责人:Barton Miller
-
依托单位:
国内基金
海外基金
登录
查看更多内容
工业大麻内生菌SEC-024A高效抑菌VOCs的合成调控、诱变选育及其增效分子机制研究
-
批准号:2026JJ81271
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2026
-
负责人:王吐虹
-
依托单位:
蟾毒灵通过SEC13/HMGB1/TLR4/NF-κB轴调控转移生态位抑制乳腺癌骨转移的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:殷佩浩
-
依托单位:
SEC61A2调控EMT影响肺腺癌细胞侵袭和转移的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:徐磊
-
依托单位:
膀胱癌细胞中TEAD4激活SEC61G通过糖酵解促进M2巨噬细胞极化的机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:李朋
-
依托单位:
金葡菌肠毒素SEC 激活内皮细胞 PDK/AKT/mTOR 信号轴介导血管新生的分子
机制研究
-
批准号:24ZR1448300
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:易磊
-
依托单位:
SEC14L3 通过 CCN1调控心肌细胞凋亡在脓毒症诱导的
心功能障碍中的作用及机制研究
-
批准号:2024JJ3038
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:张伟志
-
依托单位:
毕赤酵母中Sec16p蛋白介导的膜泡出芽机制解析及运输系统重塑
研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2024
-
负责人:吕雪芹
-
依托单位:
Circ-SEC23B通过ceRNA机制调控CD24/Siglec10表达介导巨噬细胞M1极化参与Graves病免疫炎症的机制研究
-
批准号:2024Y9411
-
项目类别:省市级项目
-
资助金额:15.0万元
-
批准年份:2024
-
负责人:白雪凤
-
依托单位:
全基因组CRISPR筛选鉴定SEC23A驱动胃黏膜肠化生的作用和机制研究
-
批准号:2024Y9191
-
项目类别:省市级项目
-
资助金额:15.0万元
-
批准年份:2024
-
负责人:魏旭劲
-
依托单位:
基于胶质瘤类器官模型探讨SEC16B/TRIM56/HMGA1信号轴通过调控DNA损伤修复介导胶质母细胞瘤对替莫唑胺治疗耐药的分子机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:15.0万元
-
批准年份:2024
-
负责人:黄广龙
-
依托单位: