A declarative approach to hardening services against QoS vulnerabilities | IEEE Conference Publication | IEEE Xplore