Applying Security Assurance Techniques to a Mobile Phone Application: An Initial Approach | IEEE Conference Publication | IEEE Xplore