University of Illinois Urbana-Champaign

Academic Unit
Collection
Author(s)
Keyword(s)
Type of Resource
Showing 1–15 of 15 items
Thumbnail for Intrusion-Tolerant State Transfer for Group Communication Systems
Intrusion-Tolerant State Transfer for Group Communication Systems
Gupta, Vishu

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 A Replication Protocol for an Intrusion-Tolerant System Design
A Replication Protocol for an Intrusion-Tolerant System Design
Lyons, James Patrick

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

Thumbnail for Probabilistic Validation of an Intrusion-Tolerant Replication System
Probabilistic Validation of an Intrusion-Tolerant Replication System
Singh, Sankalp

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 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 Diverse partial memory replication
Diverse partial memory replication
Lefever, Ryan M.

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

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 Parsimonious Service Replication for Tolerating Malicious Attacks in Asynchronous Environments
Parsimonious Service Replication for Tolerating Malicious Attacks in Asynchronous Environments
Ramasamy, Harigovind Venkatraj