Sarah Ereth, Steffen Lortz, Matthias Perner. Confidentiality for Android apps: Specification and verification. it - Information Technology, 56(6):288-293, 2014. [doi]
@article{ErethLP14,
title = {Confidentiality for Android apps: Specification and verification},
author = {Sarah Ereth and Steffen Lortz and Matthias Perner},
year = {2014},
url = {http://www.degruyter.com/view/j/itit.2014.56.issue-6/itit-2014-1068/itit-2014-1068.xml},
researchr = {https://researchr.org/publication/ErethLP14},
cites = {0},
citedby = {0},
journal = {it - Information Technology},
volume = {56},
number = {6},
pages = {288-293},
}