Runtime verification meets android security

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7226 LNCS, Issue , 2012, Pages 174-180

  Bauer, Andreas ^a,b   Küster, Jan Christoph ^a,b   Vegliach, Gil ^a  

^a CSIRO   (Australia)

^b AUSTRALIAN NATIONAL UNIVERSITY   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMIC SECURITY; LOGICAL FOUNDATIONS; PROTOTYPICAL IMPLEMENTATION; RUN-TIME VERIFICATION; SECURITY THREATS;

NASA;

ROBOTS;

EID: 84859476027     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-28891-3_18     Document Type: Conference Paper

References (12)

1. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for LTL and TLTL. ACM Trans. Softw. Eng. Methodol. (TOSEM) 20(4), 14 (2011)
2. Bose, A., Hu, X., Shin, K.G., Park, T.: Behavioral detection of malware on mobile handsets. In: Proc. 6th Int. Conf.Mobile Systems, Applications, and Services (MobiSys), pp. 225-238. ACM (2008)
3. Chen, F., Roşu, G.: Java-MOP: A Monitoring Oriented Programming Environment for Java. In: Halbwachs, N., Zuck, L.D. (eds.) TACAS 2005. LNCS, vol. 3440, pp. 546-550. Springer, Heidelberg (2005) (Pubitemid 41282531)
4. Enck,W., Gilbert, P., Chun, B.-G., Cox, L.P., Jung, J.,McDaniel, P., Sheth, A.N.: TaintDroid: an information-flow tracking system for realtime privacy monitoring on smartphones. In: Proc. 9th USENIX Symp. on OS Design and Implementation (OSDI). USENIX (2010)
5. Felt, A.P., Chin, E., Hanna, S., Song, D., Wagner, D.: Android permissions demystified. In: Proc. 18th ACM Conf. Comp. and Comm. Security (CCS), pp. 627-638. ACM (2011)
6. Felt, A.P., Greenwood, K., Wagner, D.: The effectiveness of application permissions. In: Proc. 2nd USENIX Conf. on Web Application Development, pp. 7-19. USENIX (2011)
7. Goldberg, A., Havelund, K., Mcgann, C.: Runtime verification for autonomous spacecraft software. In: IEEE 2005 Aerospace Conference (IEEEAC), pp. 507-516. IEEE (2005)
8. Google Inc., Android development site, http://developer.android.com/
9. Google Inc., http://developer.android.com/guide/topics/security/ security.html
10. Jacob, G., Debar, H., Filiol, E.: Behavioral detection of malware: from a survey towards an established taxonomy. Journal in Computer Virology 4(3), 251-266 (2008)
11. Leyden, J.: First SMS Trojan for Android is in the wild. Web site, The Register (August 2010)
12. Ongtang, M., McLaughlin, S., Enck, W., McDaniel, P.: Semantically rich application-centric security in Android. In: Proc. Annual Comp. Sec. Applications Conference (ACSAC), pp. 340-349. IEEE (2009)