Fred Gilham Robert A. Riemenschneider Victoria Stavridou Secure Interoperation of Secure Distributed Databases. 701-717 1999 conf/fm/1999-1 World Congress on Formal Methods http://link.springer.de/link/service/series/0558/bibs/1708/17080701.htm db/conf/fm/fm1999-1.html#GilhamRS99