Automated software architecture security risk analysis using formalized signatures | IEEE Conference Publication | IEEE Xplore