Model-Based Validation of an Intrusion-Tolerant Information System.

Fabrice Stevens, Tod Courtney, Sankalp Singh, Adnan Agbaria, John F. Meyer, William H. Sanders, Partha P. Pal

Browse the full SRDS paper archive.