Using aspects to design a secure system | IEEE Conference Publication | IEEE Xplore