University of Illinois Urbana-Champaign

Probabilistic Validation of an Intrusion-Tolerant Replication System

Singh, Sankalp

This item is only available for download by members of the University of Illinois community. Students, faculty, and staff at the U of I may log in with your NetID and password to view the item. If you are trying to access an Illinois-restricted dissertation or thesis, you can request a copy through your library's Inter-Library Loan office or purchase a copy directly from ProQuest.

Permalink

https://hdl.handle.net/2142/75482

Description

Title
Probabilistic Validation of an Intrusion-Tolerant Replication System
Author(s)
Singh, Sankalp
Issue Date
2004-01
Keyword(s)
  • Quantitative validation
  • Intrusion tolerance
  • Probabilistic modeling
  • Security
  • Stochastic activity networks
  • Stochastic Petri nets
Publisher
Coordinated Science Laboratory, University of Illinois at Urbana-Champaign
Series/Report Name or Number
Coordinated Science Laboratory Report no. UILU-ENG-04-2201, CRHC-04-01
Type of Resource
text
Language
English
Permalink
http://hdl.handle.net/2142/75482
Sponsor(s)/Grant Number(s)
DARPA / F30602-00-C-0172

Owning Collections

Report - Coordinated Science Laboratory PRIMARY