ISR
Practical, Formal Synthesis and Autonomic Enforcement of Security Policies for Android
| Title | Practical, Formal Synthesis and Autonomic Enforcement of Security Policies for Android |
| Publication Type | Conference Paper |
| Year of Publication | 2016 |
| Authors | Bagheri, H., A. Sadeghi, R. Jabbarvand, and S. Malek |
| Conference Name | 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2016) |
| Date Published | June |
| Conference Location | Toulouse, France |