Using CASE tools to improve the security of applications systems | IEEE Conference Publication | IEEE Xplore