Jérôme Feret Confidentiality Analysis of Mobile Systems. 135-154 2000 conf/sas/2000 SAS db/conf/sas/sas2000.html#Feret00