Engineering topology aware adaptive security: Preventing requirements violations at runtime | IEEE Conference Publication | IEEE Xplore