The Seventh IEEE Workshop on Future Trends of Distributed Computing Systems
Development of a Decentralized Virtual Service Redirector for Internet Applications
Tunisia, South Africa
December 20-December 20
ISBN: 0-7695-0468-X
An ongoing project of the Highly Dependable Systems Research Program (PHDS) at the University of the Witwatersrand is the development of a dependable distributed system and its application in supporting Internet services. The current research related to this project includes the design, specification, verification and implementation of a virtual service redirector for critical internet applications. This paper summarizes this system and related projects.
Index Terms:
dependable computing, distributed system, firewall, modeling, verification
Citation:
Yinong Chen, Vashti Galpin, Scott Hazelhurst, Roger Mateer, Conrad Mueller, "Development of a Decentralized Virtual Service Redirector for Internet Applications," ftdcs, pp.235, The Seventh IEEE Workshop on Future Trends of Distributed Computing Systems, 1999