@conference {18635, title = {Probabilistic validation of intrusion tolerance}, year = {2002}, month = {2002///}, pages = {78 - 79}, url = {https://www.perform.csl.illinois.edu/Papers/USAN_papers/02SAN02.pdf}, author = {Sanders,W. H. and Michel Cukier and Webber,F. and Pal,P. and Watro,R.} }