Jérôme Feret
Confidentiality Analysis of Mobile Systems
SAS, 2000.
@inproceedings{SAS-2000-Feret, author = "Jérôme Feret", booktitle = "{Proceedings of the Seventh International Static Analysis Symposium}", isbn = "3-540-67668-6", pages = "135--154", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Confidentiality Analysis of Mobile Systems}", volume = 1824, year = 2000, }