Security oriented program transformations (or how to add security on demand)
Munawar Hafiz · 2008
Security requirements change. Many systems fail to cope with the changing requirements because it is hard to redesign. I show that security can be added by applying program transformations. This improves traditional security engineering approaches and keeps software secure in the face of new security threats.