A Framework for Secure and Survivable Transaction Processing