Wook Shin, Shinsaku Kiyomoto, Kazuhide Fukushima, Toshiaki Tanaka. A Frst Step Towards Automated Permission-enforcement Analysis of the Android Framework. In Hamid R. Arabnia, Kevin Daimi, Michael R. Grimaila, George Markowsky, Selim Aissi, Victor A. Clincy, Leonidas Deligiannidis, Donara Gabrielyan, Gevorg Margarov, Ashu M. G. Solo, Craig Valli, Patricia A. H. Williams, editors, Proceedings of the 2010 International Conference on Security & Management, SAM 2010, July 12-15, 2010, Las Vegas Nevada, USA, 2 Volumes. pages 323-329, CSREA Press, 2010.
Abstract is missing.