Chiara Braghin, Natasha Sharygina, Katerina Barone-Adesi
Automated Verification of Security Policies in Mobile Code
IFM, 2007.
@inproceedings{IFM-2007-BraghinSB, author = "Chiara Braghin and Natasha Sharygina and Katerina Barone-Adesi", booktitle = "{Proceedings of the Sixth International Conference on Integrated Formal Methods}", doi = "10.1007/978-3-540-73210-5_3", isbn = "978-3-540-73209-9", pages = "37--53", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Automated Verification of Security Policies in Mobile Code}", volume = 4591, year = 2007, }