Applying Security Assurance Techniques to a Mobile Phone Application: An Initial Approach. - Padmanabhan Krishnan; Sergej Hafner; Andreas Zeiser (ICST Workshops, 2011)