ISR Bibliography

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Author is Daniel Jackson  [Clear All Filters]
2015
Bagheri, H., E. Kang, S. Malek, and D. Jackson, "Detection of Design Flaws in Android Permission Protocol through Bounded Verification", 20th International Symposium on Formal Methods (FM 2015), Oslo, Norway, pp. 73-89, June, 2015.