University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–30 of 31 items
Thumbnail for Probabilistic Validation of an Intrusion-Tolerant Replication System
Probabilistic Validation of an Intrusion-Tolerant Replication System
Singh, Sankalp

Thumbnail for Automatic verification of security policy implementations
Automatic verification of security policy implementations
Singh, Sankalp

Thumbnail for Automatic Verification of Distributed and Layered Security Policy Implementations
Automatic Verification of Distributed and Layered Security Policy Implementations
Singh, Sankalp; Sanders, William H.; Nicol, David M.; Seri, Mouna

Thumbnail for Stochastic Modeling of Intrusion-Tolerant Server Architectures for Dependability and Performance Evaluation
Stochastic Modeling of Intrusion-Tolerant Server Architectures for Dependability and Performance Evaluation
Gupta, Vishu; Lam, Vinh; Ramasamy, HariGovind V.; Sanders, William H.; Singh, Sankalp

Thumbnail for Governing harm: the politics of survival in the era of harm reduction in India
Governing harm: the politics of survival in the era of harm reduction in India
Moorthi, Gayatri

Thumbnail for Dependency-Based Decomposition of Systems Involving Rare Events
Dependency-Based Decomposition of Systems Involving Rare Events
Rozier, Eric W.D.; Sanders, William H.

Thumbnail for Analyzing Security Vulnerabilities and Attacks
Analyzing Security Vulnerabilities and Attacks
Wang, Long; Doshi, Nidhi; Kalbarczyk, Zbigniew T.; Iyer, Ravishankar K.; Sharma, Aashish; Barlow, James J.

Thumbnail for The Möbius State-Level Abstract Functional Interface
The Möbius State-Level Abstract Functional Interface
Derisavi, Salem

Thumbnail for A response taxonomy and cost model for advanced metering infrastructures
A response taxonomy and cost model for advanced metering infrastructures
Fawaz, Ahmed

Thumbnail for A Replication Protocol for an Intrusion-Tolerant System Design
A Replication Protocol for an Intrusion-Tolerant System Design
Lyons, James Patrick

Thumbnail for Content-aware resource scheduling for commercial and personal clouds
Content-aware resource scheduling for commercial and personal clouds
Bazarbayev, Sobir

Thumbnail for Intrusion-Tolerant State Transfer for Group Communication Systems
Intrusion-Tolerant State Transfer for Group Communication Systems
Gupta, Vishu

Thumbnail for Game-theoretic intrusion response and recovery
Game-theoretic intrusion response and recovery
Aliari Zonouz, Saman

Thumbnail for Evaluating Unavailability Caused by Group Membership Using Global-State-Based Fault Injection
Evaluating Unavailability Caused by Group Membership Using Global-State-Based Fault Injection
Joshi, Kaustubh Raghunandan

Thumbnail for An Experimental Evaluation of the Coda Distributed File System Using the Loki State-Driven Fault Injector
An Experimental Evaluation of the Coda Distributed File System Using the Loki State-Driven Fault Injector
Lefever, Ryan Michael

Thumbnail for A path-based framework for analyzing large markov models
A path-based framework for analyzing large markov models
Lam, Vinh V.

Thumbnail for Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics
Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics
Gaonkar, Shravan

Thumbnail for Diverse partial memory replication
Diverse partial memory replication
Lefever, Ryan M.

Thumbnail for Scale dependent processing of conspecific signals in the gray treefrog Hyla versicolor
Scale dependent processing of conspecific signals in the gray treefrog Hyla versicolor
Christie, Kevin W.

Thumbnail for Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics
Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics
Gaonkar, Shravan

Thumbnail for Parsimonious Service Replication for Tolerating Malicious Attacks in Asynchronous Environments
Parsimonious Service Replication for Tolerating Malicious Attacks in Asynchronous Environments
Ramasamy, Harigovind Venkatraj

Thumbnail for Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics
Exploring Design Configurations of System Models: From Simultaneous Simulation to Search Heuristics
Gaonkar, Shravan

Thumbnail for Understanding the fault-tolerance properties of large-scale storage systems
Understanding the fault-tolerance properties of large-scale storage systems
Rozier, Eric

Thumbnail for Validation of an Intrusion-Tolerant Information System Using Probabilistic Modeling
Validation of an Intrusion-Tolerant Information System Using Probabilistic Modeling
Stevens, Fabrice

Thumbnail for Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
Derisavi, Salem

Thumbnail for Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
Solution of Large Markov Models Using Lumping Techniques and Symbolic Data Structures
Derisavi, Salem

Thumbnail for An Adaptive Quality of Service Aware Middleware for Replicated Services
An Adaptive Quality of Service Aware Middleware for Replicated Services
Krishnamurthy, Sudha

Thumbnail for Stochastic-Model-Driven Adaptation and Recovery in Distributed Systems
Stochastic-Model-Driven Adaptation and Recovery in Distributed Systems
Joshi, Kaustubh Raghunandan

Thumbnail for Stochastic -Model -Driven Adaptation and Recovery in Distributed Systems
Stochastic -Model -Driven Adaptation and Recovery in Distributed Systems
Joshi, Kaustubh Raghunandan

Thumbnail for Parsimonious Service Replication for Tolerating Malicious Attacks in Asynchronous Environments
Parsimonious Service Replication for Tolerating Malicious Attacks in Asynchronous Environments
Ramasamy, Harigovind Venkatraj