loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
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
Yinong Chen, University of the Witwatersrand
Vashti Galpin, University of the Witwatersrand
Scott Hazelhurst, University of the Witwatersrand
Roger Mateer, University of the Witwatersrand
Conrad Mueller, University of the Witwatersrand
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
Usage of this product signifies your acceptance of the Terms of Use.