Refactoring programs to secure information flows
Evolving object-oriented designs with refactorings