Formal Modeling and Reasoning about the Android Security Framework-Reference-Cited by-同舟云学术

Formal Modeling and Reasoning about the Android Security Framework

Published:2013 Issue: Volume: Page:64-81
ISSN:0302-9743
Container-title:Trustworthy Global Computing
language:
Short-container-title:

Author:

Armando Alessandro,Costa Gabriele,Merlo Alessio

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-41157-1_5

Reference24 articles.

1. Abadi, M., Fournet, C.: Access control based on execution history. In: Proceedings of the 10th Annual Network and Distributed System Security Symposium, pp. 107–121 (2003)

2. IFIP AICT;A. Armando,2012

3. Bartoletti, M., Costa, G., Degano, P., Martinelli, F., Zunino, R.: Securing Java with Local Policies. Journal of Object Technology 8(4), 5–32 (2009)

4. Bartoletti, M., Degano, P., Ferrari, G.L.: Planning and verifying service composition. Journal of Computer Security (JCS) 17(5), 799–837 (2009)

5. Lecture Notes in Computer Science;M. Bartoletti,2007

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Flair: efficient analysis of Android inter-component vulnerabilities in response to incremental changes;Empirical Software Engineering;2021-04-09

2. A formal approach for detection of security flaws in the android permission system;Formal Aspects of Computing;2018-09

3. A temporal permission analysis and enforcement framework for Android;Proceedings of the 40th International Conference on Software Engineering;2018-05-27

4. Automatic security verification of mobile app configurations;Future Generation Computer Systems;2018-03

5. Modeling and Analyzing the Android Permission Framework Using High Level Petri Nets;2017 IEEE International Conference on Software Quality, Reliability and Security (QRS);2017-07