Murat Kantarcioglu <[EMAIL PROTECTED]> writes: > This piece will be a part of a bigger design and the problems > mentioned are very real. In the future, our goal is to design a database > system where the processing is done in a "secure coprocessor"(i.e no one > will be able to see what is inside) and > the small code inside the co-processor is verified using formal methods.
[ raised eyebrow... ] You think a SQL database is small code you can verify using formal methods? I don't really see how you can expect that the decrypted data can be held entirely within a small secured area and still get any useful work done. regards, tom lane ---------------------------(end of broadcast)--------------------------- TIP 2: you can get off all lists at once with the unregister command (send "unregister YourEmailAddressHere" to [EMAIL PROTECTED])