Collaborative Research: CT-ER MiMANSaS: Metrics, Models and Analysis of Network Security and Survivability
Collaborative Research: CT-ER MiMANSaS: Metrics, Models and Analysis of Network Security and Survivability
批准号:
0831325
负责人:
Kishor Trivedi
金额:
$14.64万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-09-01 至 2012-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Information and Communications Technology (ICT) infrastructure failures and cyber attacks are realities that can have catastrophic societal effects. Information Assurance (IA) can be defined as the operations undertaken to protect and defend ICT systems by ensuring their dependability and security. There is a critical need for systematic IA methods that enable ICT systems to adapt and survive any type of disruption or attack. A major hurdle in the development of IA techniques is the lack of models and metrics which enable one to determine the effectiveness of IA mechanisms. This exploratory project seeds a collaborative effort between three PIs at different institutions: Duke University, University of Missouri Kansas-City, and the University of Pittsburgh focused on the development of metrics and models that will allow one to quantitatively study the technical aspects of information assurance (IA) for the network component of the ICT infrastructure. The basis of the approach is to unify attack trees, attack graphs, privilege graphs and fault trees into a common scalable framework with a well defined set of metrics and application scenarios. Extensions of the basic model that include state information, stochastic properties and rewards via Markov chains and stochastic Petri nets, enabling a wider variety of attack and fault scenarios are being studied. The impact of the models and metrics developed is that they provide the techniques and tools necessary to determine the effectiveness of IA mechanisms and allow one to detect bottlenecks and to evaluate the tradeoffs between levels of information assurance, performance and cost.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Small: Fast Sign-Off of Machine Learning Systems: From Circuit-Level Modeling to Statistical System Validation
-
批准号:1813567
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2018
-
负责人:Kishor Trivedi
-
依托单位:
TWC: TTP Option: Small: Collaborative: SRN: On Establishing Secure and Resilient Networking Services
-
批准号:1523994
-
项目类别:Standard Grant
-
资助金额:$23.7万
-
财政年份:2015
-
负责人:Kishor Trivedi
-
依托单位:
NeTS: Small: Collaborative Research: Analytic Modeling and Enhancement of Vehicular Ad Hoc Networks for Safety Related Applications
-
批准号:1017722
-
项目类别:Standard Grant
-
资助金额:$14.75万
-
财政年份:2010
-
负责人:Kishor Trivedi
-
依托单位:
Collaborative Project: NSF Partnership in the Center for Advanced Computing and Communication
-
批准号:9980591
-
项目类别:Continuing Grant
-
资助金额:$19.9万
-
财政年份:1999
-
负责人:Kishor Trivedi
-
依托单位:
US-Italy Cooperative Research: Dependability Modeling and Analysis of Phased-Mission Systems
-
批准号:9972009
-
项目类别:Standard Grant
-
资助金额:$2.2万
-
财政年份:1999
-
负责人:Kishor Trivedi
-
依托单位:
U.S.-Korea Cooperative Research on Performance Analysis Methodology for the Future Wireless Communicatin Systems
-
批准号:9727221
-
项目类别:Standard Grant
-
资助金额:$5.08万
-
财政年份:1998
-
负责人:Kishor Trivedi
-
依托单位:
Challenges in CISE: TUNE: System Support for Memory-Friendly Programming
-
批准号:9726370
-
项目类别:Continuing Grant
-
资助金额:$154.79万
-
财政年份:1997
-
负责人:Kishor Trivedi
-
依托单位:
I/UCRC for Advanced Computing and Communication: Architecture-Based Estimation of Software Reliability
-
批准号:9714965
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1997
-
负责人:Kishor Trivedi
-
依托单位:
Industry/University Cooperative Research Center for Advanced Computing and Communication
-
批准号:9418765
-
项目类别:Continuing Grant
-
资助金额:$114.81万
-
财政年份:1994
-
负责人:Kishor Trivedi
-
依托单位:
I/UCRC for Computer Engineering System Center, A Planning Grant Proposal
-
批准号:9312908
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1993
-
负责人:Kishor Trivedi
-
依托单位:
CS&E Research Associate: High Performance Computing in Stochastic Modeling
-
批准号:9310243
-
项目类别:Standard Grant
-
资助金额:$4.62万
-
财政年份:1993
-
负责人:Kishor Trivedi
-
依托单位:
Towards a Theory of Hierarchical Modeling
-
批准号:9108114
-
项目类别:Continuing Grant
-
资助金额:$15.72万
-
财政年份:1991
-
负责人:Kishor Trivedi
-
依托单位:
Analysis of Parallel and Distributed Systems (Computer Science)
-
批准号:8302000
-
项目类别:Standard Grant
-
资助金额:$9.69万
-
财政年份:1983
-
负责人:Kishor Trivedi
-
依托单位:
Sfc Travel Support (In Indian Currency) to Collaborate on Computer Systems at Indian Institute of Science, Bangalore, India, January 1, 1982
-
批准号:8120702
-
项目类别:Standard Grant
-
资助金额:$0.26万
-
财政年份:1982
-
负责人:Kishor Trivedi
-
依托单位:
Problems in Computer Configuration Design
-
批准号:7822327
-
项目类别:Standard Grant
-
资助金额:$14.51万
-
财政年份:1979
-
负责人:Kishor Trivedi
-
依托单位:
Travel to Attend Parallel Computers - Parallel Mathematics Imacs (Aica) - Gi Symposium, Munich, Germany, 03/14-16/1977
-
批准号:7709515
-
项目类别:Standard Grant
-
资助金额:$0.08万
-
财政年份:1977
-
负责人:Kishor Trivedi
-
依托单位:
国内基金
海外基金
登录
查看更多内容
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
-
负责人:滕冰
-
依托单位: