Performance and Security Tradeoff - Wolter, K.; Reinecke, P. (LECTURE NOTES IN COMPUTER SCIENCE, 2010)