Development of a decentralised virtual service redirector for Internet applications

Y. Chen, V.C. Galpin, S. Hazelhurst, R. Mateer, and C. Mueller

Proceedings of the 7th IEEE Workshop on Future Trends in Distributed Computing Systems (FTDCS '99), Cape Town, South Africa, 20-22 December 1999. IEEE Computer Society, 235-241.


An ongoing project of the Highly Dependable Systems Research Programme (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 summarises this system and related projects. 

Keywords: dependable computing, distributed system, firewall, modelling, verification 

Back to Publications page