Security Policy Synthesis in Mobile Systems | IEEE Conference Publication | IEEE Xplore