Secure Interoperation of Secure Distributed Databases

Fred Gilham, Robert A. Riemenschneider, Victoria Stavridou. Secure Interoperation of Secure Distributed Databases. In Jeannette M. Wing, Jim Woodcock, Jim Davies, editors, FM 99 - Formal Methods, World Congress on Formal Methods in the Development of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings, Volume I. Volume 1708 of Lecture Notes in Computer Science, pages 701-717, Springer, 1999. [doi]

Authors

Fred Gilham

This author has not been identified. Look up 'Fred Gilham' in Google

Robert A. Riemenschneider

This author has not been identified. Look up 'Robert A. Riemenschneider' in Google

Victoria Stavridou

This author has not been identified. Look up 'Victoria Stavridou' in Google