Data vulnerability detection by security testing for Android applications

2013 Information Security for South Africa - Proceedings of the ISSA 2013 Conference

Volumn , Issue , 2013, Pages

  Salva, Sebastien ^a   Zafimiharisoa, Stassia R ^a  

^a UNIVERSITÉ BLAISE PASCAL   (France)

Author keywords

Android applications; Mobile device security; Model based testing; Security testing

Indexed keywords

MOBILE COMPUTING; MOBILE DEVICES; SECURITY OF DATA; SPECIFICATIONS; USER INTERFACES;

ANDROID APPLICATIONS; AUTOMATICALLY GENERATED; MOBILE APPLICATIONS; MOBILE DEVICE SECURITY; MODEL BASED TESTING; PARTIAL SPECIFICATIONS; SECURITY TESTING; VULNERABILITY DETECTION;

AUTOMATIC TEST PATTERN GENERATION;

EID: 84890841326     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSA.2013.6641043     Document Type: Conference Paper

References (8)

1. E. Chin, A. P. Felt, K. Greenwood, and D. Wagner, "Analyzing interapplication communication in android," in Proceedings of the 9th international conference on Mobile systems, applications, and services, 2011, pp. 239-252. 4www.openium.fr
2. A. P. Felt, E. Chin, S. Hanna, D. Song, and D. Wagner, "Android permissions demystified," in In Proceedings of the 18th ACM conference on Computer and communications security, Oct. 2011, pp. 627-638.
3. J. Zhong, J. Huang, and B. Liang, "Android permission re-delegation detection and test case generation," in Computer Science Service System (CSSS), 2012 International Conference on, aug. 2012, pp. 871-874.
4. Y. Jing, G.-J. Ahn, and H. Hu, "Model-based conformance testing for android." in Proceedings of the 7th International Workshop on Security (IWSEC), ser. Lecture Notes in Computer Science, G. Hanaoka and T. Yamauchi, Eds., vol. 7631. Springer, 2012, pp. 1-18.
5. L. Frantzen, J. Tretmans, and T. Willemse, "Test Generation Based on Symbolic Specifications," in FATES 2004, ser. Lecture Notes in Computer Science, J. Grabowski and B. Nielsen, Eds., no. 3395. Springer, 2005, pp. 1-15.
6. AD, "Android developer page," in http:// developer. android.com/index.html, last accessed feb 2013, 2013.
7. M. B. Cohen, P. B. Gibbons, W. B. Mugridge, and C. J. Colbourn, "Constructing test suites for interaction testing," in Proc. of the 25th International Conference on Software Engineering, 2003, pp. 38-48.
8. S. Benli, A. Habash, A. Herrmann, T. Loftis, and D. Simmonds, "A comparative evaluation of unit testing techniques on a mobile platform," in Proceedings of the 9th International Conference on Information Technology-New Generations, ser. ITNG '12. IEEE Computer Society, 2012, pp. 263-268.