Integrating functional and security requirements with use case decomposition | IEEE Conference Publication | IEEE Xplore