JIMENEZ, Lina M., OCHOA, Martin und RUEDA, Sandra J., 2017. Jif-Based Verification of Information Flow Policies for Android Apps. International Journal of Secure Software Engineering. 1 Januar 2017. Vol. 8, no. 1, p. 28-42. DOI 10.4018/IJSSE.2017010102.
Elsevier - Harvard (with titles)Jimenez, L.M., Ochoa, M., Rueda, S.J., 2017. Jif-Based Verification of Information Flow Policies for Android Apps. International Journal of Secure Software Engineering 8, 28-42. https://doi.org/10.4018/IJSSE.2017010102
American Psychological Association 7th editionJimenez, L. M., Ochoa, M., & Rueda, S. J. (2017). Jif-Based Verification of Information Flow Policies for Android Apps. International Journal of Secure Software Engineering, 8(1), 28-42. https://doi.org/10.4018/IJSSE.2017010102
Springer - Basic (author-date)Jimenez LM, Ochoa M, Rueda SJ (2017) Jif-Based Verification of Information Flow Policies for Android Apps.. International Journal of Secure Software Engineering 8:28-42. https://doi.org/10.4018/IJSSE.2017010102
Juristische Zitierweise (Stüber) (Deutsch)Jimenez, Lina M./ Ochoa, Martin/ Rueda, Sandra J., Jif-Based Verification of Information Flow Policies for Android Apps., International Journal of Secure Software Engineering 2017, 28-42.