1
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... for distributed structurally object-oriented database systems -- On the Chinese Wall model -- Formal Methods...

3
Published 1998
Springer Berlin Heidelberg
Table of Contents: ... for designing multilevel Object-Oriented Databases -- Byte code verification for Java smart cards based on model...