1. M. Bellare. Practice-oriented Provable Security. In G. Davida E. Okamoto and M. Mambo (eds.), Proceedings of First International Workshop on Information Security (ISW 97), LNCS 1396, Springer Verlag, 1997.
2. C.J. Date. An Introduction to Database Systems, Addison-Wesley, 1999.
3. P. Devanbu and S.G. Stubblebine. Software Engineering for Security: a roadmap. In The Future of Software Engineering, Special volume published in conjunction with ICSE 2000, ACM Press, 2000.
4. P. Devanbu, M. Gertz, C. Martel, and S.G¿ Stubblebine. Authentic Third-party Data Publication. Technical Report, www.db.cs.ucdavis.edu/publications/DGM00.ps, 2000.
5. M. D. Berg, M. V. Kreveld, M. Overmars and O. Schwarzkopf. Computational Geometry. Springer-Verlag, New York, 2000.