publication venue for Engineering topology aware adaptive security: Preventing requirements violations at runtime 2014