Title :
Probabilistic validation of an intrusion-tolerant replication system
Author :
Singh, Sankalp ; Cukier, Michel ; Sanders, William H.
Author_Institution :
University of Illinois
Keywords :
Application software; Computer networks; Contracts; Distributed computing; Educational institutions; Electronic commerce; IP networks; Information security; Stochastic processes; Stochastic systems;
Conference_Titel :
Dependable Systems and Networks, 2003. Proceedings. 2003 International Conference on
Print_ISBN :
0-7695-1952-0
DOI :
10.1109/DSN.2003.1209971
