Language-based security on Android
作者： Avik Chaudhuri
关键词: Security service 、 Mobile device 、 Android (operating system) 、 World Wide Web 、 Computer security 、 Cloud computing security 、 Language-based security 、 Operational semantics 、 Computer security model 、 Computer science 、 Security information and event management
摘要: In this paper, we initiate a formal study of security on Android: Google's new open-source platform for mobile devices. Specifically, present core typed language to describe Android applications, and reason about their data-flow properties. Our operational semantics type system provide some necessary foundations help both users developers applications deal with concerns.
acm.org
core.ac.uk
sci-hub.se 参考文章(6)
Raja Vallée-Rai, Patrick Lam, Clark Verbrugge, Patrice Pominville, Feng Qian, Soot (poster session): a Java bytecode optimization and annotation framework conference on object-oriented programming systems, languages, and applications. pp. 113- 114 ,(2000) , 10.1145/367845.368008
Cormac Flanagan, K. Rustan M. Leino, Mark Lillibridge, Greg Nelson, James B. Saxe, Raymie Stata, Extended static checking for Java Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation - PLDI '02. ,vol. 37, pp. 234- 245 ,(2002) , 10.1145/512529.512558
George C. Necula, Proof-carrying code symposium on principles of programming languages. pp. 106- 119 ,(1997) , 10.1145/263699.263712
Patrick Lam, Eric Bodden, Ondrej Lhoták, Laurie Hendren, Soot: a Java bytecode optimization framework conference of the centre for advanced studies on collaborative research. pp. 214- 224 ,(2010) , 10.1145/1925805.1925818
William Enck, Machigar Ongtang, Patrick McDaniel, Understanding Android Security ieee symposium on security and privacy. ,vol. 7, pp. 50- 57 ,(2009) , 10.1109/MSP.2009.26
Avik Chaudhuri, Prasad Naldurg, Sriram Rajamani, A type system for data-flow integrity on windows vista Proceedings of the third ACM SIGPLAN workshop on Programming languages and analysis for security - PLAS '08. ,vol. 43, pp. 89- 100 ,(2008) , 10.1145/1375696.1375708