William H. Sanders
Professor Sanders addresses the trustworthiness of systems by developing new modeling and simulation techniques. His PERFORM Performability Engineering Research Group at the University of Illinois at Urbana-Champaign conducts research in the design and validation of dependable and secure networked systems. Such systems often have requirements for high performance, dependability, and security, and these goals may contradict one another. By providing a unified method to validate system performance, dependability, and security during the entire design process, the group develops and applies sound engineering principles to large-scale system design.
The group has developed, and continues to develop, engineering modeling and design tools that are applied to realistic engineering problems. In particular, the group has designed, developed, and distributed the advanced modeling, analysis, and simulation environments UltraSAN and its successor Möbius™. UltraSAN and Möbius are licensed for use by over 200 universities for research and graduate instruction, and have been licensed for commercial use to several companies. Möbius is available free for academic use. It is also available for commercial use. Other software under development includes the AQUA/ITUA gateway, the Loki fault injector, the COBFiT secure communication infrastructure, and Ferret, which is a new software tool for checking host vulnerabilities.
Recent trust-oriented publications from William H. Sanders include:
- F. Stevens, T. Courtney, S. Singh, A. Agbaria, J. F. Meyer, W. H. Sanders, and P. Pal. Model-Based Validation of an Intrusion-Tolerant Information System. Proc. 23rd Symp. Reliable Distributed Systems (SRDS 2004), Oct. 2004, pp. 184-194.
- D. D. Deavours, G. Clark, T. Courtney, D. Daly, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. G. Webster. The Möbius Framework and Its Implementation. IEEE Trans. Software Engineering, vol. 28, no. 10, pp. 956-969, Oct. 2002.
- S. Singh, M. Cukier, and W. H. Sanders. Probabilistic Validation of an Intrusion-Tolerant Replication System. Proc. Intl. Conf. Dependable Systems and Networks (DSN-2003), June 2003, pp. 615-624.
- H. V. Ramasamy, P. Pandey, J. Lyons, M. Cukier, and W. H. Sanders. Quantifying the Cost of Providing Intrusion Tolerance in Group Communication Systems. Proc. Intl. Conf. on Dependable Systems and Networks (DSN-2002), June 2002, pp. 229-238.
- R. Chandra, R. M. Lefever, K. Joshi, M. Cukier, and W. H. Sanders. A Global-State-Triggered Fault Injector for Distributed System Evaluation. IEEE Trans. Parallel & Distributed Systems, vol. 15, no. 7, pp. 593-605, July 2004.
