AProSec: an Aspect for Programming Secure Web Applications | IEEE Conference Publication | IEEE Xplore